集合論に基づいた言語を作りたいat TECH集合論に基づいた言語を作りたい - 暇つぶし2ch220:デフォルトの名無しさん 14/09/11 12:59:06.68 ThP8Tlio.net>>216 型理論（型システム）的には全く無意味だからそれ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch