>>47の境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったから記念書き込み
https://ideone.com/WMpA9b
これ通るってことは、やっぱりIUTは合ってると思う
https://live.lean-lang.org/
で試してどうぞ
Inter-universal geometry とABC 予想58
■ このスレッドは過去ログ倉庫に格納されています
657１３２人目の素数さん
2025/10/22(水) 00:08:26.07ID:jwjOTwUz■ このスレッドは過去ログ倉庫に格納されています
ニュース
- EUのEV優遇制度案、日本車を除外 独仏が合意 [少考さん★]
- 【野球】セ･リーグCS第3戦 T 0-4 DB [10/16] DeNA3連勝日本シリーズ王手 佐野3ラン、片山7回無失点 阪神3試合連続完封負け ★2 [鉄チーズ烏★]
- 【お詫び】NTTドコモ、緊急地震速報が配信されなかった事象について 「システム不具合」 [おっさん友の会★]
- 【芸能】女優・山口智子の近影にファンざわつく 「だ誰？って…」「顔が別人」 [冬月記者★]
- 【速報】首相、夜はスマホ最大音量で横に 「危機管理に注力」とアピール [少考さん★]
- 【教育】日教組、年間の授業時間の引き下げを提言 小学校で年1015コマ→875コマ 教員の勤務時間などを踏まえ [煮卵★]
- ドスケベjkがオナニー配信してるぞ
- おみくじ値上がりしてないか
- どれだけ頑張りゃいい
- 日本国のトップ高市首相「いやーモニター大きいの使わなきゃいけないから会議に参加できませんでした」こいつ無職けもおぢ以下の馬鹿か [617981698]
- F(u)=tan38° フータンの法則(1988年)🏡
- 【正論】超人気マンガ家・はじめの一歩作者「生成AIで絵描きが被害？そもそもほんとに魅力がある人なら自然と生き残るでしょ」 [591180291]