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

■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
垢版 |
2014/08/10(日) 21:27:16.56ID:x7G32Sd0
計算機科学の基礎は集合論であるという。
ならば、集合論に基づいた言語を作れば美しい言語になるのでは？
そんな発想から徹底的に集合論的思想で言語仕様を考えるスレです。
2015/01/14(水) 19:03:17.31ID:lWtQJ7uI
聞きたいことがあれば、俺の掲示板に来いよ。待ってるぜ。
2015/01/15(木) 14:58:59.94ID:OiYOltU9
http://katahiromz.bbs.fc2.com
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。