The Oxford Word of the Year 2025 に 「rage bait（苛立たしい、挑発的、不快な内容で、意図的に怒りや憤りを引き出すように設計されたオンラインコンテンツ）」が選ばれた。まさに今年を象徴する言葉だと思う。 The Oxford Word of the Year 2025 is rage bait htn.to/6mdyhPur3C

T2さんとイミロンさん、協業してたのか。知らなかった…… prtimes.jp/main/html/rd...

公式版のアナウンスは既に割と拡散してしまったようですがw Embulk の「メンテナンス・モード」についての非公式日本語版 + α (個人的振り返り) です。 α のほうがだいぶ長いのは、まあご想像どおり… zenn.dev/dmikurube/ar...

そんな単語あるのか…… GridWords (26. November 2025) 6/6 in 1:13:00 🔥15 🟨🟨⬜⬜⬜ 🟨⬜🟩⬜⬜ ⬜⬜🟩⬜🟨 ⬜⬜🟩🟩🟩 ⬜⬜🟩🟩🟩 🟩🟩🟩🟩🟩 gridgames.app/gridwords/

MIPLIB2024は2025年中に公開されるのだろうか……

Compiling without Continuationsを読んだ。join-pointはエスケープせず、常に引数が揃った状態で末尾呼び出しされる関数で、gotoにコンパイルできるが、他の最適化でjoin-pointでなくなる事があるので、join-pointを明示的に扱う体系を作って、他の最適化でも保つように。 join-point とシークエント計算の話は色々読んでいたので、これも読んだことあったかと思ったら、読んでいなかった。 doi.org/10.1145/3062...

🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!

封神演義が Kindle Unlimited の対象になっていて、懐かしくなって読んでみた。安能務版を昔よく読んでいて、安能務版は原作からかなり改変されていると聞いてたけど、確かに色々違うんだなぁ。 www.amazon.co.jp/gp/product/B...

『対称性と機械学習』 iwnm.jp/005654 の見本を著者・岡野原大輔さんにお届けしてきました。 18日刊行（出庫）になります。 上記書誌サイトでは、まえがき＋目次＋第１章冒頭10頁を公開しています（「試し読み」のボタンからpdfダウンロード）。ぜひご覧ください。

年末調整しようと思って、「給与所得者の（特定増改築等）住宅借入金等特別控除申告書」兼「年末調整のための（特定増改築等）住宅借入金等特別控除証明書」が見つからんと思ったら、確定申告した時にe-Taxによる交付を希望していたようだ。すっかり忘れていた…… www.e-tax.nta.go.jp/kakunin/juka...

Duolingo の Early bird chest と Night owl chest 、なくなったと思ったら、また復活したの？

小学校でインフルエンザ流行っているので、家族でインフルエンザの予防接種を受けてきた💉 例年打ちに行っていたITS健保・東振協の補助が使えるクリニックは混雑がすごいので、今回は別のクリニックにしたら待ち時間が短くて快適だった。時間コストの面でもこっちの方が良い。

「スーパードクターK・Doctor K・K2/【K2 第505話】本物になりつつある男③」マガポケ s.magazinepocket.com/ldg?t=2278&d... 急性大動脈解離の手術で「人工心肺オフ！」と言って「脳を除いて身体中の全ての循環がストップ状態だ……」と言っていて、脳への循環（脳灌流）はどうやって実現してるの？と思った。

ONNXエクスポータ“FX2ONNX”の改良 tech.preferred.jp/ja/blog/fx2o... 「グローバルオブジェクトに依存した演算や分岐」の例として学習率スケジューラが出てきて、「なるほどなぁ」ってなった。(Optimizerまで含めてエクスポートするのね😅)

論文は SARS-CoV-2 mRNA vaccines sensitize tumours to immune checkpoint blockade doi.org/10.1038/s415... か。おもしろ。

ＳＢＩホールディングス株式会社 2027年10月27日満期 円建社債（第48回ＳＢＩ債）、なんで初回の利払いだけ、金額が少し少ないのかなと思ったけど、目論見書の日付調整係数に従って計算したら確かにそうなった。 site1.sbisec.co.jp/ETGate/?OutS...

