三重積
@triprod1829
Followers
1K
Following
42K
Media
108
Statuses
14K
May the Math be with you. 数理空間トポス (@mspacetopos) 管理人
Joined June 2014
タイトルは仮題ですが，１月２８日のPhiMAS開所記念講演会は以下のような並びになりそうです： 伊庭幸人「頻度論的統計学の仕組みをみなおす」 大塚淳「統計哲学の課題と展望」 瀬下大輔「ZEN大学のデータサイエンス教育について」 最後の瀬下さんのは短めですが聞く価値ありですよ
0
7
41
そして、もう一つの記事も掲載されています。 Leanによる形式化は、長期的な検証や説明責任を可能にする記録装置となり得るか？ 2026.01.01 新一の"心の一票" https://t.co/2PzldbOGci
plaza.rakuten.co.jp
昨年後半のLean関連活動 前回の記事では、定理証明支援系ソフトLeanに関連した活動が昨年後半、（私
1
8
21
PhiMASって変わった名前ですが，（Philosophy, Mathemathics, Applications of Statistics）の略で，統計の哲学、数理、応用を統合的に研究するために設立された（多分世界初の？）研究機関です
0
16
36
C107に来場、素数大富豪概論を購入いただいた皆様、ありがとうございました #素数大富豪概論 #素数大富豪 について質問や分からない点がありましたらDMまでお越しください 著者さしみが可能な限りお答えいたします！
1
4
26
３月８日に東京大学安田講堂で開かれるシンポジウム「知の協奏：AI×物理」で講演します 現役の物理学者は私だけのようなので、「AIは物理学の基本法則を発見できるか」などについてもお話ししようと思います 参加費無料（定員に達し次第〆切）だそうです https://t.co/Wi5TXYcEIu
4
44
241
Witten 先生の一時間超のインタビューが YouTube に出ているのを教えてもらいました: https://t.co/OJZDJ1DMF5 大部分は弦理論の一般向けの説明、そこに至る研究の思い出、みたいな話ですが、最後の十五分ぐらい、量子力学の観測問題などへのコメントも有ります。このリンクはそこにあわせてあります。
1
55
191
おはようございます。龍孫江の数学日誌、本日の更新は環論道具箱から、蛇の補題の結晶ともいえる、ホモロジーの長完全列を紹介します。ホモロジーの観察において、この長完全列をまず見ることになるでしょう。 ホモロジーの長完全列
0
1
10
cos 2π/17 の具体的計算をまとめた記事を投稿しました！ （ガウスが示した「正十七角形が作図可能性」に関連します） 長く読まれることを期待して丁寧にまとめたのでぜひ見てください！ cos 2π/17 の計算（正十七角形が作図できるのはなぜ？） - tsujimotterのノートブック https://t.co/7ZaFQpCero
1
26
202
12月下旬新刊 『数学入門』ホワイトヘッド 長谷川 珈/高橋 達二/訳 西郷 甲矢人/監訳（角川ソフィア文庫） 歴史に残る数学者ホワイトヘッドが本気の入門書として仕上げたもの。 予約受付中⇩ https://t.co/WMoTUpeJen
1
60
324
本日のトポスでは、 「ある三角比の三乗根和」 「ドミノと平方剰余」 「n重のルートの極限」 「随伴関手の分類」 「共円を用いる初等幾何」 などの話題が盛り上がりました。 年内のトポスは本日で最後になります。 次回は年明け1/10(土)となります、新年もみなさまをお待ちしております。
0
4
11
🙇♂️ご来場の皆さまへ（重要） 本日、大盛況となっております。 席数はご用意しておりますが、お席の確保ができない方が出ないよう、ご着席の際は左右のお席にお荷物を置かず、足元や膝上へご協力をお願いいたします。 何卒ご理解とご協力をお願いいたします。 🎟️チケット https://t.co/hHTZtGyUh0
2
8
27
「朝起きて、“やぁグッドモーニング”って言いながら、コーヒー飲んで“作曲でもするか”ってやってたら良い曲なんて1曲もできない」 とても既視感のある言葉だ…
凄まじい言葉・・・ Vaundy 曲作りは「まず最初に捨てるものは生活」プロ目指す若者に「世に出ている人って全員、屍」(スポニチアネックス) #Yahooニュース https://t.co/dOuJVaWzsS
0
291
4K
圏論の「圏」はカテゴリー！！で分からないながらもきっとつながっているはずと参加しました。足手まといになりながらも、予想以上のつながりの驚いています。この後に出てくる若い人々にバトンを渡したい。
雑誌『現代思想』で新連載はじめます！ 「スコラ哲学×圏論」！？ ということで、中世・近世哲学の専門家の山内志朗さんと、圏論の専門家の西郷甲矢人との対話篇というかたちで、どちらの入門にもなるようなシリーズとなっております！ どうぞよろしく！ https://t.co/6Xu72kWFCO
1
46
139
This is wild! Johannes Schmitt used GPT5 to solve his own open problem on intersection numbers on moduli spaces of curves (the proof turns out to be unexpectedly simple, "low hanging fruit"). He wrote up the paper, being careful to point out which *entire paragraphs* were written
37
213
2K
雑誌『現代思想』で新連載はじめます！ 「スコラ哲学×圏論」！？ ということで、中世・近世哲学の専門家の山内志朗さんと、圏論の専門家の西郷甲矢人との対話篇というかたちで、どちらの入門にもなるようなシリーズとなっております！ どうぞよろしく！ https://t.co/6Xu72kWFCO
1
44
136
OK, I think GPT 5.2 Pro is actually a step change in usefulness for my applications (algebraic geometry/number theory research).
65
91
1K