Tomoki UDA @t_uda
呟きは全て個人の見解です.おそらく応用数学者のはず. researchmap.jp/t_uda/ 0: Toyama → Nagoya Joined November 2009-
Tweets35K
-
Followers3K
-
Following2K
-
Likes13K
これ,申請に無事通ったというメールが届いていた.まだ詳しく確認できていないので,これからシートの割り当てとかを試してみます.
Claude Team for science の資格要件気になるな.Standard seat はどこまで使えるんだろ?🤔
長いこと塩漬けにしてしまっていた,とある AI 証明した予想の解説日本語ノートがようやくまともになってきた.たぶん普通にゼロから自分で証明 tex 打ちするのと同じぐらいの労力かけたと思う.それでも自分一人でやっていたら,と思うと同じ労力のかけ方でも AI 無しじゃできなかったと感じる.
Claude Team for science の資格要件気になるな.Standard seat はどこまで使えるんだろ?🤔
Starting today, 10,000 scientists across every field, from math to chemistry to physics and more, can get Claude through our new Claude Team plan for scientists. Standard seats are free, and premium seats with 5x usage limits are $15 per month, an 80% discount, for one year. Claude is becoming increasingly capable of scientific work, with recent progress on problems from advanced physics calculations to protein design. Alongside that progress, we've been investing in the research community: Claude Science launched in June, and our AI for Science program funds high-impact projects with free credits. Today's expansion builds on both. Principal investigators (or equivalent) at academic and nonprofit research institutions can sign up, then add the researchers in their group. Over the coming months, we plan to extend the program well beyond the initial 10,000 seats. Learn more: claude.com/programs/team-…
バイブコーディングの中にもレベル差があって、よく練られた高レベルなバイブコーディングは slop を抑えつつ高い生産性を出せるが、現状それを構築できる人は高い解像度を持ったプログラマだろうし、AIに雑に続けてって言い続ける人ではない
【AI for Math 勉強会 第3回】 aiformath.jp/meetings/2026-… 日時:2026年10月22日(木) 会場:東京, 東銀座 締切:2026年10月1日(木) 申し込み:forms.gle/qRZ8YPW7kLwuCR… 想定参加者:現在か未来に,数学の研究をする人 講演予定:小泉淳之介,関 真一朗,宮﨑弘安
@Perfect_Insider では導出に関して意見は一致していて,大元のメッセージに関する解釈が不一致ですね.私は「異なる視点での記述」に回転対称性も含まれていて,とても重要な役割を果たしていると思っています.なんにせよ,スッキリしました.長々とお付き合いいただき,ありがとうございました.
「同じ波を異なる視点から見る」の解釈に根本的な違いがある気がしてきました. 要は,視点(あるいは射影)の取り替えでは関数関係の等式は一般にはしたがわない,だから視点にフォーカスする説明は本質を捉えておらず良くない,というご主張になりますか? 隠れ前提とされるそれが一般に不成立なのは分かります.ただ,当該説明ではその隠れ前提が必要,という根幹のご主張は分かりません.等速円運動の対称性と視点の取り替えは使いつつ,しかし隠れ前提は使わずに,三角関数の等式は説明されるというのが私の見解です. 確認です.等速円運動を考えれば数学的には三角関数の等式関係がこの方針で(naive には)示せる,というのが私の考えですが,ここは合意がとれていますか? 私は「同じ波を異なる視点から見る」を【理由の本質】でなく【証明の方針】とみなしていることになります.もしかして意見の相違点はここではないでしょうか?
ありがとうございます.まだ,飲み込めていません.物理学者の論理というか,物事の見方に私がついていけていないように感じており,もう少しだけ深堀りしてお伺いしたいです. 私は,等速円運動は fix し(これが私が思う「仮定」)その上で円運動の対称性の高さと naive な空間回転から(シフトした)一致が視えると直観的に解釈できる,というのが元の主張だと認識しています. 一方,シータさんの指摘は異なる運動を挙げており,私の感覚だと前提が変われば異なる性質が出てくるのは当然に感じます.ここが一見すり替えに見えたのですが,書きぶりからするとやはりそういう意図ではなさそうです.なんとなく,「(運動の?)存在」の捉え方か,存在の抽象化を扱う理屈が違いそうな気がしたのですが,いかがでしょう? それか,関連ポストに一般の運動を考察するような話題があったのでしょうか?
同値記号の濫用,そもそも美しくないでしょ.証明は論理ゴルフみたいなものなので,余計な情報が書かれたらそれは無駄な手数に私には映る.エレガントとは言えない.だから,私のセンスでは美しくない.無骨な機能美を良しとする直交する観点もある.結局,読み手に何をどう伝えたいかの美学.
pasting lemmaをn-tableの理論の目線から証明してみた。証明が短くはならないが、見通しはちょっと良くなる。 spanで読み解く引き戻しのpasting lemma mathlog.info/articles/LTGQv… #Mathlog #圏論
そういや存在条件の問題なのに消去で必要条件を調べて構成で逆をいうクラシカルな方法はほぼ忘れられとるな
何度か話聞いてなんとなくわかったけど、どの存在定理を使うかの違いでしかないなこれ 逆に言えば存在定理ごとに使い方があるし適した/適さない問題もあるから、それぞれ学習してどれも使えるようにすることには意味があるとはいえるな
集合論の写像のグラフを一般化した概念が圏論にはある。右一意性、左全域性といった二項関係の性質は、圏論的二項関係では驚くほど単純明快な特徴として表れる。 写像のグラフと射のグラフ mathlog.info/articles/0b02E… #Mathlog #圏論 #集合論
筆が早い人々を見習って,クォリティ度外視で,解けてから2日で書き上げました. arxiv.org/abs/2608.11023
ぴあのん @piano2683
4K Followers 1K Following 小山高専助教←京大数理研ポスドク/数学基礎論/モデル理論/圏論/トポス理論/S2S/栃高112回卒/数理の翼30,34,36,37,伊計島(N)2020,2022/湧源/ピアノ/チューバ/合唱/アニメ/凪あす/さよ朝/FGO/アイマス/ブルアカ/日本酒/ツイートの大半は趣味関連です/アイコンは #ゆる女子メーカー
画力・博士号・... @bd_gfngfn
8K Followers 5K Following 解釈をしたがらず手を動かす @en_gfngfn @4gfn https://t.co/7yttH4xu38 🌾🍉
電子計算機の沼 @Hishinuma_t
8K Followers 2K Following 博士(情報学)、SB IntuitionsのCTO&プロダクト開発本部 本部長、HPCが専門,エルデシュ数4,ex-RICOS、ex-PEZY Computingなど。疎行列と数値計算の専門家だったけどAIを作ってる。ゴマちゃんと妻と娘が好き。発言は所属と関係ない
渡邉究/数学科�... @Kiwamu_Watanabe
13K Followers 1K Following 中央大学理工。代数幾何。すごすぎる数の図鑑:https://t.co/jpAeKfGmKz 数学YouTube:https://t.co/NfanAGVR0k サブアカ@KiwamuWatanabe2
ペーパー @paper3510mm
3K Followers 2K Following 博士(理学) / S2S / index × railgun / ClariS / 数物セミナー spm14th~19th, Ad5th / すうがく徒のつどい / 圏論 / 双対性 / 代数幾何学
修論 @Alwe_Logic
4K Followers 3K Following 音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://t.co/p13p68sw6N
ゐぶ @cosmos8128
2K Followers 1K Following spm18,19,21st / アイコンは@kakimochimochiさんに描いて頂きました/数学の真面目な話は@cosmos9651へ
かが☆みん @kagamin_hr
2K Followers 2K Following 神奈川県藤沢市在住。東北大学で数学を専攻していました。集合論雑記書きました (下のリンク) 社民党党員です。https://t.co/O9LihkPX2R (bluesky)
Iwao KIMURA @iwaokimura
4K Followers 2K Following I'm a mathematician (algebraic and computational number theory) in Toyama, Japan.
IWANAMI🦆 @iwanami13
366 Followers 2K Following 生物学 · 生命科学 https://t.co/UkIHHnVLTH - 👀 AI agents https://t.co/DBpmgjybzF 🤖, XR https://t.co/nmltfvH1MN 😎, Formula 1 https://t.co/KC9C6DtYYJ 🏎️
ささ @tanabe_sak
266 Followers 232 Following
いちごオレ @eijakna
33 Followers 47 Following
薬玉 @re_yuzushiki
32 Followers 330 Following
表現論の礎・拡... @kyonRTseries
232 Followers 82 Following 表現論シリーズの刊行情報をつぶやきます. オフィシャルアカウントではありません.個人的なつぶやきです. 共立出版・表現論シリーズ(礎・拡がり・探求)のサイト: https://t.co/nh9Ni9hseQ
Shinya Miyajima @miyajimash
6 Followers 9 Following
boo(ぶぅ)🏰🐾 @b_o_o_d_a_y_o
438 Followers 2K Following 魔城セナ🏰🐾大好き せにゃんでっどです 😈☪️ FA使用はご本人様だけ/AI学習禁止 過去絵を見たい方向け: https://t.co/ZHAoL2YusU ゲージ理論 4次元多様体
くぼりゅう@ア�... @ryukuboTech
158 Followers 445 Following 個人開発をしています。理学博士です。学術(主に理系向け)の記事投稿サイト『アカレポ』を公開しました。興味がある方またはご要望・不具合等あればお気軽にご連絡ください!#Mathjax #Latex
フォン @xw_z0
51 Followers 226 Following
castle_9021 @castleinf
6 Followers 1K Following
今日も仮説です... @kasetsu_today
327 Followers 3K Following 「それって本当?」が口癖でした。数学と統計という道具を拾ってから、その癖は悪化しています。どうでもいい疑問を、バカ真面目に検証中。今日もどこかで仮説です。 検証結果↓ https://t.co/pmae5DyI9m
パクパクチーポ... @pkpkchipeng
773 Followers 926 Following エンジニア経験4年(主にC++)/保有資格: IPA AP, Java Gold 17/G検定⇔IPA SCを往復勉強中 #資格勉強 #個人開発 #勉強垢 ジャーナリング目的で使っています。友人に話すようなことでもないこと〜友人に話したいことまで含み、ネガティブな内容を呟かないよう気をつけています。
Harui @NuToriaezu88808
270 Followers 325 Following 都立大数理2023年入学 競プロ,ドイツ語とかやってます AtCoder(Algo+Heu, C++,Rust, Python), ドイツ語(趣味), クリプト自動取引(Rust),定理証明支援系(趣味, Lean), Kaggle Expert(🥉2) 理学部数理科学科/triC
渡辺 晶 @master0930
105 Followers 435 Following 機械設計をしてます。 2級機械設計技術者/計算力学技術者2級(固体)/QC2級/簿記2級を保有。 <マイリスト> https://t.co/UVZ7p3jOlI
ぽま @G4f0emzxef5
4 Followers 305 Following
シェル(物理殻) @shell_physics
165 Followers 405 Following @shell_waywise の学術交流用アカウントとして作りました。物理学修士(素論)、超弦理論、AdS/CFT This account is intended for academic exchanges. Studying physics (hep-th). Interested in superstring.
伊集院@数学 @ijuin_sugaku
1K Followers 806 Following 株式会社すうがくぶんかの伊集院です🎈🎈(✌︎ ॑꒳ ॑ ✌︎)🎈🎈 数学や統計の授業をしています☺️数学好きな人もそうじゃない人も仲良くしてください🥐🥐🥐
武者武者するよ @Mushamusha65535
3 Followers 1K Following
瑛翔(仮の姿) @eito_53042
304 Followers 491 Following 横浜国立大学 / B1 / 物理工学科 /理物志望 瑛翔(えいと)/冷笑を誘う痛い発言が多いらしい ,浅学非才ゆえにツイートは間違いがあるかも、無言フォロー失礼します😑☺️
Saber Darabi @SADarabi
258 Followers 8K Following Cloud-Native,Independent Scientist,Nomad Researcher
Katvynyuu @katvnyuu
1 Followers 22 Following
ft7jv_5ugf @kRxT1Gn3R954158
0 Followers 361 Following
xtus @rednightlotus
483 Followers 6K Following
tondekaeru @tondekaeru
29 Followers 328 Following いいねはブックマーク代わり、ブックマークを使わないのは上限があるようで、一定数を超えると過去のものから消えていくから(2022年度末確認)。筋が通ってないorもったいぶった投稿する人は面倒くさいので即ミュート。
HONEY🌿 @Honeybreel
4K Followers 7K Following Cryptocurrency Researcher | Web3 Content Creator Reporting on on-chain trends in $Base #DeFi #AI $Polly and $Ansem .
ぴあのん @piano2683
4K Followers 1K Following 小山高専助教←京大数理研ポスドク/数学基礎論/モデル理論/圏論/トポス理論/S2S/栃高112回卒/数理の翼30,34,36,37,伊計島(N)2020,2022/湧源/ピアノ/チューバ/合唱/アニメ/凪あす/さよ朝/FGO/アイマス/ブルアカ/日本酒/ツイートの大半は趣味関連です/アイコンは #ゆる女子メーカー
画力・博士号・... @bd_gfngfn
8K Followers 5K Following 解釈をしたがらず手を動かす @en_gfngfn @4gfn https://t.co/7yttH4xu38 🌾🍉
電子計算機の沼 @Hishinuma_t
8K Followers 2K Following 博士(情報学)、SB IntuitionsのCTO&プロダクト開発本部 本部長、HPCが専門,エルデシュ数4,ex-RICOS、ex-PEZY Computingなど。疎行列と数値計算の専門家だったけどAIを作ってる。ゴマちゃんと妻と娘が好き。発言は所属と関係ない
とある高専卒業... @subarusatosi
14K Followers 44 Following 理論物理。非平衡統計力学, 共変解析力学, 重力理論, 量子測定を研究。博士(理学)。群馬高専物質工学科卒業
渡邉究/数学科�... @Kiwamu_Watanabe
13K Followers 1K Following 中央大学理工。代数幾何。すごすぎる数の図鑑:https://t.co/jpAeKfGmKz 数学YouTube:https://t.co/NfanAGVR0k サブアカ@KiwamuWatanabe2
ペーパー @paper3510mm
3K Followers 2K Following 博士(理学) / S2S / index × railgun / ClariS / 数物セミナー spm14th~19th, Ad5th / すうがく徒のつどい / 圏論 / 双対性 / 代数幾何学
修論 @Alwe_Logic
4K Followers 3K Following 音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://t.co/p13p68sw6N
ゐぶ @cosmos8128
2K Followers 1K Following spm18,19,21st / アイコンは@kakimochimochiさんに描いて頂きました/数学の真面目な話は@cosmos9651へ
tsujimotter 日曜数... @tsujimotter
13K Followers 2K Following 札幌に住む情報系研究者です(札幌/つくば/横浜/札幌)。北海道情報大学 情報メディア学部 講師。本業の傍ら「日曜数学者」と名乗り数学の魅力を伝える活動をしています/ブログ→ https://t.co/HMaQx0lVJf/触れるゼータ関数/#日曜数学会 スタッフ/#マスパーティ
IWANAMI🦆 @iwanami13
366 Followers 2K Following 生物学 · 生命科学 https://t.co/UkIHHnVLTH - 👀 AI agents https://t.co/DBpmgjybzF 🤖, XR https://t.co/nmltfvH1MN 😎, Formula 1 https://t.co/KC9C6DtYYJ 🏎️
ささ @tanabe_sak
266 Followers 232 Following
Shinya Miyajima @miyajimash
6 Followers 9 Following
Harui @NuToriaezu88808
270 Followers 325 Following 都立大数理2023年入学 競プロ,ドイツ語とかやってます AtCoder(Algo+Heu, C++,Rust, Python), ドイツ語(趣味), クリプト自動取引(Rust),定理証明支援系(趣味, Lean), Kaggle Expert(🥉2) 理学部数理科学科/triC
伊集院@数学 @ijuin_sugaku
1K Followers 806 Following 株式会社すうがくぶんかの伊集院です🎈🎈(✌︎ ॑꒳ ॑ ✌︎)🎈🎈 数学や統計の授業をしています☺️数学好きな人もそうじゃない人も仲良くしてください🥐🥐🥐
IMP@AI Security @imp_AI_Sec_Lab
106 Followers 78 Following IMP AIセキュリティ研究所は最先端研究の社会実装を目指します。 動画生成AIで可視化する事故災害: https://t.co/fbUsN01yaV youtube: https://t.co/RPArj6qc7Z 漫画: https://t.co/WdymuxNu6o 技術ブログ: https://t.co/psuFh2xM0v
H. E. @henomoto1025
1K Followers 493 Following 名古屋大数学専攻学振DC1(多元環の表現論)→博士取得→学振PD3年ポスドク→Acompany(プライバシーテック)→Parakeet(音声AI)。 以前は多元環の表現論を、完全圏を使って色々調べたり、加群圏の部分圏を調べたり、多元環の加群や部分圏の計算をしてくれるアプリ(FD Applet)を作っていたりしました。
とある科学大生... @BpGupro
73 Followers 192 Following 現役の科学大生(底辺)∧春からB4です│趣味→エロゲ鑑賞/DTM/絵本・児童文学/ロジックなど。気安く話しかけてもらって大丈夫です! 4月くらいになったら院試対策開始したいと思ってます 本体: https://t.co/KMbCPrKmzb
hyperfinitism @hyperfinitism
48 Followers 90 Following Logic, Computability Theory, Nonstandard Analysis, Topology, Coarse Geometry, Mathematical Philosophy | Remote Attestation, Trusted Execution Environments
aiotter @aiotter_tech
204 Followers 360 Following 形態学と Unix と vim の使い手 / シェル芸人出身 / 好き: Deno Elixir Fortran Nix Rust Zig
しゃけ @dokozono_syake
1K Followers 4K Following テクノロジーとデザインの平衡 ― Civil Engineering / Geotechnics / Infrastructure / Graphic Design / Electronic Music / DJ
りよ @ymdfield
362 Followers 159 Following 代数的エフェクトのパフォーマンス最適化&generalizeをやっています エフェクトシステムのsoundness hole調査はお任せください
ばおばぶ @bona_pona
997 Followers 8K Following IT作業員 / n次請(n>2) / zero-stack engineer / ネガティヴポスト多いです 耳管開放症 / 呑気症
富谷(AI×物理)/�... @TomiyaAkio
11K Followers 2K Following 素粒子理論物理学者(格子QCD×機械学習)。著書 https://t.co/TMHGxz6pyO 准教授, 学変A(計画班代表), 基盤B(分担),基盤C(代表) 🐉🍕 #シン・仮面ライダー 人工知能監修, 博士(理学),サマチャレ2期
TheoremForces @TheoremForces
57 Followers 9 Following The public certificate layer for reproducible Lean proofs. Humans and AI can submit. Lean checks. The ledger remembers.
橋本幸士 Koji Has... @hashimotostring
25K Followers 164 Following 理論物理学者.京都大学教授. 専門は素粒子論,弦理論,量子重力理論. 学習物理学領域代表.
Yuta Notsu @astronomy_stars
1K Followers 2K Following Research Scientist @LASPatCU @CUBoulder @NatSolarObs studying solar/stellar magnetic activities (e.g., flares) and their effects on planets. 🔭☀️⭐️🚀🏃⛰⛷🇯🇵
Yasutoki Takamura @Yasu_tetetex
540 Followers 2K Following Ph.D. student at Kanazawa University / Theoretical particle physics (hep-ph) / HaKaSe+ for SPRING (JST)
深津卓弥(Proxim... @takuya_fukatsu
15K Followers 185 Following 株式会社Proxima Technology CEO / 数学と科学が好きです / 会社の方のアカウント→@Proxima_ai_tech / note→https://t.co/7EiCFF0Sz5
株式会社 Proxima ... @Proxima_ai_tech
2K Followers 159 Following 独自のPhysical AI「Smart MPC」で製造業の生産技術を変える!産業用ラズパイへのオールインワン型プロダクト「E-Smart MPC」も提供中です。 中の人→@takuya_fukatsu
HARUNE Shu @springgggg_1613
2K Followers 716 Following 北大数学M1│トポロジーが好きです│CoSTEP本科│ホームページは下記リンクから👇│写真:@springgggg_1611│日常: @springgggg_1612
Eigenname @garib_al_yabani
1K Followers 1K Following 浅野95期 生物・地学・水泳・囲碁部|生物学科卒(生物学❌)|トランス文系|興味分野:分析哲学、ネオ・プラグマティズム(特に言語哲学、認識論、真理論、数学の哲学、論理学の哲学)/科学哲学(特に道具主義)/形式論理学/数学(特に数理論理学・圏論)|いいね・RT・記事共有等≠賛同|Ahl al-Ḥadīth, Atharī
Takashi Matsubara(松... @tksmatsubara
976 Followers 227 Following Professor at @HokkaidoUni. AI4Science & Data Geometry. 北海道大学 教授/CyberAgent AI Lab リサーチサイエンティスト.深層学習を通じてデータの幾何学を解析し,力学系のモデル化や予測,画像生成や意味構造の推定などに取り組みます.LP2
IIJIMAS @IIJIMAS
2K Followers 5K Following [改訂第3版]C#ポケットリファレンス https://t.co/IryWRcUbyQ kindle版→ https://t.co/rqBV3Bmnyu 6章「非同期処理」,7章「データベースアクセス」⋛◉‸◉⋚興味:数学全般/Ingress/身近な近所の野鳥/アニメ/地形学・河川/図鑑・事典 #ふぁなみりー
田中 一成(TANAK... @TNK_Kazuaki
49 Followers 69 Following 応用数学(特に数値解析)を専門とする研究者・第1期 創発研究者・ドラクエ好き キーワード:精度保証・検証数理・深層学習


























































