集合論に基づいた言語を作りたい

[785 片山博文MZ ◆T6xkBnTXz7B0 2015/01/04(日) 21:15:57.30 ID:izkph8nP]

>>784
TutorialのPDFをコンビニで2in1pageで両面印刷して研究し始めたとこ。
数学と論理学と英語とプログラミングの知識が要求される地獄山だな。