Coding Agent, 便利に使っているとは言え，正直ちょっと怖い気持ちもある．真賀田博士がRed Magicにしたようなことが誰にでもできるようになったのでは．

マクドはこれね x.com/McDonaldsJap...

小学校の「算数」も「数学」に統一しようという議論がされてるそうな。そうしたらいいと思いますよ。 news.yahoo.co.jp/expert/artic...

大学再編統合時代が間もなく来るでしょうが、ひとつのモデルケースになるか mainichi.jp/articles/202...

坂本龍一にAdelic Penguinsという曲があって、と言うことは、IdelicとかUdelicとか…… music.youtube.com/watch?v=tuoc...

いや、日に日に世界が悪くなる、か。 www.uta-net.com/song/381244/

いや、日に日に世界が悪くなる、か。 www.uta-net.com/song/381244/

ほんと、今期の朝ドラの主題歌の一節、♪世界がどんどん悪くなる、ですよ。

国政選挙前ってなぜだか気が沈みませんか :) なにかが良くなる予感がないからかな．

「1 の分割」はかっこいい用語だけど partition of unity はやや悲しい。

メールでの某研究集会告知で気付いたけど，"Roots of Unity" って良い感じの単語ですね．（普段は「1の冪根」としか思っていなかった）．

富山市ファミリーパークのクラファンもうすぐ終了のようです。 ライチョウ繁殖へ寄付募る 富山の動物園２月１３日まで｜信濃毎日新聞デジタル　信州・長野県のニュースサイト www.shinmai.co.jp/news/article...

多数決が最善の意思決定をめったにしないのは by definition で明らかで，ではなぜ採用されているのかというと，最悪の意思決定もめったにしないだろうから． ただし，操作を受けていなければ．

数値計算が得意だったり，数式処理が得意だったり，定理証明が得意だったりと，いろいろなスキルを持つAI agentたちがわいわい議論して新しいことを発見・証明して人間がおいてきぼりになる未来がみえてきた......か？

そんなにスゴくないAIをたくさん使って，ミニ社会を構成してシミュレーションしたらおもしろかろう，と思っていたら，スゴいAIをたくさん使ってそれをやってる実例があった： www.moltbook.com

寒いのがまぁイヤなクラリネット奏者，だ〜れだ．

PlagiarismのPrismの部分．

La SMF ne tiendra pas de stand au Congrès International des Mathématiciens (ICM) de Philadelphie en 2026. (1/3) (Motion du Conseil d'Administration du 16 janvier 2026) smf.emath.fr/actualites-s...

普段から，＊＊したかったらLaTeXでどう書く？みたいな相談をAIにしてたけど，OpenAI Prismだと，ChatGPTが肩越しにファイルを見ていて，内容面でも随時サジェストしてくれる感じだし，指示を出せば普通に文章を埋めてくれる．

OpenAI Prism, クラウドのLaTeX環境にChatGPTが常駐．他のユーザを呼んで共同執筆も可能．OpenAIがこのニッチに進出してくるとは．OverleafとかCloud LaTeXとかの先行陣に激震ですな． openai.com/ja-JP/prism/

GTX4090が刺さったマシンでQwen2.5-Coder-32B-Instruct-GGUFというモデルを走らせてコーディング支援してもらったけど（言語はC，aiderを使用）あまり感心しなかった．残ったバグをGithub CopilotのSonnet 4にいじらせたらあっという間に直った．やはり餅は餅屋か．

「曇天」の雲が日を遮ってる部分☁️

鉛色の曇天でも眩しい。積もった雪で。

結構降るなぁ〜、と思ったら、石川加賀方面がもっとすごかった。お見舞い申し上げます。

昼過ぎてわずかに気温が上がったのか，軒から雪が落ちてくる．

Find the answer to this hairy question in the latest episode of ScienceStuff: link.podtrac.com/SciStuff_Baldness

「歪エルミート行列」の「不正」の部分．

これは一晩で30-40センチは積もるなぁ☃

別訳

「ルールに基づく国際秩序は終わった」カナダ首相がダボス会議で放った“衝撃の現実主義”演説全文(高橋浩祐) 日本語に訳された記事が出てる

関税の適法性についての司法判断が今日示されるかも，らしいのですが，どうなるやら． （プランBがあるらしい↓） jp.reuters.com/world/us/KEL...

数学科の学部くらいの内容だと、AIもかなりまともな解答しますねぇ。 note.com/takuya_fukat...

ヒラメ筋のヒラメキの部分💡

「ほんっとうにお別れです．さよなら」 youtu.be/CcKF_CuaPds?...

ふたたび月へ www.bbc.com/news/article...

J. H. Conwayの伝記 "Genius at Play: The Curious Mind of John Horton Conway" というのを知ったのですが，どこかで邦訳されませんかね．紙の本だと480ページもあるらしい． press.princeton.edu/books/ebook/...

人間が書いた核となる内容を維持することの重要性を強調し、AI生成の結果の長期的な価値には疑問を投げかけています。こうした議論では、AIの独創性の評価やコードの保守、出版基準の課題も浮き彫りになっており、今後はAIが数学的な問題の探索や多様な解説資料の作成を支援し、従来の研究を補完する役割を果たす可能性が示唆されています。エルデシュの問題#376は、今もerrosproblems.comで紹介されており、そこではリアルタイムの数学的議論のためにMastodonの利用が推奨されています。 (2/2)

💡 Summary: mathstodon.xyzは、LaTeXをサポートする数学愛好者向けの独立したMastodonサーバーで、約3,000人のユーザーが利用しています。近年のAIの進歩により、1975年の素因数分解に関する研究に端を発したエルデシュの問題（特に#728）に対して、自律的に解決策を見つけることが可能になってきました。ChatGPTやAristotleといったAIツールは、証明の洗練や誤りの修正、研究の草稿作成に役立ち、しばしば過去の文献とリンクしています。AIは証明のスピードアップや共同作業を促進しますが、テレンス・タオなどの専門家は、 (1/2)

NASA considers whether to bring sick crew member back to Earth. 🔭 🧪 www.bbc.co.uk/news/article...

山陰の地震，お見舞い申し上げます．震度5強は2年前の能登の地震のときに経験しましたが，かなり怖いです．タイル貼りの歩道がガタガタになったり，河川の護岸が傷んだりと影響も少なからずありました．ご無事を祈念しております．

一国の首班を誘拐だとか、そういう演出の出国だとか、新年そうそうカオスだなぁ🌀

［ご案内］富山は雪国です

（鉛色の曇天だけど何も降っていないという意味の）晴れているのでよい元旦。

新年のご挨拶を申し上げます🙇

今年は紅白と大河とのからみは希薄（来年の主演が審査員席）。

ドリーミングじゃないんだな。

お茶の間では、岡崎体育とかこっちのけんととか言われてるがVoundyなのである。

♪日に日に世界が悪くなる 今年のパンチラインはこれで決まりだな。

ちくま学芸文庫の数学シリーズ舞台裏（以前、数セミ掲載の記事）。「ちくま学芸文庫Math & Scienceは、数学を伝えられたか」 www.webchikuma.com/n/n158f55155...

今年も52週目．人生わずか80年，1年当たり52週で4000週余．何週目か数えたりして……