数学・表現論・リー群とリー環，著書：フリーズの数学 スケッチ帖・多項式のラプソディー・代数群と軌道・幾何学と不変量・射影幾何学の考え方，フォロワーは相互フォローできる人のみ．原則鍵垢不可． Representation Theory, Lie Groups & Lie algebras, Frieze Patterns
Joined June 2022
- Tweets20.8K
- Following631
- Followers2.1K
- Likes14.5K
Pinned Tweet
一目見たら忘れられない証明：Visual Proofs
発売予定日：2025年10月09日
A5判／144ページ
定価 2,970 円（本体 2,700 円＋税）
朝倉書店
ISBN：978-4-254-11163-7
オールカラーの豊富な図版で，高校生から大学生，数学好きの大人まで楽しめる数学書
#一目見たら忘れられない証明 #VisualProofs
lestroarmonico retweeted
【復刊】『線形代数学』（岩堀長慶 編，岩堀長慶・近藤武・伊原信一郎・加藤十吉 執筆）
編者・岩堀長慶先生のご生誕100年によせてリバイバル。
中の人（の一人）は入社してから本書の存在を知り、こんな好い本があったのか！と驚きました。
再学習の参考書としてぜひ。
shokabo.co.jp/mybooks/ISBN97…
lestroarmonico retweeted
『圏論の歩き方[改訂版]』圏論の歩き方委員会 4400円(日本評論社)
「圏論ブーム」から10年。その火付け役となった本書が、その後の進展なども含めて待望の改訂版として登場！
書泉オンラインショップ⇩
x.gd/trdFJ
lestroarmonico retweeted
初めてAI 使って beamer の準備をしてみた．member.ipmu.jp/hiraku.nakaji…
AI は革新的なアイディアを提唱して一分野を創り上げるとか，新しい概念を提唱したりできてはいない．
でも数学の本質的な部分はそこにあるんじゃないのか．
そして，荒技で解かれた問題を咀嚼して十分に理解する，数学を身体のすみずみまで行き渡らせる．それが #数学者の仕事 ではないかと思う．
2
2
411
lestroarmonico retweeted
I love the Gauss-Bonnet theorem!
The most famous and elegant version of this says that if you integrate the Gaussian curvature, K, across a surface without a boundary, like a sphere or a torus, you get:
∫∫ K dA = 2πχ
ALT Region between two overlapping circles (representations of horocycles in the Poincaré disk model of the hyperbolic plane). Length of each arc is given as 2 sinh(d/2), angle between tangents at the corners as 2 atan(sinh(d/2)), and area of the region as 4 sinh(d/2) - 4 atan(sinh(d/2))
lestroarmonico retweeted
✏️ニュースリリース
理論計算機科学のトップ会議「FOCS 2026」で国立情報学研究所から論文3本が採択 うち四色定理に新たな証明を与えた論文が Best Paper を受賞
nii.ac.jp/news/release/2026/…
大学共同利用機関法人 情報・システム研究機構 国立情報学研究所の研究者が関わる論文が、理論計算機科学分野のトップカンファレンスである「The 67th Annual Symposium on Foundations of Computer Science (FOCS 2026)」 において、3本が採択され、うちNII情報学プリンシプル研究系の河原林 健一教授らの四色定理に関する論文が Best Paper を受賞しました。
数学者はもういい加減に先取権 priority を追い求めるのをやめたらどうだろうか．
この時代，情報は開示されていて，まわりの人が見てたらそれはわかるものだから．そして何よりも我々は個人の名誉のために数学をやっているのではなく人類のために数学をやっているわけだから．
#数学 の #先取権
研究者らがAIと一緒に数学の長年解けていなかった問題を解き、論文を出そうとしたら「その前日に、別の大学のチームが同じAIと一緒に同じ答えを出していた」と報告しています。
研究者らは「今後のAIによる同時発見を議論するきっかけにしてほしい」とのこと。
今回、2つのチームはどちらも、GPT-6 Astraに相談しながら、未解決問題における予想の一部を証明しました。
南カリフォルニア大学などのチームは9月15日に証明を得て、17日の朝に公開する予定でした。ところが16日に、メリーランド大学のチームがほぼ同じ方法で同じ結果を出していたのです。
※題材は、面接したその場で採否を決めるときに一番良い人を選ぶ方法を考える「秘書問題」でした。
こうした現象が続く可能性があることを考えると、なにか特別な決まりを作るべきなのでしょうか。
lestroarmonico retweeted
研究者らがAIと一緒に数学の長年解けていなかった問題を解き、論文を出そうとしたら「その前日に、別の大学のチームが同じAIと一緒に同じ答えを出していた」と報告しています。
研究者らは「今後のAIによる同時発見を議論するきっかけにしてほしい」とのこと。
今回、2つのチームはどちらも、GPT-6 Astraに相談しながら、未解決問題における予想の一部を証明しました。
南カリフォルニア大学などのチームは9月15日に証明を得て、17日の朝に公開する予定でした。ところが16日に、メリーランド大学のチームがほぼ同じ方法で同じ結果を出していたのです。
※題材は、面接したその場で採否を決めるときに一番良い人を選ぶ方法を考える「秘書問題」でした。
こうした現象が続く可能性があることを考えると、なにか特別な決まりを作るべきなのでしょうか。
lestroarmonico retweeted
【刊行予告】『数学セミナー』2026年12月号、11月12日発売！
特集＝数学の未解決問題とAI
AIの進展で数学の世界は日々大きく変化している。
今回はAIを用いた未解決問題への取り組みなどを足掛かりに、数学の将来を考える。
keisemi.github.io/nippyo/boo…
