Masahiro Sakai
LightNews LightNews
banner
msakai.bsky.social
Masahiro Sakai
@msakai.bsky.social
260 followers 240 following 720 posts
Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
Posts Replies Media Videos
Pinned
msakai.bsky.social
Masahiro Sakai @msakai.bsky.social · Sep 11
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 - TeamSampou/icfpc2025: ICFP 2025 Programming Contest
ICFP 2025 Programming Contest. Contribute to TeamSampou/icfpc2025 development by creating an account on GitHub.
github.com
msakai.bsky.social
T2さんとイミロンさん、協業してたのか。知らなかった……
prtimes.jp/main/html/rd...
自動運転の安全性を“証明”する：T2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始
株式会社イミロンのプレスリリース（2025年8月5日 11時30分）自動運転の安全性を“証明”する：T2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始
prtimes.jp
November 26, 2025 at 11:53 PM
Reposted by Masahiro Sakai
dmikurube.bsky.social
公式版のアナウンスは既に割と拡散してしまったようですがw Embulk の「メンテナンス・モード」についての非公式日本語版 + α (個人的振り返り) です。 α のほうがだいぶ長いのは、まあご想像どおり… zenn.dev/dmikurube/ar...
オープンソース・プロジェクトのたたみ方
zenn.dev
November 25, 2025 at 11:57 PM
msakai.bsky.social
そんな単語あるのか……

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
msakai.bsky.social
MIPLIB2024は2025年中に公開されるのだろうか……
November 24, 2025 at 12:03 AM
msakai.bsky.social
Compiling without Continuationsを読んだ。join-pointはエスケープせず、常に引数が揃った状態で末尾呼び出しされる関数で、gotoにコンパイルできるが、他の最適化でjoin-pointでなくなる事があるので、join-pointを明示的に扱う体系を作って、他の最適化でも保つように。

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
Reposted by Masahiro Sakai
sigplan-pldi.bsky.social
🎉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
msakai.bsky.social
封神演義が Kindle Unlimited の対象になっていて、懐かしくなって読んでみた。安能務版を昔よく読んでいて、安能務版は原作からかなり改変されていると聞いてたけど、確かに色々違うんだなぁ。
www.amazon.co.jp/gp/product/B...
封神演義 | 許仲琳, 李雲翔, 二階堂善弘, 八木原一恵 | SF・ホラー・ファンタジー | Kindleストア | Amazon
Amazonで許仲琳, 李雲翔, 二階堂善弘, 八木原一恵の封神演義。アマゾンならポイント還元本が多数。一度購入いただいた電子書籍は、KindleおよびFire端末、スマートフォンやタブレットなど、様々な端末でもお楽しみいただけます。
www.amazon.co.jp
November 17, 2025 at 2:42 PM
Reposted by Masahiro Sakai
iwanami-ns.bsky.social
『対称性と機械学習』
iwnm.jp/005654
の見本を著者・岡野原大輔さんにお届けしてきました。
18日刊行（出庫）になります。

上記書誌サイトでは、まえがき＋目次＋第１章冒頭10頁を公開しています（「試し読み」のボタンからpdfダウンロード）。ぜひご覧ください。
September 12, 2025 at 7:25 AM
msakai.bsky.social
年末調整しようと思って、「給与所得者の（特定増改築等）住宅借入金等特別控除申告書」兼「年末調整のための（特定増改築等）住宅借入金等特別控除証明書」が見つからんと思ったら、確定申告した時にe-Taxによる交付を希望していたようだ。すっかり忘れていた……
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
msakai.bsky.social
Duolingo の Early bird chest と Night owl chest 、なくなったと思ったら、また復活したの？
November 3, 2025 at 3:02 PM
msakai.bsky.social
小学校でインフルエンザ流行っているので、家族でインフルエンザの予防接種を受けてきた💉
例年打ちに行っていたITS健保・東振協の補助が使えるクリニックは混雑がすごいので、今回は別のクリニックにしたら待ち時間が短くて快適だった。時間コストの面でもこっちの方が良い。
November 3, 2025 at 3:44 AM
msakai.bsky.social
「スーパードクターK・Doctor K・K2/【K2 第505話】本物になりつつある男③」マガポケ s.magazinepocket.com/ldg?t=2278&d... 急性大動脈解離の手術で「人工心肺オフ！」と言って「脳を除いて身体中の全ての循環がストップ状態だ……」と言っていて、脳への循環（脳灌流）はどうやって実現してるの？と思った。
マガジンポケット
伝説のハードボイルド医療譚、マガポケで復活！
s.magazinepocket.com
November 2, 2025 at 2:04 AM
msakai.bsky.social
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
msakai.bsky.social
論文は SARS-CoV-2 mRNA vaccines sensitize tumours to immune checkpoint blockade doi.org/10.1038/s415... か。おもしろ。
October 24, 2025 at 11:53 PM
msakai.bsky.social
ＳＢＩホールディングス株式会社 2027年10月27日満期 円建社債（第48回ＳＢＩ債）、なんで初回の利払いだけ、金額が少し少ないのかなと思ったけど、目論見書の日付調整係数に従って計算したら確かにそうなった。

site1.sbisec.co.jp/ETGate/?OutS...
発行日 ← 購入💴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とする。
October 22, 2025 at 11:45 PM
msakai.bsky.social
三井住友銀行のOliveのアプリの口座一覧画面に出てくるこのグラフの右の意味が分からない。投資信託の半分くらい（もしくはそれ以外全部？）を他の何かに活用した方が良いという意味？
October 22, 2025 at 12:15 PM
msakai.bsky.social
Gurobi Machine Learning 1 因果推論とアップリフトモデリング
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
msakai.bsky.social
そういえば、SCIPのDockerイメージは更新が止まっていた。
hub.docker.com/r/scipoptsui...
hub.docker.com
October 20, 2025 at 12:27 AM
Reposted by Masahiro Sakai
miraisyakai.bsky.social
定数削減は、政党や政治家の身を切る改革ではない。それで切られるのは少数の意見をもつ有権者だ。
October 17, 2025 at 2:39 PM
Reposted by Masahiro Sakai
artonx.org
カゴメの株主優待の中に入っていたカードを見て、何で創業時のマークやめたんだろう？　と一瞬不思議だったが国際ブランドとなるには無理があるから捨てざるを得なかったのか。というか創業時の写真がなんか凄い。
October 19, 2025 at 12:17 AM
msakai.bsky.social
おお、 SCIP 10 に exact solving や certificate の機能が入るのか。 pseudo boolean だと既に VeriPB の証明フォーマットがあるけど、一般のMIP向けだと、新しい証明フォーマットを作ったのかな。
mluebbecke.bsky.social Marco Lübbecke @mluebbecke.bsky.social · Sep 3
SCIP 10 features an option for solving MIPs exactly

#orms #or2025
October 18, 2025 at 11:15 PM
msakai.bsky.social
全然気づいてなかったけど、いつの間にか SCIP に IIS (Irreducible (Inconsistent|Infeasible) (Subsystem|Subset|Set)) を計算する機能が実装されていたのか。 まだリリース版には含まれていないけど、 次の バージョン10に含まれるはず。
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
Reposted by Masahiro Sakai
fujii-yuji.net
「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
msakai.bsky.social
I completed the ‎October challenge‎ faster than ‎93.1‎% of all learners on Duolingo!
October 18, 2025 at 2:08 AM
msakai.bsky.social
UTF-8 範囲外の文字がLinux kernel のコミットタイトルに出てくることがあるので気をつけよう hikalium.hatenablog.jp/entry/2025/0... 👀

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