>>814-815
1がそっちに行ってくれればいいけど。
1はCoqとか本当はどうでもよくて、このスレに書くこと自体が目的になってるだろうから・・・
探検
集合論に基づいた言語を作りたい
■ このスレッドは過去ログ倉庫に格納されています
816デフォルトの名無しさん
2015/01/15(木) 18:04:49.36ID:UYCK2hGt■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】「女芸人No.1決定戦 THE W」9代目女王にニッチェ！ ７年ぶり３度目で悲願の優勝 [牛丼★]
- 中国・ロシア両軍の爆撃機が東京方面へ向かう「異例のルート」を共同飛行…核も搭載可能、連携して威嚇か ★7 [ぐれ★]
- 【広島】ペルー女性の国保加入を誤って認め、福山市が医療費４８４万円を肩代わりするミス…入院して手術を受ける [ぐれ★]
- 東京の自販機そばに金塊4200万円分、何者かに持ち去られる…札幌の５０代が8000万円振り込んだ後に上京して被害 [どどん★]
- 山田邦子 ひょうきん族時代の年収は１２億円「ただ税金が８０％」 [muffin★]
- 【タレント】スマイリーキクチさん ネット で 誹謗中傷 講演 [少考さん★]
- テメェは俺を怒らせたオラァ👊💢😅💢👊🏡
- 【実況】博衣こよりのえちえちダンガンロンパ2🧪
- 【高市SONY】PSPはなぜニンテンドーDSに勝てなかったのか？？？？？ [242521385]
- ブレイキングダウンの前日記者会見ビンタされて失神してる奴出てるやん
- 【急募】ガツンと幸せがほしいんだがどうすれば良い？ [904880432]
- おさかなさんあつまれえ