- 集合論に基づいた言語を作りたい
785 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/04(日) 21:15:57.30 ID:izkph8nP - >>784
TutorialのPDFをコンビニで2in1pageで両面印刷して研究し始めたとこ。 数学と論理学と英語とプログラミングの知識が要求される地獄山だな。
|
- 集合論に基づいた言語を作りたい
787 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/04(日) 21:45:09.09 ID:izkph8nP - >>786
「Coq tutorial PDF」で検索
|
- Win32API質問箱 Build11 [転載禁止]©2ch.net
168 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/04(日) 22:02:10.33 ID:izkph8nP - >>162
操作アプリ側のmanifest設定でUAC昇格しろ
|