集合論に基づいた言語を作りたいat TECH集合論に基づいた言語を作りたい - 暇つぶし2ch64:デフォルトの名無しさん 14/08/12 20:28:06.45 6TgmEYvj.net二進数で自然に表現できるものを、わざわざペアノ算術から自然数の定義を頑張る意味がわからない 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch