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
昨日1/19(月)はPFNでの最終勤務日だった。PFNを離れるにあたって、色々な人に惜しんでもらったり、気にかけてもらったりで、本当にありがたく、また、思い返すと沢山の思い出と思い入れのある2017年5月からの9年弱で、自分で決めたことではあるけど、本当に寂しくて、胸が一杯に。
January 26, 2026 at 8:06 AM
開発中からちょっと気になっていた、ウサギ🐰のウンチを拾うゲームがリリースされたので、購入。
flufflop.itch.io/bunsandpoops
flufflop.itch.io/bunsandpoops
Buns and Poops by FLUFFLOP
Turn your desktop into a bunny playground
flufflop.itch.io
January 25, 2026 at 3:12 AM
開発中からちょっと気になっていた、ウサギ🐰のウンチを拾うゲームがリリースされたので、購入。
flufflop.itch.io/bunsandpoops
flufflop.itch.io/bunsandpoops
Reposted by Masahiro Sakai
1970年くらいに出版されたブルーバックスをなぜかいま読んでいる。よく考えると半世紀前かー。前半の数学の部分は今読んでも「新しい」を感じるが、後半は「のどかだなあ」という意味で懐古的なのが面白い
January 25, 2026 at 1:24 AM
1970年くらいに出版されたブルーバックスをなぜかいま読んでいる。よく考えると半世紀前かー。前半の数学の部分は今読んでも「新しい」を感じるが、後半は「のどかだなあ」という意味で懐古的なのが面白い
#PLaMo翻訳 だと This is so gross it's hilarious になった。
📝 原文
キモすぎて草
🌐 翻訳
This is so gross it's hilarious
www.threads.com/@kntrluv210/...
📝 原文
キモすぎて草
🌐 翻訳
This is so gross it's hilarious
www.threads.com/@kntrluv210/...
かなたろー (@kntrluv210) on Threads
これがGoogle翻訳とDeepL翻訳の差
どちらを使えばいいかは一目瞭然
www.threads.com
January 25, 2026 at 1:19 AM
#PLaMo翻訳 だと This is so gross it's hilarious になった。
📝 原文
キモすぎて草
🌐 翻訳
This is so gross it's hilarious
www.threads.com/@kntrluv210/...
📝 原文
キモすぎて草
🌐 翻訳
This is so gross it's hilarious
www.threads.com/@kntrluv210/...
流行りの「これまで私があなたをどう扱ってきたか画像にして」をChatGPTに聞いてみたら、なんか可愛いロボットが出てきた。
January 21, 2026 at 9:48 AM
流行りの「これまで私があなたをどう扱ってきたか画像にして」をChatGPTに聞いてみたら、なんか可愛いロボットが出てきた。
Reposted by Masahiro Sakai
あー jj ってなんだべと思ってたけど、つまり Gerrit なのか (ざつなりかい) zenn.dev/imudak/artic...
jjを使っていて驚いた「1変更1コミット」という哲学
zenn.dev
January 18, 2026 at 8:52 AM
あー jj ってなんだべと思ってたけど、つまり Gerrit なのか (ざつなりかい) zenn.dev/imudak/artic...
昨日1/19(月)はPFNでの最終勤務日だった。PFNを離れるにあたって、色々な人に惜しんでもらったり、気にかけてもらったりで、本当にありがたく、また、思い返すと沢山の思い出と思い入れのある2017年5月からの9年弱で、自分で決めたことではあるけど、本当に寂しくて、胸が一杯に。
January 20, 2026 at 12:11 AM
昨日1/19(月)はPFNでの最終勤務日だった。PFNを離れるにあたって、色々な人に惜しんでもらったり、気にかけてもらったりで、本当にありがたく、また、思い返すと沢山の思い出と思い入れのある2017年5月からの9年弱で、自分で決めたことではあるけど、本当に寂しくて、胸が一杯に。
cabal のフラグ管理がバグっているかと思ったら、 --allow-newer=PKG とすべきところを --allow-newer PKG としていて、 --allow-newer で全てのパッケージの上限を無視することになり、 PKG はフラグとして解釈されてしまっていたというオチだった😅 #Haskell
January 14, 2026 at 11:39 PM
cabal のフラグ管理がバグっているかと思ったら、 --allow-newer=PKG とすべきところを --allow-newer PKG としていて、 --allow-newer で全てのパッケージの上限を無視することになり、 PKG はフラグとして解釈されてしまっていたというオチだった😅 #Haskell
z3-solver パッケージを使って、wasmにコンパイルされたZ3をブラウザ上で動かして、数独を解けた。
www.npmjs.com/package/z3-s...
www.npmjs.com/package/z3-s...
www.npmjs.com
January 12, 2026 at 7:53 AM
z3-solver パッケージを使って、wasmにコンパイルされたZ3をブラウザ上で動かして、数独を解けた。
www.npmjs.com/package/z3-s...
www.npmjs.com/package/z3-s...
Wordle 1,662 6/6
⬜⬜⬜🟨⬜
🟨🟩⬜⬜⬜
⬜🟩🟩⬜⬜
⬜🟩⬜⬜⬜
⬜🟨🟨🟨🟨
🟩🟩🟩🟩🟩
これは分からんな……
⬜⬜⬜🟨⬜
🟨🟩⬜⬜⬜
⬜🟩🟩⬜⬜
⬜🟩⬜⬜⬜
⬜🟨🟨🟨🟨
🟩🟩🟩🟩🟩
これは分からんな……
January 6, 2026 at 2:44 PM
Wordle 1,662 6/6
⬜⬜⬜🟨⬜
🟨🟩⬜⬜⬜
⬜🟩🟩⬜⬜
⬜🟩⬜⬜⬜
⬜🟨🟨🟨🟨
🟩🟩🟩🟩🟩
これは分からんな……
⬜⬜⬜🟨⬜
🟨🟩⬜⬜⬜
⬜🟩🟩⬜⬜
⬜🟩⬜⬜⬜
⬜🟨🟨🟨🟨
🟩🟩🟩🟩🟩
これは分からんな……
川崎大師でおみくじを引いたら、第一番の大吉で驚いた。幸先が良いな。良い一年にしていくぞ！
January 3, 2026 at 2:48 AM
川崎大師でおみくじを引いたら、第一番の大吉で驚いた。幸先が良いな。良い一年にしていくぞ！
なんかChromeのメモリ管理が変わったのか、大量のタブを開きっぱなしにしてたら無茶苦茶重くなったので、開きっぱなしになってるタブをブックマークに保存して閉じた。合計17個のウィンドウで552タブほどあった😅
December 29, 2025 at 3:20 AM
なんかChromeのメモリ管理が変わったのか、大量のタブを開きっぱなしにしてたら無茶苦茶重くなったので、開きっぱなしになってるタブをブックマークに保存して閉じた。合計17個のウィンドウで552タブほどあった😅
Google AI Pro annual plan が 50% off になっているらしいけど、すでに Gemini と無関係に Google One を買っていたので対象外だったようで悲しかった😢
x.com/GeminiApp/st...
x.com/GeminiApp/st...
G3mini on X: "Another gift before 2026 🎁 For a limited time, new members get from 50% off the Google AI Pro annual plan (auto renews at the subscription price after offer ends). You'll get higher access to Gemini 3 Pro, Nano Banana Pro, Deep Research, and 2TB of Cloud Storage. Plus, share" / X
Another gift before 2026 🎁 For a limited time, new members get from 50% off the Google AI Pro annual plan (auto renews at the subscription price after offer ends). You'll get higher access to Gemini 3 Pro, Nano Banana Pro, Deep Research, and 2TB of Cloud Storage. Plus, share
x.com
December 27, 2025 at 12:21 AM
Google AI Pro annual plan が 50% off になっているらしいけど、すでに Gemini と無関係に Google One を買っていたので対象外だったようで悲しかった😢
x.com/GeminiApp/st...
x.com/GeminiApp/st...
I completed the December challenge faster than 94.3% of all learners on Duolingo!
December 15, 2025 at 3:02 PM
I completed the December challenge faster than 94.3% of all learners on Duolingo!
December 7, 2025 at 3:21 PM
Reposted by Masahiro Sakai
The Oxford Word of the Year 2025 に 「rage bait（苛立たしい、挑発的、不快な内容で、意図的に怒りや憤りを引き出すように設計されたオンラインコンテンツ）」が選ばれた。まさに今年を象徴する言葉だと思う。
The Oxford Word of the Year 2025 is rage bait htn.to/6mdyhPur3C
The Oxford Word of the Year 2025 is rage bait htn.to/6mdyhPur3C
The Oxford Word of the Year 2025 is rage bait - Oxford University Press
The Oxford Word of the Year crown for 2025 has gone to 'rage bait', with our experts noting that its usage had tripled over the past 12 months.
htn.to
December 1, 2025 at 11:12 PM
The Oxford Word of the Year 2025 に 「rage bait（苛立たしい、挑発的、不快な内容で、意図的に怒りや憤りを引き出すように設計されたオンラインコンテンツ）」が選ばれた。まさに今年を象徴する言葉だと思う。
The Oxford Word of the Year 2025 is rage bait htn.to/6mdyhPur3C
The Oxford Word of the Year 2025 is rage bait htn.to/6mdyhPur3C
T2さんとイミロンさん、協業してたのか。知らなかった……
prtimes.jp/main/html/rd...
prtimes.jp/main/html/rd...
自動運転の安全性を“証明”する：T2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始
株式会社イミロンのプレスリリース（2025年8月5日 11時30分）自動運転の安全性を“証明”する：T2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始
prtimes.jp
November 26, 2025 at 11:53 PM
T2さんとイミロンさん、協業してたのか。知らなかった……
prtimes.jp/main/html/rd...
prtimes.jp/main/html/rd...
Reposted by Masahiro Sakai
公式版のアナウンスは既に割と拡散してしまったようですがw Embulk の「メンテナンス・モード」についての非公式日本語版 + α (個人的振り返り) です。 α のほうがだいぶ長いのは、まあご想像どおり… zenn.dev/dmikurube/ar...
オープンソース・プロジェクトのたたみ方
zenn.dev
November 25, 2025 at 11:57 PM
公式版のアナウンスは既に割と拡散してしまったようですがw Embulk の「メンテナンス・モード」についての非公式日本語版 + α (個人的振り返り) です。 α のほうがだいぶ長いのは、まあご想像どおり… zenn.dev/dmikurube/ar...
そんな単語あるのか……
GridWords (26. November 2025) 6/6 in 1:13:00 🔥15
🟨🟨⬜⬜⬜
🟨⬜🟩⬜⬜
⬜⬜🟩⬜🟨
⬜⬜🟩🟩🟩
⬜⬜🟩🟩🟩
🟩🟩🟩🟩🟩
gridgames.app/gridwords/
GridWords (26. November 2025) 6/6 in 1:13:00 🔥15
🟨🟨⬜⬜⬜
🟨⬜🟩⬜⬜
⬜⬜🟩⬜🟨
⬜⬜🟩🟩🟩
⬜⬜🟩🟩🟩
🟩🟩🟩🟩🟩
gridgames.app/gridwords/
GridWords – das größte deutsche Wordle
Wordle auf Deutsch: Jeden Tag hast du 6 Versuche, um ein Wort mit 5 Buchstaben zu erraten. Die Farben zeigen dir, welche Buchstaben du bereits richtig erraten hast.
gridgames.app
November 26, 2025 at 12:15 PM
そんな単語あるのか……
GridWords (26. November 2025) 6/6 in 1:13:00 🔥15
🟨🟨⬜⬜⬜
🟨⬜🟩⬜⬜
⬜⬜🟩⬜🟨
⬜⬜🟩🟩🟩
⬜⬜🟩🟩🟩
🟩🟩🟩🟩🟩
gridgames.app/gridwords/
GridWords (26. November 2025) 6/6 in 1:13:00 🔥15
🟨🟨⬜⬜⬜
🟨⬜🟩⬜⬜
⬜⬜🟩⬜🟨
⬜⬜🟩🟩🟩
⬜⬜🟩🟩🟩
🟩🟩🟩🟩🟩
gridgames.app/gridwords/
MIPLIB2024は2025年中に公開されるのだろうか……
November 24, 2025 at 12:03 AM
MIPLIB2024は2025年中に公開されるのだろうか……
Compiling without Continuationsを読んだ。join-pointはエスケープせず、常に引数が揃った状態で末尾呼び出しされる関数で、gotoにコンパイルできるが、他の最適化でjoin-pointでなくなる事があるので、join-pointを明示的に扱う体系を作って、他の最適化でも保つように。
join-point とシークエント計算の話は色々読んでいたので、これも読んだことあったかと思ったら、読んでいなかった。
doi.org/10.1145/3062...
join-point とシークエント計算の話は色々読んでいたので、これも読んだことあったかと思ったら、読んでいなかった。
doi.org/10.1145/3062...
Compiling without continuations | Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
doi.org
November 20, 2025 at 12:13 AM
Compiling without Continuationsを読んだ。join-pointはエスケープせず、常に引数が揃った状態で末尾呼び出しされる関数で、gotoにコンパイルできるが、他の最適化でjoin-pointでなくなる事があるので、join-pointを明示的に扱う体系を作って、他の最適化でも保つように。
join-point とシークエント計算の話は色々読んでいたので、これも読んだことあったかと思ったら、読んでいなかった。
doi.org/10.1145/3062...
join-point とシークエント計算の話は色々読んでいたので、これも読んだことあったかと思ったら、読んでいなかった。
doi.org/10.1145/3062...
Reposted by Masahiro Sakai
🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!
November 17, 2025 at 11:35 PM
🎉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...
www.amazon.co.jp/gp/product/B...
封神演義 | 許仲琳, 李雲翔, 二階堂善弘, 八木原一恵 | SF・ホラー・ファンタジー | Kindleストア | Amazon
Amazonで許仲琳, 李雲翔, 二階堂善弘, 八木原一恵の封神演義。アマゾンならポイント還元本が多数。一度購入いただいた電子書籍は、KindleおよびFire端末、スマートフォンやタブレットなど、様々な端末でもお楽しみいただけます。
www.amazon.co.jp
November 17, 2025 at 2:42 PM
封神演義が Kindle Unlimited の対象になっていて、懐かしくなって読んでみた。安能務版を昔よく読んでいて、安能務版は原作からかなり改変されていると聞いてたけど、確かに色々違うんだなぁ。
www.amazon.co.jp/gp/product/B...
www.amazon.co.jp/gp/product/B...
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...