![](https://cdn-ak-scissors.b.st-hatena.com/image/square/7576588458eb6d8256e39511d8a41babaac075aa/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JUU1JTlDJThGJUU4JUFCJTk2JUUzJTgxJUFFJUU4JTgwJTgzJUUzJTgxJTg4JUU2JTk2JUI5JUUzJTgxJUE3JUUzJTgxJUE0JUUzJTgxJThGJUUzJTgyJTg5JUUzJTgyJThDJUUzJTgxJUE2JUUzJTgxJTg0JUUzJTgxJUFBJUUzJTgxJTg0JUUzJTgwJTgxSmF2YVNjcmlwdCVFMyU4MSVBNyVFNSU4QiU5NSVFNCVCRCU5QyVFMyU4MSU5OSVFMyU4MiU4QiUyMHNwaW5vemElMjAlMjglRTMlODIlQjklRTMlODMlOTQlRTMlODMlOEUlRTMlODIlQjYlMjklMjAtJTIwJTI4MyUyOSZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9YzAyMTg5NDA2YmYxYjI1YThjODgyZDczYmEyOWQ5YWE%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBzY3QmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTAzODE2ZjA5NTI3ZTZhZTJiNWVlMWYyNjE2MjljOWZk%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D5fd3711dc14e71c3c67a7950aded3b01)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (3) - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (3) - Qiita
圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (3)Haskell関数型言語数... 圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (3)Haskell関数型言語数学モナド関数型プログラミング 前回に続き、関数、値、圏論、モナド、評価戦略、純粋関数型、その辺りの「数学的基礎」を教えるの圏論について言及している部分について、内容を検証していきます。 「数」というものは、 数と論理操作が、まったく同一である、ということ、 「数」そのものが無限に自分を参照して自分自身となっている構造、 無限自己参照構造体とも表現できる「何か」です。 誤りです。圏論で扱うトピックではありません。 この非常に精緻な構造をガチで語ろうとするのが圏論なんですね。 まあだから、圏論の圏の定義とかどうでも良いです。 誤りです。むしろ圏論から定義をとると何も残りません。 今わたしがこうやって話したことを 難しい言葉で表現すると、 ..以下略.. wikipe