2023/10/06(金) 16:28:53.11ID:m0MVCbmd
そもそもここまできても“時枝の定理”の主張本体すらcoqに食わせられる形の命題が出てこない
スレタイ 箱入り無数目を語る部屋14
■ このスレッドは過去ログ倉庫に格納されています
269１３２人目の素数さん
2023/10/15(日) 14:08:07.96ID:KxfE8uhl■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 両足切断された30代女性が意識回復、軽トラックと車に挟まれた事故 40代男を逮捕 東京・世田谷区三軒茶屋 [お断り★]
- 横浜市長選挙 新人の原澤敦美氏が初めての当選確実 NHK [少考さん★]
- 【速報】 ブラックマンデー再来か？ 10月19日に米株暴落の懸念広がる 1987年との類似点と相違点 ★2 [お断り★]
- 【フランス】仏で55万人デモ、暴動や放火 物価高や教育巡り、市庁舎全焼 ★4 [ぐれ★]
- 【野球】また下剋上 3位・DeNAの日本シリーズ進出に困惑 「邪道」「これでいいのかプロ野球」「ペナントレース勝ち抜いた意味ない」★3 [冬月記者★]
- 12歳・田淵結真さんが『ホリプロスカウトキャラバン』グランプリ 祖父は田淵幸一さん 審査員特別賞は小林丞之介さん [少考さん★]
- じゃあアベノミクスが無かったらドル円はいくらで実質賃金の伸びはどうなんだよ [799215407]
- 【高市疑問】スクエニがDQ3やDQ5の人気過去作をDQ8ベースのリアル等身3Dグラフィックリメイクで出さなかった理由wwwwwwwwwwwwwwwwwwwwwww [509448172]
- 冗談とか煽り抜きに 日本がここまで落ちぶれたのは、安倍総理を失ったからじゃね？ [882773913]
- 【高市悲報】箱根駅伝、とんでもないことになってしまうｗｗｗｗｗｗ [334972637]
- 【悲報】日本人専門家「最近の情報漏洩事件は全部中国製のAIが原因！悪いのは中国！」 [354616885]
- 【高市悲報】ジャップの65%『消費税減税反対』ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ [527893826]