>>693-694
>>300
>集合論に基づいた言語は教科書の章末問題をサクサクっとインプリメントすることを目的としてる。
>実用性はあんまり求めない。
connect4は、どの教科書の章末問題なんだ?
探検
集合論に基づいた言語を作りたい
■ このスレッドは過去ログ倉庫に格納されています
695デフォルトの名無しさん
2014/11/08(土) 15:02:48.96ID:PXfop+Ut■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 731部隊の新資料、中国が公開 「日本が細菌戦の罪を自白」と主張 ロシアが引き渡し [少考さん★]
- 【速報】「女芸人No.1決定戦 THE W」9代目女王にニッチェ！ ７年ぶり３度目で悲願の優勝 [牛丼★]
- 【芸能】『女芸人No.1決定戦THE W』 粗品が最後にバッサリ「優勝賞金1000万円にしてはレベル低い大会」 [冬月記者★]
- 「おこめ券は米以外の食品も買える。効果的な活用を」 地元で農水相 [山形県] [少考さん★]
- 中国・ロシア両軍の爆撃機が東京方面へ向かう「異例のルート」を共同飛行…核も搭載可能、連携して威嚇か ★8 [ぐれ★]
- 東京の自販機そばに金塊4200万円分、何者かに持ち去られる…札幌の５０代が8000万円振り込んだ後に上京して被害 [どどん★]
- 【高市政策】農水相の鈴木、今日も吠える！「米以外の食料品も購入できる！私自身は中立」などと語るも、デメリットには言及せず [219241683]
- 山上、ただの嫌韓厨のクソネトウヨだった。安倍は韓国と敵対してると思い込んで支持していた。でもビデオレターで自我が崩壊 [389326466]
- 【実況】博衣こよりのえちえちダンガンロンパ4🧪
- 【緊急高市朗報】WBC全試合、地上波完全生放送決定wmwmwmwmwmwmwmwmwmwmwmwmwmwmwmw [517459952]
- 千晴！😡
- 🏡パン🍞つー✌まる👌見え👊😅👊