-
言語学徒向けメモ λ計算 (lambda calculus) の入門書など
16377pv 26 13 users 3 -
メタ定理の証明はどこでなされているか?
9552pv 11 1 user -
論理学の使い方に関して―@yutakioka さんの発言より―
4037pv 8
-
人工知能分野に関係する動画をまとめてみた
3668pv 32 1 user -
集合論家DIkeさんと証明論家GLogさんの対話
3652pv 14 1 user -
フェミニズムと数理論理学
2763pv -
人工知能の定義と「人工知能を用いた~」という表現について、さらに講義動画の重要性について。
2362pv 12 2 -
2018年1月9日のざんさんによるモデル理論のタイプについてのツイート
1845pv 1