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

**デフォルトの名無しさん** · 2014/08/10(日) 21:27:16.56

計算機科学の基礎は集合論であるという。
ならば、集合論に基づいた言語を作れば美しい言語になるのでは？
そんな発想から徹底的に集合論的思想で言語仕様を考えるスレです。

**デフォルトの名無しさん** · 2014/10/31(金) 20:34:56.87

>>668
それと「集合論に基づいた言語を作る」のとどういう関係があるんだ?

>>666-667

**デフォルトの名無しさん** · 2014/10/31(金) 20:42:19.57

>>668
↓で教えてもらえ
【論理】Prolog【初心者】
http://peace.2ch.net/test/read.cgi/tech/1289016056/