にっこにっこにー🤟😌🤟フロントエンド以外もできるよ！TypeScript/Haskell/静的型システム/Neovim🪬技術の最新動向追います👀圏論の数学書執筆したよ📝通知欄あまり見ないので何かあればDM🙏/もっと詳しく→'📎' or 'さらに表示'↓
Joined October 2013
- Tweets 110,306
- Following 1,969
- Followers 4,326
- Likes 98,006
Pinned Tweet
女の子たちのゆるふわ、スタディノベル☆
🎉『だいにだんっ！』🎉
発売開始しました🥳✨✨
せつラボ～雲と天使と関手圏～aiya000.booth.pm/items/51389…
- やわらかく圏論を学びたい
- かわいい女の子が数学やってるところを見たい
- すぐにわかる説明
やさしい数学をぜひ体験してみてね！
#技術書典
せつラボ1巻はこちらからどうぞ！
電子販売を開始しました🐡
数学未入門者に、数学にふれてもらうための本です。
圏論という分野を、題材にしています。
前提知識をほぼ仮定していないのこと、小説風に読みやすくしていることが特徴です！
#技術書典
サンプル👇️
x.com/public_ai000ya/status/…
販売👇️
さいきんやっとプログラマーの間で圏論の有用性が認識され始めたと思ってるんですが
「どの本も難しい！！」
「もっと楽に勉強したい！！」
って人は、 #せつラボ をどうぞ〜🙌✨
「そもそも数学って？」
「集合ってなに？」
から、モナドへの道筋
「自然変換」
まで網羅しております〜！
ていうか今気づいたけど、これ「別のこと」を言ってなくて
Class = SetsN
（Nは文脈により）
っていうエイリアスを貼ってるだけじゃん⋯！！
ぜんぜん詭弁じゃなかった
ごめんなさいジラール先生
実装したものは、HaskellのQuasiQuotesで、型部やパターンに、評価したS式を埋め込めるコンパイル時Lisp処理系や、あとはVim scriptっぽい独自言語のパーサーなど（諸事情により「これいらんな」ってなったため、関数定義のパースまでやっただけですが、パーサーについては「あとはやるだけ」状態まで
圏論にたどり着きました
学びの深さについては、ダイマになって申し訳ないのですが、これ（せつラボ）を書けるくらいには⋯？
女の子たちのゆるふわ、スタディノベル☆
🎉『だいにだんっ！』🎉
発売開始しました🥳✨✨
せつラボ～雲と天使と関手圏～aiya000.booth.pm/items/51389…
- やわらかく圏論を学びたい
- かわいい女の子が数学やってるところを見たい
- すぐにわかる説明
やさしい数学をぜひ体験してみてね！
#技術書典
時間が空きました
そこでHaskellを学び始めました
この頃は数学的知識はゼロでした
ゼロというか、義務教育レベルできてるか？
という感じなので、相対的にはマイナスくらい⋯
そこでやっと、Haskell自体に（Haskellの使い方ではなく）興味を持ったため、ラムダ計算や代数的構造などを通りつつ
（お言葉いただきました。せっかくなので、引用してツイートさせていただきます🙏）
> 鍵垢から失礼しますが、文面引用して回答して頂いで構いません
- - -
まず学生の時頃に僕はJavaのカリキュラムがあったのですが、勝手にカリキュラムを進めていて、自習でカリキュラムを終えたため、
質問来てた！
> 興味があり、よろしければお伺いしたいのですが、どんな機会でどのくらい深くまで、どのような物の実装などを通じて学んだのでしょうか？
> また、圏論はどのタイミングで学んだのですか?
> 既にどこかに書いてあったらすみません
回答！
↓
おおお！これが翻訳されている？！
全編英語なのでブラウザのタブで開いたまま長らく読めてなかったけど、今こそ読むとき！！！！
bartoszmilewski.com/2014/10/…
あいや🐕aiya000 -- 強い静的型システム & フロントエンド retweeted
こういう本があるのはいいことだと思う一方で圏論としては少し表現に問題がある気がしてて、対象と射の集まり𝘾について、f : A→B, g : B→C ( f, g∈Mor(𝘾) )があったとき、g°f : A→Cとなるような射g°fが𝘾に含まれることは𝘾が圏である条件の1つであって、引用元はそこを曖昧にしてる気がする。
あいや🐕aiya000 -- 強い静的型システム & フロントエンド retweeted
想定以上に良著で驚いている
とにかく読みやすい
> プログラマーのための圏論
ktgw0316.github.io/milewski-…