関係ないが論理主義は型理論で最注目
彼らは結構正しかった
Inter-universal geometryとABC予想(シン応援スレ) 92
■ このスレッドは過去ログ倉庫に格納されています
753１３２人目の素数さん
2026/08/02(日) 09:26:26.78ID:ixiFEzaj■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 第2次大戦に触れトランプ氏「米中は同盟国」、当時は中華民国…「抗日」巡る中国の言説補強する恐れ ★8 [蚤の市★]
- 【通信】ahamo初の値上げ 「大盛りオプション」撤廃、40GB・60GB・120GBの3段階制に [自治郎★]
- 【米中】トランプ氏、習氏と年内あと2回会うと表明－首脳会談「多くの成果」 [煮卵★]
- 【MLB】ホ軍・村上宗隆が日本勢単独トップの34号ソロ！ ロ軍・菅野智之とのメジャー初対戦で豪快弾 [(´?ω?｀)知らんがな★]
- 【ボディビル】横川尚隆が初のミスターオリンピアでTOP10入り このあと決勝審査へ [あずささん★]
- 「習氏より先に言うとは…」 トランプ氏同盟国発言、日本政府内に困惑 ★3 [蚤の市★]
- 料理研究家リュウジ「ローソンのウインナー弁当を高市さんや政治家のせいだと叩いてる奴、ダサい。」 [153490809]
- 【予言】ビル・ゲイツさん「AIで10億人が死ぬことになる」君は生き残ることができるか [673057929]
- 神社の屋根の銅をカッパーいでた男逮捕。なんと年齢と原子番号も一致 [389326466]
- 【悲報】婚活女子「地方の電気工事士の高卒男性と話したら、『アキ・カウリスマキ』も知らなかった…やっぱ低学歴は無理ですと思った [257926174]
- ｢嫌中｣｢高市｣動画で2週間50万円稼ぐ…動画を量産する60代元国家公務員が悪びれずに放った｢妻子のため｣ [817148728]
- ハッタショって人から「ハッタショ」と指摘されるのはめちゃくちゃ嫌がるよな