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

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

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

**デフォルトの名無しさん** · 2014/10/24(金) 11:20:44.18

Coqにおける集合論的直観主義数学の実装
http://shirodanuki.cs.shinshu-u.ac.jp/TPP/TPP2013_satou.pdf

ハイ、このスレ終了～

**デフォルトの名無しさん** · 2014/10/24(金) 19:07:28.65

そういう意味での終了ならとっくに終了してる。ずっと雑談スレとして続いている。
まあこのペースなら放置よりも1000の方が落ちるのが早そうだから、さっさと消化して落としてしまうのがいいだろう。