Masahiro Sakai
@msakai.bsky.social
Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
Pinned
Masahiro Sakai
@msakai.bsky.social
· Sep 11
GitHub - TeamSampou/icfpc2025: ICFP 2025 Programming Contest
ICFP 2025 Programming Contest. Contribute to TeamSampou/icfpc2025 development by creating an account on GitHub.
github.com
ICFP Programming Contest 2025 (ICFPC 2025) は、いつものようにTeam Sampou として cutsea, @khibino.bsky.social, @msakai.bsky.social, @nobsun.bsky.social, oga で #Haskell で参加。 #icfpc2025
チームのレポジトリはこちら:
github.com/TeamSampou/i...
チームのレポジトリはこちら:
github.com/TeamSampou/i...
Reposted by Masahiro Sakai
『対称性と機械学習』
iwnm.jp/005654
の見本を著者・岡野原大輔さんにお届けしてきました。
18日刊行（出庫）になります。
上記書誌サイトでは、まえがき＋目次＋第１章冒頭10頁を公開しています（「試し読み」のボタンからpdfダウンロード）。ぜひご覧ください。
iwnm.jp/005654
の見本を著者・岡野原大輔さんにお届けしてきました。
18日刊行（出庫）になります。
上記書誌サイトでは、まえがき＋目次＋第１章冒頭10頁を公開しています（「試し読み」のボタンからpdfダウンロード）。ぜひご覧ください。
September 12, 2025 at 7:25 AM
『対称性と機械学習』
iwnm.jp/005654
の見本を著者・岡野原大輔さんにお届けしてきました。
18日刊行（出庫）になります。
上記書誌サイトでは、まえがき＋目次＋第１章冒頭10頁を公開しています（「試し読み」のボタンからpdfダウンロード）。ぜひご覧ください。
iwnm.jp/005654
の見本を著者・岡野原大輔さんにお届けしてきました。
18日刊行（出庫）になります。
上記書誌サイトでは、まえがき＋目次＋第１章冒頭10頁を公開しています（「試し読み」のボタンからpdfダウンロード）。ぜひご覧ください。
年末調整しようと思って、「給与所得者の（特定増改築等）住宅借入金等特別控除申告書」兼「年末調整のための（特定増改築等）住宅借入金等特別控除証明書」が見つからんと思ったら、確定申告した時にe-Taxによる交付を希望していたようだ。すっかり忘れていた……
www.e-tax.nta.go.jp/kakunin/juka...
www.e-tax.nta.go.jp/kakunin/juka...
住宅借入金等特別控除に係る電子通知等について
国税電子申告・納税システム(e-Tax)の概要や手続の流れ、法令等に規定する事項など、e-Taxを利用して申告、納税及び申請・届出等を行うために必要な情報やe-Taxについてのお知らせを掲載しています。
www.e-tax.nta.go.jp
November 8, 2025 at 1:37 AM
年末調整しようと思って、「給与所得者の（特定増改築等）住宅借入金等特別控除申告書」兼「年末調整のための（特定増改築等）住宅借入金等特別控除証明書」が見つからんと思ったら、確定申告した時にe-Taxによる交付を希望していたようだ。すっかり忘れていた……
www.e-tax.nta.go.jp/kakunin/juka...
www.e-tax.nta.go.jp/kakunin/juka...
Duolingo の Early bird chest と Night owl chest 、なくなったと思ったら、また復活したの？
November 3, 2025 at 3:02 PM
Duolingo の Early bird chest と Night owl chest 、なくなったと思ったら、また復活したの？
小学校でインフルエンザ流行っているので、家族でインフルエンザの予防接種を受けてきた💉
例年打ちに行っていたITS健保・東振協の補助が使えるクリニックは混雑がすごいので、今回は別のクリニックにしたら待ち時間が短くて快適だった。時間コストの面でもこっちの方が良い。
例年打ちに行っていたITS健保・東振協の補助が使えるクリニックは混雑がすごいので、今回は別のクリニックにしたら待ち時間が短くて快適だった。時間コストの面でもこっちの方が良い。
November 3, 2025 at 3:44 AM
小学校でインフルエンザ流行っているので、家族でインフルエンザの予防接種を受けてきた💉
例年打ちに行っていたITS健保・東振協の補助が使えるクリニックは混雑がすごいので、今回は別のクリニックにしたら待ち時間が短くて快適だった。時間コストの面でもこっちの方が良い。
例年打ちに行っていたITS健保・東振協の補助が使えるクリニックは混雑がすごいので、今回は別のクリニックにしたら待ち時間が短くて快適だった。時間コストの面でもこっちの方が良い。
「スーパードクターK・Doctor K・K2/【K2 第505話】本物になりつつある男③」マガポケ s.magazinepocket.com/ldg?t=2278&d... 急性大動脈解離の手術で「人工心肺オフ！」と言って「脳を除いて身体中の全ての循環がストップ状態だ……」と言っていて、脳への循環（脳灌流）はどうやって実現してるの？と思った。
マガジンポケット
伝説のハードボイルド医療譚、マガポケで復活！
s.magazinepocket.com
November 2, 2025 at 2:04 AM
「スーパードクターK・Doctor K・K2/【K2 第505話】本物になりつつある男③」マガポケ s.magazinepocket.com/ldg?t=2278&d... 急性大動脈解離の手術で「人工心肺オフ！」と言って「脳を除いて身体中の全ての循環がストップ状態だ……」と言っていて、脳への循環（脳灌流）はどうやって実現してるの？と思った。
ONNXエクスポータ“FX2ONNX”の改良 tech.preferred.jp/ja/blog/fx2o... 「グローバルオブジェクトに依存した演算や分岐」の例として学習率スケジューラが出てきて、「なるほどなぁ」ってなった。(Optimizerまで含めてエクスポートするのね😅)
ONNXエクスポータ“FX2ONNX”の改良 - Preferred Networks Research & Development
本記事は、2025年夏季インターンシッププログラムで勤務された安藤慎さんによる寄稿です。 はじめに
tech.preferred.jp
October 27, 2025 at 10:31 AM
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... か。おもしろ。
October 24, 2025 at 11:53 PM
論文は 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...
site1.sbisec.co.jp/ETGate/?OutS...
October 22, 2025 at 11:45 PM
ＳＢＩホールディングス株式会社 2027年10月27日満期 円建社債（第48回ＳＢＩ債）、なんで初回の利払いだけ、金額が少し少ないのかなと思ったけど、目論見書の日付調整係数に従って計算したら確かにそうなった。
site1.sbisec.co.jp/ETGate/?OutS...
site1.sbisec.co.jp/ETGate/?OutS...
三井住友銀行のOliveのアプリの口座一覧画面に出てくるこのグラフの右の意味が分からない。投資信託の半分くらい（もしくはそれ以外全部？）を他の何かに活用した方が良いという意味？
October 22, 2025 at 12:15 PM
三井住友銀行のOliveのアプリの口座一覧画面に出てくるこのグラフの右の意味が分からない。投資信託の半分くらい（もしくはそれ以外全部？）を他の何かに活用した方が良いという意味？
Gurobi Machine Learning 1 因果推論とアップリフトモデリング
speakerdeck.com/nearme_tech/...
Gurobi Machine Learning 2 機械学習と数理最適化の統合
speakerdeck.com/nearme_tech/...
👀 アップリフトモデリングに基づく最適化的な例での Gurobi Machine Learning 使用例など。
speakerdeck.com/nearme_tech/...
Gurobi Machine Learning 2 機械学習と数理最適化の統合
speakerdeck.com/nearme_tech/...
👀 アップリフトモデリングに基づく最適化的な例での Gurobi Machine Learning 使用例など。
Gurobi Machine Learning 1 因果推論とアップリフトモデリング
speakerdeck.com
October 20, 2025 at 1:38 AM
Gurobi Machine Learning 1 因果推論とアップリフトモデリング
speakerdeck.com/nearme_tech/...
Gurobi Machine Learning 2 機械学習と数理最適化の統合
speakerdeck.com/nearme_tech/...
👀 アップリフトモデリングに基づく最適化的な例での Gurobi Machine Learning 使用例など。
speakerdeck.com/nearme_tech/...
Gurobi Machine Learning 2 機械学習と数理最適化の統合
speakerdeck.com/nearme_tech/...
👀 アップリフトモデリングに基づく最適化的な例での Gurobi Machine Learning 使用例など。
そういえば、SCIPのDockerイメージは更新が止まっていた。
hub.docker.com/r/scipoptsui...
hub.docker.com/r/scipoptsui...
hub.docker.com
October 20, 2025 at 12:27 AM
そういえば、SCIPのDockerイメージは更新が止まっていた。
hub.docker.com/r/scipoptsui...
hub.docker.com/r/scipoptsui...
Reposted by Masahiro Sakai
定数削減は、政党や政治家の身を切る改革ではない。それで切られるのは少数の意見をもつ有権者だ。
October 17, 2025 at 2:39 PM
定数削減は、政党や政治家の身を切る改革ではない。それで切られるのは少数の意見をもつ有権者だ。
Reposted by Masahiro Sakai
カゴメの株主優待の中に入っていたカードを見て、何で創業時のマークやめたんだろう？ と一瞬不思議だったが国際ブランドとなるには無理があるから捨てざるを得なかったのか。というか創業時の写真がなんか凄い。
October 19, 2025 at 12:17 AM
カゴメの株主優待の中に入っていたカードを見て、何で創業時のマークやめたんだろう？ と一瞬不思議だったが国際ブランドとなるには無理があるから捨てざるを得なかったのか。というか創業時の写真がなんか凄い。
おお、 SCIP 10 に exact solving や certificate の機能が入るのか。 pseudo boolean だと既に VeriPB の証明フォーマットがあるけど、一般のMIP向けだと、新しい証明フォーマットを作ったのかな。
October 18, 2025 at 11:15 PM
おお、 SCIP 10 に exact solving や certificate の機能が入るのか。 pseudo boolean だと既に VeriPB の証明フォーマットがあるけど、一般のMIP向けだと、新しい証明フォーマットを作ったのかな。
全然気づいてなかったけど、いつの間にか SCIP に IIS (Irreducible (Inconsistent|Infeasible) (Subsystem|Subset|Set)) を計算する機能が実装されていたのか。 まだリリース版には含まれていないけど、 次の バージョン10に含まれるはず。
github.com/scipopt/scip...
github.com/scipopt/scip...
Merge branch 'mt/iis_plugin' into 'master' · scipopt/scip@f8a5bc8
IIS Plugin
See merge request integer/scip!3585
github.com
October 18, 2025 at 1:20 PM
全然気づいてなかったけど、いつの間にか SCIP に IIS (Irreducible (Inconsistent|Infeasible) (Subsystem|Subset|Set)) を計算する機能が実装されていたのか。 まだリリース版には含まれていないけど、 次の バージョン10に含まれるはず。
github.com/scipopt/scip...
github.com/scipopt/scip...
Reposted by Masahiro Sakai
「Sign in with ChatGPT」計画が話題になってるね。
Googleログイン的なSSOで、ログインされるアプリ側はOpenAIのAPI料金を割引される。ユーザーは ChatGPTクレジットもらえる。
API費用がかかるスタートアップが他に乗り換えないための囲い込みではあるけど、賢いにゃ〜
https://openai.com/form/sign-in-with-chatgpt/
Googleログイン的なSSOで、ログインされるアプリ側はOpenAIのAPI料金を割引される。ユーザーは ChatGPTクレジットもらえる。
API費用がかかるスタートアップが他に乗り換えないための囲い込みではあるけど、賢いにゃ〜
https://openai.com/form/sign-in-with-chatgpt/
Sign in with ChatGPT request form | OpenAI
OpenAI is exploring ways for users to sign into third-party apps using their ChatGPT accounts. This interest form lets developers nominate their app for inclusion in a potential pilot.
openai.com
October 18, 2025 at 6:02 AM
「Sign in with ChatGPT」計画が話題になってるね。
Googleログイン的なSSOで、ログインされるアプリ側はOpenAIのAPI料金を割引される。ユーザーは ChatGPTクレジットもらえる。
API費用がかかるスタートアップが他に乗り換えないための囲い込みではあるけど、賢いにゃ〜
https://openai.com/form/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!
October 18, 2025 at 2:08 AM
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のマルチバイトエンコーディングをサポートしていないのは、公平でないように感じてはしまうが。
gitのコミットメッセージってエンコーディング情報を持ってるのか。知らなかった。
ISO-8859-*やCP125xをサポートして、CJKのマルチバイトエンコーディングをサポートしていないのは、公平でないように感じてはしまうが。
UTF-8 範囲外の文字がLinux kernel のコミットタイトルに出てくることがあるので気をつけよう - /var/log/hikalium
みんなが知ってるそのスマホにも密かに流れる、そうLinux kernel. 最近はそのコミットを眺める機会が多いのですが、色々調べていたら面白い点を見つけたので紹介します。 UTF-8として有効ではないコミットタイトル いまから137万コミットほど前のこと、2006年のコミットタイトルに、UTF-8の範囲外の文字が含まれていました。(don<B4>tと書いてある部分がそれです。) commit d...
hikalium.hatenablog.jp
October 18, 2025 at 12:45 AM
UTF-8 範囲外の文字がLinux kernel のコミットタイトルに出てくることがあるので気をつけよう hikalium.hatenablog.jp/entry/2025/0... 👀
gitのコミットメッセージってエンコーディング情報を持ってるのか。知らなかった。
ISO-8859-*やCP125xをサポートして、CJKのマルチバイトエンコーディングをサポートしていないのは、公平でないように感じてはしまうが。
gitのコミットメッセージってエンコーディング情報を持ってるのか。知らなかった。
ISO-8859-*やCP125xをサポートして、CJKのマルチバイトエンコーディングをサポートしていないのは、公平でないように感じてはしまうが。
#PokemonGo のレベルリニューアル前に、「{スーパーリーグ,ハイパーリーグ,マスターリーグ}のトレーナー対戦で30回勝つ」をこなして駆け込みでレベル44に。マスターリーグはリーグ開催スケジュールの関係で無理かと思ってたけど、リニューアルが日本時間じゃなくて間に合った。
これまでトレーナー対戦はほとんどしてなかったので、ほぼタスクが丸々残っていて、駆け込みでやったので、昨シーズンとの差がエグいことに…… 😅
これまでトレーナー対戦はほとんどしてなかったので、ほぼタスクが丸々残っていて、駆け込みでやったので、昨シーズンとの差がエグいことに…… 😅
October 15, 2025 at 11:49 PM
#PokemonGo のレベルリニューアル前に、「{スーパーリーグ,ハイパーリーグ,マスターリーグ}のトレーナー対戦で30回勝つ」をこなして駆け込みでレベル44に。マスターリーグはリーグ開催スケジュールの関係で無理かと思ってたけど、リニューアルが日本時間じゃなくて間に合った。
これまでトレーナー対戦はほとんどしてなかったので、ほぼタスクが丸々残っていて、駆け込みでやったので、昨シーズンとの差がエグいことに…… 😅
これまでトレーナー対戦はほとんどしてなかったので、ほぼタスクが丸々残っていて、駆け込みでやったので、昨シーズンとの差がエグいことに…… 😅
Java 仮想マシンを自作したい全ての方々へ zenn.dev/peyang/artic... 👀
Java 仮想マシンを自作したい全ての方々へ
zenn.dev
October 13, 2025 at 12:50 PM
Java 仮想マシンを自作したい全ての方々へ zenn.dev/peyang/artic... 👀
ChatGPTが「∞-groupoid（高次群oid）」みたいな表現をよく書いてきて面白い。群oid……
GeminiやClaudeでは見たことない気がするけど、トークナイザーの違いによる影響とかもあるのかな。
GeminiやClaudeでは見たことない気がするけど、トークナイザーの違いによる影響とかもあるのかな。
October 13, 2025 at 11:35 AM
ChatGPTが「∞-groupoid（高次群oid）」みたいな表現をよく書いてきて面白い。群oid……
GeminiやClaudeでは見たことない気がするけど、トークナイザーの違いによる影響とかもあるのかな。
GeminiやClaudeでは見たことない気がするけど、トークナイザーの違いによる影響とかもあるのかな。
Reposted by Masahiro Sakai
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を超える内部データを入手し報道してきたドイツのジャーナリストらによる本。…
October 7, 2025 at 12:57 AM
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年前に理解していたかった……
普遍代数的な文脈で、商を作るのに同値関係が合同関係である必要があるのは知ってたけど、群や環でのケースと関連付けて理解していなかった。
これは20年前に理解していたかった……
October 6, 2025 at 11:15 PM
いろんな代数で商構造を作るのに特別な部分構造、例えば群であれば正規部分群、環であればイデアルを考えたりするのは、生成される同値関係が合同関係になることと同値な条件だからという統一的な理由があるのか。
普遍代数的な文脈で、商を作るのに同値関係が合同関係である必要があるのは知ってたけど、群や環でのケースと関連付けて理解していなかった。
これは20年前に理解していたかった……
普遍代数的な文脈で、商を作るのに同値関係が合同関係である必要があるのは知ってたけど、群や環でのケースと関連付けて理解していなかった。
これは20年前に理解していたかった……
「5分で分かる!? 有名論文ナナメ読み：Silver D. et al. : Reward is Enough」 doi.org/10.20729/000... 👀
情報学広場：情報処理学会電子図書館
情報学広場 情報処理学会電子図書館
doi.org
October 6, 2025 at 4:01 PM
「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の最適化関数を複数並行で実行しつつ、目的関数と勾配の評価用のコールバック関数の中で待ち合わせてバッチ評価する、という面白テクニックを使っています。
多点探索の複数の最適化処理での獲得関数の評価をバッチ化することで高速化するのですが、コルーチンライブラリ greenlet を使うことで、scipyの最適化関数を複数並行で実行しつつ、目的関数と勾配の評価用のコールバック関数の中で待ち合わせてバッチ評価する、という面白テクニックを使っています。
Optuna GPSampler (ガウス過程ベースのベイズ最適化手法) の 2.5倍高速化 - Preferred Networks Research & Development
本記事は2025年度PFN夏期インターンシップで、Optuna GPSamplerの高速化に取り組まれた入江海地さんによる寄稿です。 この記事の要約
tech.preferred.jp
October 6, 2025 at 12:14 AM
Optuna GPSampler (ガウス過程ベースのベイズ最適化手法) の 2.5倍高速化 tech.preferred.jp/ja/blog/spee...
多点探索の複数の最適化処理での獲得関数の評価をバッチ化することで高速化するのですが、コルーチンライブラリ greenlet を使うことで、scipyの最適化関数を複数並行で実行しつつ、目的関数と勾配の評価用のコールバック関数の中で待ち合わせてバッチ評価する、という面白テクニックを使っています。
多点探索の複数の最適化処理での獲得関数の評価をバッチ化することで高速化するのですが、コルーチンライブラリ greenlet を使うことで、scipyの最適化関数を複数並行で実行しつつ、目的関数と勾配の評価用のコールバック関数の中で待ち合わせてバッチ評価する、という面白テクニックを使っています。