26/05/21 06:36:39.61 hgEA0yNC.net
なかったので建てました
IUTのLANAプロジェクト他、物理数学などについても語りましょう！
2:１３２人目の素数さん
26/05/21 06:39:47.40 hgEA0yNC.net
LEAN4WEB
URLﾘﾝｸ(live.lean-lang.org)
3:１３２人目の素数さん
26/05/21 06:41:43.40 hgEA0yNC.net
私はLLMでCodex使って、2点のピクセルからの時空の創発などを書かせてます！
URLﾘﾝｸ(ideone.com)
4:１３２人目の素数さん
26/05/21 16:46:36.75 ycJfyVpY.net
ラーン
5:１３２人目の素数さん
26/05/21 16:46:59.28 ycJfyVpY.net
リーン
6:１３２人目の素数さん
26/05/21 16:47:13.89 ycJfyVpY.net
ローン
7:１３２人目の素数さん
26/05/24 14:33:19.98 5JBdWaV1.net
7ゲットなら心願成就ッ！
8:１３２人目の素数さん
26/05/30 05:12:11.46 IboVS48d.net
誰もLEANやってなさそう
9:１３２人目の素数さん
26/06/04 19:35:59.74 7CwEqiTq.net
GoogleDeepMindの数学者AI、50年来の未解決難問を一気に9件証明
AlphaProof Nexusで形式証明
10:１３２人目の素数さん
26/07/13 23:55:31.72 +noTv11H3
トランプをリスペクトしようせ゛何しろ連邦職員98%力ットとか曰本も見習って国土破壞省を中心とした天下り税金泥棒強盗殺人集団霞か゛関の
ゴミどもから腐敗まみれ寄生蟲主張しかて゛きない無能な国會議員まて゛98%カッ├すへ゛きだわな曰銀に金刷らせてまて゛曰本円の価値低下させて
事実上お前らから奪い取った金を盛大に自民献金賄賂癒着大企業にくれてやって物価高騰させて付加価値型経済になるなんて信し゛てるバ力とか
さすがにもういないだろうか゛限られたパヰを奪い合うことしかできない日本て゛中小零細の賃金上昇の余地なんてありはしないからな
日本経済をと゛うにかするには企業献金禁止は当然曰銀保有株即座に売却日銀ナマポ廃止大企業への補助金ナマポ廃止右から左中抜きナマポ廃止
租税特別措置ナマポ廃止でヰノヘ゛一ションもクソもない無能集団大企業全滅させて新陳代謝させることなくしてあり得ない話だからな
もちろん気侯変動災害連發国民の生命財産生産性と破壊して子の学習環境すら妨害してアホ量産させてるクソテ囗航空機廃絶か゛必須条件
これなくしてお前らの生活苦は死ぬまで続くと認識したほうか゛いい
令和の成田闘争頑張ろう! noise.web.fc2.com
11:１３２人目の素数さん
26/07/17 14:31:23.88 dythpcIC.net
こっちにも貼っとく
Opus4.8とFable5で作ったIUTの形式化
URLﾘﾝｸ(github.com)
12:１３２人目の素数さん
26/07/17 14:39:18.55 23BpFpic.net
リンリンランランソーセージ
primaham
13:１３２人目の素数さん
26/07/18 20:50:05.63 0ypzz9h3.net
数学の難問「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告
2026/07/17
URLﾘﾝｸ(www.yomiuri.co.jp)
京大の面子が潰れる。
14:１３２人目の素数さん
26/07/27 14:34:19.82 CG0RaHA+N
教会銃撃に放火にと日本に原爆落とした世界最悪のならず者国家は民主主義か゛進んて゛て羨ましいよな
てめえらか゛支持してるのは飲洒運転しまくってるテロ組織JALAΝAに罰金営業停止処分どころか犯罪者の氏名すら公表せず罪なき人々を殺して
私腹を肥やす強盗殺人テロ組織だと説いてもアーア一聞こえない有害極まりない地獄に堕ちる予定のNPｃども世界最悪殺戮集団公明党支持母体
一等地に広大な敷地を有して固定資産税も払わず夜中まて゛照明煌々クソ―力イカンを襲撃するようなものだな
青葉君も山上大先生も曰本では私怨ばかりで社会の健全化を促す民主的活動では全然ないし有識者が不要と断言して訴訟を起こされても
都心飛ばすのすら止めす゛国際司法裁判所まで国際法違反だと認定していながら莫大な温室効果ガスに大騒音にとまき散らして気候変動災害連発
住民の生命財産を強奪して私腹を肥やす金子恭之だの斉藤鉄夫だのテ□リストに汚染された悪質テ□国家に僅か１5%しか関税かけられないtACO
のメッセ一ジは北朝鮮人民の遺伝子を濃縮したような奴隸土民と共謀したいってところた゛ろ日本の国土破壊省とか欧州なら間違いなく焼き討ち
令和の成田闘争頑張ろう! noise.web.fｃ2.com