三井住友銀行のOliveのアプリの口座一覧画面に出てくるこのグラフの右の意味が分からない。投資信託の半分くらい（もしくはそれ以外全部？）を他の何かに活用した方が良いという意味？

Gurobi Machine Learning 1 因果推論とアップリフトモデリング speakerdeck.com/nearme_tech/... Gurobi Machine Learning 2 機械学習と数理最適化の統合 speakerdeck.com/nearme_tech/... 👀 アップリフトモデリングに基づく最適化的な例での Gurobi Machine Learning 使用例など。

そういえば、SCIPのDockerイメージは更新が止まっていた。 hub.docker.com/r/scipoptsui...

定数削減は、政党や政治家の身を切る改革ではない。それで切られるのは少数の意見をもつ有権者だ。

カゴメの株主優待の中に入っていたカードを見て、何で創業時のマークやめたんだろう？　と一瞬不思議だったが国際ブランドとなるには無理があるから捨てざるを得なかったのか。というか創業時の写真がなんか凄い。

おお、 SCIP 10 に exact solving や certificate の機能が入るのか。 pseudo boolean だと既に VeriPB の証明フォーマットがあるけど、一般のMIP向けだと、新しい証明フォーマットを作ったのかな。

全然気づいてなかったけど、いつの間にか SCIP に IIS (Irreducible (Inconsistent|Infeasible) (Subsystem|Subset|Set)) を計算する機能が実装されていたのか。 まだリリース版には含まれていないけど、 次の バージョン10に含まれるはず。 github.com/scipopt/scip...

「Sign in with ChatGPT」計画が話題になってるね。 Googleログイン的なSSOで、ログインされるアプリ側はOpenAIのAPI料金を割引される。ユーザーは ChatGPTクレジットもらえる。 API費用がかかるスタートアップが他に乗り換えないための囲い込みではあるけど、賢いにゃ〜 https://openai.com/form/sign-in-with-chatgpt/

I completed the ‎October challenge‎ faster than ‎93.1‎% of all learners on Duolingo!

UTF-8 範囲外の文字がLinux kernel のコミットタイトルに出てくることがあるので気をつけよう hikalium.hatenablog.jp/entry/2025/0... 👀 gitのコミットメッセージってエンコーディング情報を持ってるのか。知らなかった。 ISO-8859-*やCP125xをサポートして、CJKのマルチバイトエンコーディングをサポートしていないのは、公平でないように感じてはしまうが。

#PokemonGo のレベルリニューアル前に、「{スーパーリーグ,ハイパーリーグ,マスターリーグ}のトレーナー対戦で30回勝つ」をこなして駆け込みでレベル44に。マスターリーグはリーグ開催スケジュールの関係で無理かと思ってたけど、リニューアルが日本時間じゃなくて間に合った。 これまでトレーナー対戦はほとんどしてなかったので、ほぼタスクが丸々残っていて、駆け込みでやったので、昨シーズンとの差がエグいことに…… 😅

Java 仮想マシンを自作したい全ての方々へ zenn.dev/peyang/artic... 👀

ChatGPTが「∞-groupoid（高次群oid）」みたいな表現をよく書いてきて面白い。群oid…… GeminiやClaudeでは見たことない気がするけど、トークナイザーの違いによる影響とかもあるのかな。

Sönke Iwersen & Michael Verfürden著「The Tesla Files: A Whistleblower, a Leak, a Fight for Truth: the Inside Story of Musk’s Empire」 books.macska.org/zn4t 2023年にテスラの元従業員から100GBを超える内部データを入手し報道してきたドイツのジャーナリストらによる本。…

いろんな代数で商構造を作るのに特別な部分構造、例えば群であれば正規部分群、環であればイデアルを考えたりするのは、生成される同値関係が合同関係になることと同値な条件だからという統一的な理由があるのか。 普遍代数的な文脈で、商を作るのに同値関係が合同関係である必要があるのは知ってたけど、群や環でのケースと関連付けて理解していなかった。 これは20年前に理解していたかった……

「5分で分かる!? 有名論文ナナメ読み：Silver D. et al. : Reward is Enough」 doi.org/10.20729/000... 👀

