コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)
「Aとする。BならばC」って、どこまでが仮定なの？
■ このスレッドは過去ログ倉庫に格納されています
31１３２人目の素数さん
2025/01/13(月) 08:55:45.21ID:ZZe3wroh■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 《皇室乗っ取りクーデター》麻生太郎氏 “養子案”主導に広がる反発…“天皇の外戚になる可能性”との指摘も [バイト歴50年★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★2 [冬月記者★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 湖池屋 ポテトチップスなど値上げ 8月出荷分から [安倍聖帝★]
- 高木豊氏 本田圭佑のＷ杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」★2 [jinjin★]
- 【FIFAワールドカップ2026】 D組アメリカ×オーストラリア4:00(NHK3:45~,DAZN),C組スコットランド×モロッコ7:00(フジテレビ6:00~,DAZN) [226731781]
- 全国の警察で相次ぐ「DNA鑑定不正」 一貫して否認を続けるも有罪になった被告が「自分も不正されたのでは」→不正した職員が担当と判明 [314039747]
- 【富山】クマサン対策で牛2頭を放牧 [696684471]
- 最高の景色をー🏡⚽👊😅👊⚽
- ニュー速愛国保守「日本はもうどうにもならんので一度完全に壊さないとダメ。もうすべて手遅れだから」 [819729701]
- 生活保護受給者やけど、サラリーマンを見下してる