25/12/11 13:29:28.09 pCs5mPo0.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
654:現代数学の系譜 雑談
25/12/11 14:21:44.26 TqHKMGK0.net
>>646-650
ありがとう
ご苦労様です
655:現代数学の系譜 雑談
25/12/11 14:24:43.34 TqHKMGK0.net
これ 面白そう
URLﾘﾝｸ(x.com)
x.com
Kosuke 2025年12月5日
ついに学術論文の執筆に革命が起きました。
オーバーリーフ内で、複数のAIエージェントが論文をリアルタイムでリライトする「PaperDebugger」が登場しました。
コピペやサイドバーチャットボットでは到達できなかった異次元の論文執筆の効率を実現。
その驚くべき詳細を4つのポイントにまとめました。
1. LaTeXエディター内で完結
PaperDebuggerは、既存のチャットボットのように外部に移動することなく、LaTeXエディター内で直接、論文の段落をリアルタイムで分析・書き換えます。強調、批判、そして改善提案まで、執筆フローを中断させません。
2. Gitのような差分表示＆即時パッチ適用
変更点を視覚的に把握し、納得のいく修正はワンクリックで即座に論文に反映できます。まるでGitのようなバージョン管理と、手動修正の手間をなくす効率的なワークフローで、推敲プロセスが劇的に進化します。
3. マルチエージェントが多角的に支援
レビュアー、エンハンサー、スコアリング、リサーチャーの4つのエージェントが並行稼働します。あなたの論文を多角的に分析し、改善案を提案、文献調査までこなす様子は、これぞ真の共同研究者です。
4. ディープリサーチモードで論文を強化
KubernetesとMCPツールチェーンを活用し、関連するarXiv論文を要約、自身の研究と比較分析します。さらに、引用可能な表をインラインで自動生成することで、あなたの考察に裏付けを与え、論文の質を飛躍的に向上させます。
656:１３２人目の素数さん
25/12/11 14:26:27.55 pCs5mPo0.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
657:１３２人目の素数さん
25/12/11 14:26:30.87 pCs5mPo0.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
658:１３２人目の素数さん
25/12/11 14:26:39.69 pCs5mPo0.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
659:現代数学の系譜 雑談
25/12/12 16:13:37.74 mbMn9JqE.net
これ 面白い
米国のDR課程の話
URLﾘﾝｸ(youtu.be)
私が数学の博士課程を中退した理由
オートダビング版
DIBEOS
2025/12/04
3年前に数学の博士課程を中退したのは、私にとって最高の決断の一つでした。このビデオでは、博士課程を中退した3つの個人的な理由、なぜ誰もが博士課程に就けるわけではないのか、学界が抱えている問題、そしてなぜ「それが現実」と受け入れることができなかったのかについてお話しします。
ブログで読む:
URLﾘﾝｸ(dibeos.net)
先ほど触れたフリーマン・ダイソンのインタビューはこちらでご覧いただけます:
• Freeman Dyson - Why I don't like the PhD s...
私たちの目標は、世界一の数学チャンネルになることです。ぜひフィードバックをお寄せいただき、この壮大な夢の実現にご協力ください。
660:現代数学の系譜 雑談
25/12/12 16:18:52.04 mbMn9JqE.net
URLﾘﾝｸ(youtu.be)
ブルバキ対圏理論: 数学とは何か?
オートダビング版
jacobneu
チャンネル登録者数 3430人
26,044 回視聴 2025/11/27
数学理論は何から成り立つのか？ この問いは、20世紀を通してブルバキと圏論の実践者の間で繰り広げられた根本的な論争の核心でした。また、型理論の最先端の研究にも影響を与え、「有向」版の等式について考察するきっかけにもなっています。
これは、私が最近制作する予定の博士論文「有向等式の一般化代数理論」の概要を説明する一連のビデオの最初のものです。詳細はウェブサイト URLﾘﾝｸ(jacobneu.phd) をご覧ください。
661:１３２人目の素数さん
25/12/13 11:35:35.74 0+gFBF1P.net
8℃
くもりのち晴れ
662:１３２人目の素数さん
25/12/13 15:17:45.19 ep4qRGmN.net
>>659
大リーガーになれなかったからといって
人生が終わるわけではない
663:１３２人目の素数さん
25/12/13 15:20:21.06 ep4qRGmN.net
>>660
圏論的数学はブルバキよりさらに抽象的なので
素人にはブルバキ以上に理解できない
664:１３２人目の素数さん
25/12/13 23:26:29.75 9pIMi49I.net
8℃
小雨
665:１３２人目の素数さん
25/12/14 11:10:21.20 Yc0yCqsB.net
群がーとか圏がーとか言ってる人にいえること
「まるで理解していない」
URLﾘﾝｸ(dic.pixiv.net)
師匠「基礎を固めないとダメだ」
弟子「俺は今までこれでやれたんだ」
弟子は自分の力を試そうと数学の本場アメリカへ勝手に留学
一年後、弟子から論文が送られてきた。
しかし師匠がそれを見て思わず心の中で呟いたのは…
(まるで理解していない………)
そう、基礎を疎かにしたために
弟子は大学時代から全く数学のなんたるかを理解していなかったのである。
「このままでは弟子が本当にダメになる」
師匠は、論文を見た後すぐに彼を探して連れ戻そうとしたが、
この頃の弟子は日本の仲間達とも音信不通でどうにもならず、
さらにはそこから留学先の大学にすら顔を出さなくなってしまっており、
その事実を知った師匠は自分の不安が的中した事を察した。
それから数年が経ち、弟子の同期達が卒業する頃。
師匠はふと目にした新聞の記事から、
弟子が薬物に走り、過剰摂取で帰らぬ人になった事を知り、愕然となる。
その後師匠は弟子の母親から、彼の留学先のアパートから見つかったという
師匠宛に一旦書きながら投函できなかった手紙を手渡される。
その手紙には、留学に失敗した事で師匠の心情と基礎の大切さをようやく理解したこと、
「数学の聖地アメリカに行けば」と信じていたが現実は何も変わらなかったこと、
そのことが今になって解っても今更おめおめと日本に戻る事もできない、
という弟子が抱えていた数々の苦悩が綴られ、手紙の最後にはこう記されていた。
「数学の国アメリカの…その空気を吸うだけで僕は高く跳べると思っていたのかなぁ…」
666:１３２人目の素数さん
25/12/15 11:32:03.30 0QywCImq.net
終わったな 何もかも
667:１３２人目の素数さん
25/12/22 22:00:35.75 Vlu4+111.net
東北大の院生にセミナーで何をやっているか尋ねたら
ネフとケーラーコーンをやって
次はL^2拡張定理を読むと言っていた
668:１３２人目の素数さん
26/01/29 23:11:11.39 Fv+Hg9zu.net
昨日 東京TVでやっていた
すごいね
URLﾘﾝｸ(www.nikkei.com)
nikkei
AIエージェントの米Gensparkが日本進出 企業のAI利用が拡大期に
生成AI
2026年1月28日 17:00
[会員限定記事]
人工知能（AI）新興の米Genspark（ジェンスパーク）は28日、日本法人を設立したと発表した。複数のAIが連携して幅広いデスクワークを自律的に担う「エージェント」機能を強みとする。日常業務にAIが入り込み、日本企業のAI利用が拡大期に入る。米国のAI企業が相次いで日本に拠点を設けて法人開拓を始めた。
「ひとつのプロンプト（指示）で仕事が終わる。私たちの夢はビジネスワーカーが未来の働き方を実現...
669:１３２人目の素数さん
26/01/29 23:23:04.74 Fv+Hg9zu.net
>>665
>「まるで理解していない」
・バカなやつだ
・他人の理解を 云々して何になる？
・他人の理解を 自分は こんなに数学を理解していると自慢して 何になるんだ？ バカじゃね？ｗ （＾＾
「自分は こんなに数学を理解している」？
そんなに 自慢したければ 数検１級うけて みんなに見せびらかせよ
そして さらに 自慢したければ DRコースに行って 学位とって 見せびらかせよ 学位取ったと
で？ 自分は こんなに数学を理解していると自慢して 何になるんだ？ バカじゃね？ｗ
他人の理解を 云々して何になる？
バカなやつだ
670:１３２人目の素数さん
26/01/29 23:35:11.06 Fv+Hg9zu.net
>>665
真逆だよ
武田 秀一郎先生
学部は 東京理科大, 工学部機械工学科
そこから 米国へ
最初は San Francisco State University, Philosophy
数学に変わって 同 Mathematics
University of Pennsylvania, Mathematics 多分DRかな
そこから 職歴で 大学数学教員に
いま 大阪大学 数学専攻, 准教授
君の
他人の数学理解をエスパーしたいという
嫉妬心が まるみえだよｗ
(参考)
URLﾘﾝｸ(researchmap.jp)
武田 秀一郎
タケダ シュウイチロウ (Shuichiro Takeda)
学歴
2001年8月 - 2006年5月University of Pennsylvania, Mathematics
2000年1月 - 2001年8月San Francisco State University, Mathematics
1997年8月 - 2000年1月San Francisco State University, Philosophy
1993年4月 - 1997年3月東京理科大, 工学部機械工学科
経歴 5
表示件数
2022年10月 - 現在大阪大学, 大学院理学研究科 数学専攻, 准教授
2011年9月 - 2022年8月ミズーリ大学コロンビア校, 数学科, 准教授
2008年8月 - 2011年5月パデュー大学
2007年9月 - 2008年8月ネゲヴ・ベン＝グリオン大学
2006年9月 - 2007年6月カリフォルニア大学サンディエゴ校
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
武田 秀一郎 (Shuichiro TAKEDA)
671:１３２人目の素数さん
26/01/30 06:45:18.84 2M81YnwV.net
東京理科大出身
672:１３２人目の素数さん
26/01/30 07:19:10.61 mYV9wfuO.net
>>668 追加
東京TVの番組で見たが すごいね
URLﾘﾝｸ(www.watch.impress.co.jp)
watch.impress
Genspark、日本展開を本格化 「1回の指示で完結」を目指すAIエージェント
佐々木 翼2026年1月28日
米AIスタートアップのGenspark(ジェンスパーク)は1月28日、日本市場への本格展開を開始すると発表した。あわせて、音声入力やカスタムワークフロー構築機能を備えた「Genspark AI Workspace 2.0」を発表した。
Gensparkは2023年12月にシリコンバレーで創業したAIエージェント企業。複数のAIを統合・制御する「エージェント型AI」を軸に、業務そのものを完結させるAIプラットフォームを提供している。
発表されたAI Workspace 2.0では、音声入力による指示、カスタムワークフロー構築が可能なAI受信トレイ、AIスライド、AI音楽およびAI音声などを新たに搭載した。AI受信トレイは、SalesforceやServiceNow、Gmail、Outlookなどの業務ツールと連携し、メール処理を自律的に行なう。例えば未読メールから重要なメールを探したり、関連性の低いメールを削除したり、メールマガジンの購読を解除できる。
5分で成果物を出力 エージェントがAIを自律的に操る
デモでは、芸能人のヒコロヒー氏と錦鯉の2名が登壇し、即興で資料作成が行なわれた。プロンプトは「Genspark、芸能人のヒコロヒーのエッセイを全世界に広める計画を考えて、5ページの資料にしておくれ」と、非常にシンプルなものであったものの約5分で資料が完成。
これらを実現する中核技術は、同社独自の「Agentic Engine」に由来する。Agentic Engineは70以上のAIモデルを統合し、タスクの内容に応じて最適なモデルを自動的に選択・組み合わせる仕組みを採用する。このエンジンは、複数のモデルや処理を統合制御する「オーケストレーション層(Orchestration Layer)」と、実行結果を評価し改善につなげる「自己改善層(Self-Improving Layer)」の2層構造で構成されている。
複雑な指示が与えられた場合でも、「Judge Agent(審判エージェント)」と呼ばれる評価システムが処理結果を検証し、継続的に最適化を行なうことで、人の介入なしに性能を向上させる仕組みを備える。利用を重ねることでシステムが自律的に学習・改善していく点が特徴。
「ひとつの指示で、業務が完結する」を目指す
同社は「One Prompt, Job Done(1回の指示で仕事を完結)」をビジョンに掲げる。従来のチャットボット型AIとは異なり、ユーザーの指示に基づいて複数のツールやデータを自律的に活用し、スライド作成やメール処理などの業務成果を直接提供する点が特徴。コピー&ペーストによる非効率な作業を排除し、結果重視の体験を実現する。
673:１３２人目の素数さん
26/01/30 09:18:35.65 2M81YnwV.net
神楽坂の方