Optuna GPSampler (ガウス過程ベースのベイズ最適化手法) の 2.5倍高速化 tech.preferred.jp/ja/blog/spee... 多点探索の複数の最適化処理での獲得関数の評価をバッチ化することで高速化するのですが、コルーチンライブラリ greenlet を使うことで、scipyの最適化関数を複数並行で実行しつつ、目的関数と勾配の評価用のコールバック関数の中で待ち合わせてバッチ評価する、という面白テクニックを使っています。

Jane Goodall, a towering figure in primatology whose observations of chimpanzee behavior in the wild and advocacy for their conservation made her a household name, died Wednesday at the age of 91. https://scim.ag/4mKKEg4

「ファミコンの驚くべき発想力－限界を突破する技術に学べ－」(松浦健一郎，司ゆき 著) 子供の頃に熱中したゲームの舞台裏を知れて、無茶苦茶面白かった。 gihyo.jp/book/2010/97...

. @karaage0703.bsky.social さんという方の「生成AIで1枚の写真からフィギュアの3Dデータ生成して3Dプリントするまで」という記事が面白かったので、以前にChatGPTに描いてもらったウサギの埴輪のイラストで、同じことを試してみた。

情報処理学会誌の8月号の特集「日本でインターネットはどのように始まったか -JUNET 生誕40年-」がまさにインターネット老人会という感じで良すぎる。 www.ipsj.or.jp/magazine/f_n...

石破さん、対 US 大統領という点では頼りねえなあと思ってたけど、国連総会でのスピーチとしては言うべきことをまともに言ってんなあ。退陣が決まったからこそしがらみを気にせず言いたいことをようやく言えた、というやつかもだけど… www3.nhk.or.jp/nhkworld/en/...

最新話更新です。 www.sunday-webry.com/episode/2551...

ぺた語義：第7回中高生情報学研究コンテストの審査 doi.org/10.20729/000... 👀 @okumura.bsky.social 先生の「興味のあるもの」に「ネ申 Excel」が……

スーパーマーケットにおける店舗の利益最大化のための値引き最適化アルゴリズムの開発 doi.org/10.11517/pjs... backward induction を動的計画法で解いたりと、制御の問題っぽい印象。POSデータからの需要曲線の学習における課題も、運転データからの学習に通じるものを感じる。

My dream phone:

ロバスト推定とロバスト最適化（日本語） www.youtube.com/watch?v=HTPO... 回帰の文脈で、ロバスト最適化は説明変数の悲観的な摂動、ロバスト推定は目的変数の楽観的な摂動として統一的に捉えることができ、その上でそれらのBiasとVarianceへの影響の分析など。

I completed the ‎September challenge‎ faster than ‎91.4‎% of all learners on Duolingo!

そういえば、昔は世の天才達の頭脳がWeb広告とかに注ぎ込まれているのは不毛で嘆かわしい感じがあったけど、最近は天才達の頭脳が注ぎ込まれてる先はLLMとかのはずで、昔に比べれば随分マシな感じがある。

TypeScriptの型メモ qiita.com/dico_leque/i... 👀 #Qiita

そういえば先日『対称性と機械学習』の話で同変性(equivariance)の定義を聞いて、自然変換に似てるなぁと思ったら、対称群を圏とみなすと、群の表現はベクトル空間の圏への関手で、同変写像は表現の間の自然変換になっているのね。分かりやすい。 www.sci.unich.it/geodeep2022/...

ハッキリ言ってトラソプとMAGAは「国を売る存在」だと思っている。トラソプが政権に執着する限り、アメリカは国を売り続けるよ。そして国として衰弱する。 いま起きているのは、中国の文革に似たようなものでしょう。トラソプは歴史的審判で毛沢東同様の評価を下されるのではないだろうか。

JSON5 ってフォーマットがあるのか。知らなかった…… qiita.com/jkr_2255/ite...

ICFP Programming Contest 2025 (ICFPC 2025) で観測範囲の多くのチームがSATソルバーを使っているのを見て、SATソルバーはすっかり普通のプログラマーの道具として定着したのかなと思ったり。 たぶん、10〜15年前くらいだと、SATソルバーを使うチームはずっと少なかったんじゃないかと思うので。