つつましく日々の研究に喜びを&いつまでも殿方の欲望の対象でありたいですね(*´ω｀*) 165cm93kg43歳 ／東京大学工学部応用化学科卒 同大学大学院 総合文化研究科 広域科学専攻 修士課程修了 同大学院科学技術インタープリター養成プログラム修了／『マンガでわかるやさしい微分積分』『〜統計学』（池田書店）監修。
おっぱま
Joined July 2009
- Tweets103K
- Following1.1K
- Followers4.6K
- Likes92.4K
これは素晴らしい👍
仮定を鍵、結論を扉と見立てて、ダンジョン探索が「証明」になっていくブラウザゲーム「Proof Dungeon: 自然演繹の迷宮」を作りました。パズル感覚で論理学や自然演繹を学べるブラウザゲームです。日本語と英語に対応しています。
kihara-logic.github.io/proof…
小林克彦 retweeted
仮定を鍵、結論を扉と見立てて、ダンジョン探索が「証明」になっていくブラウザゲーム「Proof Dungeon: 自然演繹の迷宮」を作りました。パズル感覚で論理学や自然演繹を学べるブラウザゲームです。日本語と英語に対応しています。
kihara-logic.github.io/proof…
小林克彦 retweeted
みなさんは この2枚の絵のうち、どちらがAIで作られた絵なのか分かりますか。
昨日、キャラの公募のようなモノの審査員をしていて、AIで生成した応募作の話題になったので(募集要項にはAIは不可と明記)、印刷しておいた この2枚の絵を見てもらいました。
「私は元 中学校の美術教師で、中学生が描いたのが1枚目、AIに描かせたら2枚目のようになります。2枚目は明らかにAIですよね。･･･ごめんなさい、実は1枚目もAIで作ったんです」と言うと、集まってた皆さんがとっても驚いていました。
AIの絵には独特の雰囲気があると思ってる人も多いと思いますが、あれはわざとそうしてるだけで、きちんとAIに指示をすると、手描きと見分けがつかない絵を作ることもできるんです。
他の審査員の皆さんからも、なるほど！というご意見をたくさん伺って、とってもいい勉強になりました😊✨
🤖 Made with AI
![藤本郷 [Go Fujimoto] (@go_fujimoto) profile picture](https://pbs.twimg.com/profile_images/1495960129384042499/Zrk5Lhi4_400x400.jpg)
![Image from 藤本郷 [Go Fujimoto] (@go_fujimoto)](https://pbs.twimg.com/media/HV3GhEtaQAAbrbo.jpg?name=orig)
小林克彦 retweeted
訳者の松田先生による、「アルティン代数学」の練習問題の解答が公開されました。全1080問、驚異の250ページ超。全文無料です。
生成AIで解答らしきものが作れてしまう世の中ではありますが、だからこそ、プロがゼロから書き上げた解答はいっそう価値が増すと思います。
小林克彦 retweeted
スマホ内のデータ提供を拒否して起訴 命令制度の導入後、初の事例 asahi.com/articles/ASVBV2526…
小林克彦 retweeted
有限単純群を、任意の有限群を構成する元素に見立てて周期表チックに並べたこの図好き
各群は分類を族に見立てて列に並べられている。(例：18族→素数位数巡回群)
群の記号の下には原子量の代わりに群の位数。
表からはみ出ているのは26個の散在型単純群。
(作者は Ivan Andrus さん)
ALT The Periodic Table Of Finite Simple Groups (有限単純群の周期表) 作：Ivan Andrus 任意に拡大可能な高画質PDF版はこちら (作者さんサイト) https://irandrus.wordpress.com/wp-content/uploads/2012/06/periodic-table-of-groups.pdf
小林克彦 retweeted
BMXでタヌキが郵便配達！？
50年に一度のお祭りまでに神社を立て直せるか？
『TANUKI: Pon's Summer - タヌキ：ポンの夏』はNintendo Switch 2 / Nintendo Switchで、2026年11月10日配信。
#IndieWorld #インディーワールド
youtube.com/watch?v=_08TSX_m…
小林克彦 retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
小林克彦 retweeted
【速報】人類史上もっとも巨大な数学の証明（15,000ページ）が、AIによって完全攻略されてTLが大パニックに。
定理：『有限単純群の分類（CFSG）』「対称性の周期表」と呼ばれる群論の最高峰。これをAIエージェント（AxiomProver）がLean 4で4,310万行のコードに変換し、カーネルの全検証（sorryなし）を完了！
【数学者 vs AIエージェント 】
人類の数学者「よし！過去100人の天才たちが書いた500本の論文（15,000ページ）を集めたぞ！誰ひとり全容を理解した奴はいないが、これで証明は完璧だ！」
AIエージェント「了解です！Leanコード4,310万行に分解して24日間で全ステップ機械検証しますね〜……あれ？」
人類の数学者「えっ」
AIエージェント「1986年の論文（UGT証明）のここ、PSL₂(49)のくだりで論理崩壊してバグってますよ？」
人類の数学者「ファッ！？！？ 40年間誰も気づいてなかったぞ！？」
AIエージェント「大丈夫です。僕がSolomonの理論をベースに『Theorem 2.3』っていう新しい定理を勝手に証明してコード補修しておきました👍（全34件の人間側のミスも修正済）」
人類の数学者「AIに証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
