@msakai.bsky.social
Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
Duolingo の Early bird chest と Night owl chest 、なくなったと思ったら、また復活したの？
03.11.2025 15:02 — 👍 0 🔁 0 💬 0 📌 0あと、子供向けには経鼻ワクチンのフルミストを検討しても良かったなぁ。すっかり忘れてた……
03.11.2025 03:44 — 👍 0 🔁 0 💬 0 📌 0そういえば、去年からWHOの推奨が4価から(B/山形系統を除いた)3価に代わり、日本でも今年から3価になったのね。今回は以下の3株:
A型H1N1 (A/Victoria/4897/2022 (IVR-238))
A型H3N2 (A/Perth/722/2024 (IVR-262))
B型ビクトリア系統 (B/Austria//1359417/2021 (BVR-26))
www.mhlw.go.jp/stf/shingi/s...
小学校でインフルエンザ流行っているので、家族でインフルエンザの予防接種を受けてきた💉
例年打ちに行っていたITS健保・東振協の補助が使えるクリニックは混雑がすごいので、今回は別のクリニックにしたら待ち時間が短くて快適だった。時間コストの面でもこっちの方が良い。
Wikipediaの「脳分離体外循環」の記事には「カニューレを介した脳灌流はメインポンプとは独立した別のポンプを使用する」とあって、人工心肺のメインポンプは止めたけど、脳灌流のためのポンプは別にあるということなのかな。
ja.wikipedia.org/wiki/%E8%84%...
「スーパードクターK・Doctor K・K2/【K2 第505話】本物になりつつある男③」マガポケ s.magazinepocket.com/ldg?t=2278&d... 急性大動脈解離の手術で「人工心肺オフ！」と言って「脳を除いて身体中の全ての循環がストップ状態だ……」と言っていて、脳への循環（脳灌流）はどうやって実現してるの？と思った。
02.11.2025 02:04 — 👍 0 🔁 0 💬 1 📌 0
LibCST はどこかで聞いたと思ったら、これだった。
instagram-engineering.com/static-analy...
ONNXエクスポータ“FX2ONNX”の改良 tech.preferred.jp/ja/blog/fx2o... 「グローバルオブジェクトに依存した演算や分岐」の例として学習率スケジューラが出てきて、「なるほどなぁ」ってなった。(Optimizerまで含めてエクスポートするのね😅)
27.10.2025 10:31 — 👍 1 🔁 0 💬 1 📌 0論文は SARS-CoV-2 mRNA vaccines sensitize tumours to immune checkpoint blockade doi.org/10.1038/s415... か。おもしろ。
24.10.2025 23:53 — 👍 3 🔁 0 💬 0 📌 0
発行日 ← 購入💴100万円 6カ月目 → 利払い 💰利金 8,210円 12カ月目 → 利払い 💰利金 8,350円 18カ月目 → 利払い 💰利金 8,350円 満期償還日 (2027/10/27) → 利払い・償還 💰利金 8,350円 + 💴償還金 100万円 満期までの利払いと償還金 合計 約103.32万円 結果 約3.32万円の利益 債券は原則として、定期的に利金(クーポン)を受け取れ、満期時に最後の利金と一緒に投資元金が返済(償還)されます。 ※利金は受取時に利子所得として課税(源泉徴収)されます。利金の額は仮定に基づくシミュレーションのため、実際の金額とは異なる場合があり、また、将来の運用成果を保証または示唆するものではありません。
「日付調整係数」とは、一定の期間（当該期間の初日を含むが、最終日を含まない。以下「計算期間」という。）における利息の額の計算に関して、以下の算式に従って算出される係数をいう。 日数調整係数 = (360x(Y2−Y1)) + (30x(M2−M1)) + (D2−D1) / 360 上記計算式において 「Y1」とは、計算期間の初日が属する年を数値で表示したものをいう。 「Y2」とは、計算期間の最終日が属する年を数値で表示したものをいう。 「M1」とは、計算期間の初日が属する月を数値で表示したものをいう。 「M2」とは、計算期間の最終日が属する月を数値で表示したものをいう。 「D1」とは、計算期間の初日の日を数値で表示したものをいう。但し、当該数値が31となる場合には、D1は30とする。 「D2」とは、計算期間の最終日の翌日を数値で表示したものをいう。但し、当該数値が31であり、且つ、D1が29より大きい場合、D2は30とする。
ＳＢＩホールディングス株式会社 2027年10月27日満期 円建社債（第48回ＳＢＩ債）、なんで初回の利払いだけ、金額が少し少ないのかなと思ったけど、目論見書の日付調整係数に従って計算したら確かにそうなった。
site1.sbisec.co.jp/ETGate/?OutS...
どのユーザーでも同じ表示っぽい。資産状況によらない一般的なことを言ってるだけなら、何故、投資信託と同じ（に見える）色にしてしまったんや……😅
22.10.2025 23:22 — 👍 0 🔁 0 💬 0 📌 0
三井住友銀行のOliveのアプリの口座一覧画面に出てくるこのグラフの右の意味が分からない。投資信託の半分くらい（もしくはそれ以外全部？）を他の何かに活用した方が良いという意味？
22.10.2025 12:15 — 👍 0 🔁 0 💬 1 📌 0
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...
定数削減は、政党や政治家の身を切る改革ではない。それで切られるのは少数の意見をもつ有権者だ。
17.10.2025 14:39 — 👍 509 🔁 326 💬 3 📌 4
VeriPB - Verifier for Pseudo-Boolean Proofs gitlab.com/MIAOresearch... そういえば、VeriPBの実装って Rust が使われてたのか。知らなかった。SAT系の分野にもRust広まって来てるなぁ。 #rustlang
19.10.2025 01:20 — 👍 0 🔁 0 💬 0 📌 0
カゴメの株主優待の中に入っていたカードを見て、何で創業時のマークやめたんだろう？ と一瞬不思議だったが国際ブランドとなるには無理があるから捨てざるを得なかったのか。というか創業時の写真がなんか凄い。
19.10.2025 00:17 — 👍 9 🔁 3 💬 0 📌 0おお、 SCIP 10 に exact solving や certificate の機能が入るのか。 pseudo boolean だと既に VeriPB の証明フォーマットがあるけど、一般のMIP向けだと、新しい証明フォーマットを作ったのかな。
18.10.2025 23:15 — 👍 1 🔁 0 💬 1 📌 0
全然気づいてなかったけど、いつの間にか 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/
メガレックウザレイドデイタイムチャレンジ 終了まであと2時間と57分 こうかばつぐんのスペシャルアタックを使ってバトルする … 1,000 XP ポケストップ・ジム5個を回す … モンスターボール x20 レイドバトルで2回勝つ … ズリのみ x5 REWARDS げんきのかけら x3 いんせき x1 ほしのすな x1,000
レベルのリニューアルでアイテムバックを爆発させた直後に、メガレックウザレイドデイのタイムチャレンジで「ポケストップ・ジム5個を回す」なんてタスクを与えてくる運営(もうScopely?)、頭おかしいとしか……
ジムから無料のレイドパスをもらえる状態だと、アイテムバッグが一杯でもジムを回せるという抜け穴（謎な振る舞いで、ちょっと裏技っぽいな）に気がついて、なんとかチャレンジ達成できたけど。
#PokemonGo
I completed the October challenge faster than 93.1% of all learners on Duolingo!
18.10.2025 02:08 — 👍 0 🔁 0 💬 0 📌 0
UTF-8 範囲外の文字がLinux kernel のコミットタイトルに出てくることがあるので気をつけよう hikalium.hatenablog.jp/entry/2025/0... 👀
gitのコミットメッセージってエンコーディング情報を持ってるのか。知らなかった。
ISO-8859-*やCP125xをサポートして、CJKのマルチバイトエンコーディングをサポートしていないのは、公平でないように感じてはしまうが。
リニューアル後のレベルは65に。レベルアップのリワードのアイテムを一気にもらったせいで、アイテムバッグが溢れてトンデモないことに……
15.10.2025 23:59 — 👍 1 🔁 0 💬 1 📌 0
msakai & ユキハミ 44 レベル XP: 5,821,700 / 13,000,000 タスク: 1/4 アクティビティ 歩いた距離: 11,938.4 km つかまえたポケモン: 61,509 訪れたポケストップ: 43,793 トータルXP: 59,321,700 始めた日: 2016/07/22
今シーズン ランク: 17 勝利数: 65 対戦数: 142 連勝記録: 8 ほしのすな獲得: 96,290 昨シーズン ランク: 2 勝利数: 3 対戦数: 7 連勝記録: 3 ほしのすな獲得: 5,696
#PokemonGo のレベルリニューアル前に、「{スーパーリーグ,ハイパーリーグ,マスターリーグ}のトレーナー対戦で30回勝つ」をこなして駆け込みでレベル44に。マスターリーグはリーグ開催スケジュールの関係で無理かと思ってたけど、リニューアルが日本時間じゃなくて間に合った。
これまでトレーナー対戦はほとんどしてなかったので、ほぼタスクが丸々残っていて、駆け込みでやったので、昨シーズンとの差がエグいことに…… 😅
Java 仮想マシンを自作したい全ての方々へ zenn.dev/peyang/artic... 👀
13.10.2025 12:50 — 👍 3 🔁 0 💬 0 📌 0ChatGPTが「∞-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を超える内部データを入手し報道してきたドイツのジャーナリストらによる本。…
07.10.2025 00:57 — 👍 18 🔁 13 💬 1 📌 0いろんな代数で商構造を作るのに特別な部分構造、例えば群であれば正規部分群、環であればイデアルを考えたりするのは、生成される同値関係が合同関係になることと同値な条件だからという統一的な理由があるのか。
普遍代数的な文脈で、商を作るのに同値関係が合同関係である必要があるのは知ってたけど、群や環でのケースと関連付けて理解していなかった。
これは20年前に理解していたかった……
「5分で分かる!? 有名論文ナナメ読み：Silver D. et al. : Reward is Enough」 doi.org/10.20729/000... 👀
06.10.2025 16:01 — 👍 0 🔁 0 💬 0 📌 0
