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