エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (3) - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (3) - Qiita
前回に続き、関数、値、圏論、モナド、評価戦略、純粋関数型、その辺りの「数学的基礎」を教えるの圏論... 前回に続き、関数、値、圏論、モナド、評価戦略、純粋関数型、その辺りの「数学的基礎」を教えるの圏論について言及している部分について、内容を検証していきます。 「数」というものは、 数と論理操作が、まったく同一である、ということ、 「数」そのものが無限に自分を参照して自分自身となっている構造、 無限自己参照構造体とも表現できる「何か」です。 誤りです。圏論で扱うトピックではありません。 この非常に精緻な構造をガチで語ろうとするのが圏論なんですね。 まあだから、圏論の圏の定義とかどうでも良いです。 誤りです。むしろ圏論から定義をとると何も残りません。 今わたしがこうやって話したことを 難しい言葉で表現すると、 ..以下略.. wikipediaの引用ですが、正しい内容です。 「数」というものは、 数と論理操作が、まったく同一である、 操作と数、数と操作の区別が一切ないっていう構造、 「数」そのも

