基礎論と人工知能ってちょっと近い？
人工知能界隈って失敗した東大ロボの人みたいに
なんか目立つ成果を希求してる感じがするけど
数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
874１３２人目の素数さん
2026/04/01(水) 21:02:39.22ID:O4h0CXmH■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【海】「全員浮上してこない」ダイビング客など8人が行方不明 八丈島で水難事故 下田海上本部などが捜索中 [ぐれ★]
- 【芸能】広瀬すず「私は異性の友情はあると思っている」 女子高生の恋愛の悩みに真剣回答 [冬月記者★]
- 倒産相次ぐ「和菓子店」、2026年は 過去最多ペース 原材料高が追い打ち [ぐれ★]
- 【野球】セ･リーグ C 6-4 T [10/3] カープ連勝 中村奨成3安打2打点勝ち越しタイムリー 阪神リーグ優勝は持ち越し [鉄チーズ烏★]
- 【タワマン】東京・中央区晴海のタワーマンションで子どもが転落し心肺停止 ベランダづたいに隣の部屋に渡ろうとしたか [ぐれ★]
- 【しゃぶ葉・食べ放題】配膳ロボで「高価格帯コースの肉を横取り」問題再燃 他の客の商品を取ると音声通知、運営元が全店導入へ ★3 [煮卵★]
- 【実況】博衣こよりのえちえちRadio Spark🧪
- 【動画】今フランスで大暴れしてる高校生のデモ、ガチで世紀末になるｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ [339035499]
- メガフレア🏡 🔥彡🐉
- 【高市悲報】「源平合戦」って平家方で戦った源氏も居るのに源平合戦なの？🤨 [616817505]
- ぶっちゃけ『60代で死んだら負け』だよな [904880432]
- 高市最悪政権、何故か急に終わりそうになる [784319933]