片山さんはCoqどれくらい書けるの？
例えばド、モルガンの証明とか書けるの？
集合論に基づいた言語を作りたい
■ このスレッドは過去ログ倉庫に格納されています
7841
2015/01/04(日) 13:03:03.07ID:1dxkxQcz■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「おこめ券は米以外の食品も買える。効果的な活用を」 地元で農水相 [山形県] [少考さん★]
- 【速報】「女芸人No.1決定戦 THE W」9代目女王にニッチェ！ ７年ぶり３度目で悲願の優勝 [牛丼★]
- 【芸能】『女芸人No.1決定戦THE W』 粗品が最後にバッサリ「優勝賞金1000万円にしてはレベル低い大会」 [冬月記者★]
- 高市首相の答弁書に「台湾有事答えない」と明記 存立危機発言当時 ★11 [蚤の市★]
- 【沖縄】開業4ヵ月でこれは…“国民の税金”投入の『ジャングリア沖縄』で見た衝撃的な光景と、モチベーションが低い一部スタッフの現状 [ぐれ★]
- 山田邦子 ひょうきん族時代の年収は１２億円「ただ税金が８０％」 [muffin★]