数理論理学(数学基礎論) その11at MATH
数理論理学(数学基礎論) その11 - 暇つぶし2ch81:┌∩┐(& ◆EQYxHFCTcMRP
12/02/24 19:33:24.66
┌∩┐(◣_◢)┌∩┐
fuckin!
鶏ってのはCoqのことだZE!
Coqは型理論CoCの断片だZE!
CoCはMartinの構成的型理論由来DAZE!
Upps!FuckOff///


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch