Lightnews — Scholar-powered news

Masahiro Sakai

@msakai.bsky.social

250 followers 240 following 690 posts

Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai

Posts Media Videos Starter Packs

Pinned

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

1 1

Masahiro Sakai @msakai.bsky.social · 1d

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

Masahiro Sakai @msakai.bsky.social · 1d

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

hub.docker.com

Reposted by Masahiro Sakai

三春充希(はる)⭐未来社会プロジェクト @miraisyakai.bsky.social · 3d

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

3 320 500

Masahiro Sakai @msakai.bsky.social · 2d

VeriPB - Verifier for Pseudo-Boolean Proofs gitlab.com/MIAOresearch... そういえば、VeriPBの実装って Rust が使われてたのか。知らなかった。SAT系の分野にもRust広まって来てるなぁ。 #rustlang

MIAO / Software / VeriPB · GitLab

VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds

gitlab.com

Reposted by Masahiro Sakai

arton @artonx.org · 2d

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

3 9

Masahiro Sakai @msakai.bsky.social · 2d

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

Marco Lübbecke @mluebbecke.bsky.social · Sep 3

SCIP 10 features an option for solving MIPs exactly

#orms #or2025

1 1

Masahiro Sakai @msakai.bsky.social · 3d

全然気づいてなかったけど、いつの間にか 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

Reposted by Masahiro Sakai

fujii_yuji (フジイユウジ) @fujii-yuji.net · 3d

「Sign in with ChatGPT」計画が話題になってるね。

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

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

3 8

Masahiro Sakai @msakai.bsky.social · 3d

レベルのリニューアルでアイテムバックを爆発させた直後に、メガレックウザレイドデイのタイムチャレンジで「ポケストップ・ジム5個を回す」なんてタスクを与えてくる運営(もうScopely?)、頭おかしいとしか……

ジムから無料のレイドパスをもらえる状態だと、アイテムバッグが一杯でもジムを回せるという抜け穴（謎な振る舞いで、ちょっと裏技っぽいな）に気がついて、なんとかチャレンジ達成できたけど。

#PokemonGo

メガレックウザレイドデイタイムチャレンジ
終了まであと2時間と57分

こうかばつぐんのスペシャルアタックを使ってバトルする … 1,000 XP
ポケストップ・ジム5個を回す … モンスターボール x20
レイドバトルで2回勝つ … ズリのみ x5

REWARDS
げんきのかけら x3
いんせき x1
ほしのすな x1,000

Masahiro Sakai @msakai.bsky.social · 3d

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

Masahiro Sakai @msakai.bsky.social · 3d

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

Masahiro Sakai @msakai.bsky.social · 5d

リニューアル後のレベルは65に。レベルアップのリワードのアイテムを一気にもらったせいで、アイテムバッグが溢れてトンデモないことに……

1 1

Masahiro Sakai @msakai.bsky.social · 5d

#PokemonGo のレベルリニューアル前に、「{スーパーリーグ,ハイパーリーグ,マスターリーグ}のトレーナー対戦で30回勝つ」をこなして駆け込みでレベル44に。マスターリーグはリーグ開催スケジュールの関係で無理かと思ってたけど、リニューアルが日本時間じゃなくて間に合った。

これまでトレーナー対戦はほとんどしてなかったので、ほぼタスクが丸々残っていて、駆け込みでやったので、昨シーズンとの差がエグいことに…… 😅

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

1 1

Masahiro Sakai @msakai.bsky.social · 8d

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

Java 仮想マシンを自作したい全ての方々へ

zenn.dev

Masahiro Sakai @msakai.bsky.social · 8d

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

Reposted by Masahiro Sakai

エミコヤマ @macska.org · 14d

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を超える内部データを入手し報道してきたドイツのジャーナリストらによる本。…

1 13 18

Masahiro Sakai @msakai.bsky.social · 14d

いろんな代数で商構造を作るのに特別な部分構造、例えば群であれば正規部分群、環であればイデアルを考えたりするのは、生成される同値関係が合同関係になることと同値な条件だからという統一的な理由があるのか。

普遍代数的な文脈で、商を作るのに同値関係が合同関係である必要があるのは知ってたけど、群や環でのケースと関連付けて理解していなかった。

これは20年前に理解していたかった……

Masahiro Sakai @msakai.bsky.social · 14d

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

情報学広場：情報処理学会電子図書館

情報学広場　情報処理学会電子図書館

doi.org

Masahiro Sakai @msakai.bsky.social · 15d

Optuna GPSampler (ガウス過程ベースのベイズ最適化手法) の 2.5倍高速化 tech.preferred.jp/ja/blog/spee...

多点探索の複数の最適化処理での獲得関数の評価をバッチ化することで高速化するのですが、コルーチンライブラリ greenlet を使うことで、scipyの最適化関数を複数並行で実行しつつ、目的関数と勾配の評価用のコールバック関数の中で待ち合わせてバッチ評価する、という面白テクニックを使っています。

Optuna GPSampler (ガウス過程ベースのベイズ最適化手法) の 2.5倍高速化 - Preferred Networks Research & Development

本記事は2025年度PFN夏期インターンシップで、Optuna GPSamplerの高速化に取り組まれた入江海地さんによる寄稿です。この記事の要約

tech.preferred.jp

Reposted by Masahiro Sakai

Science Magazine @science.org · 18d

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

Jane Goodall, famed primatologist, changed the way we thought about apes

The scientist and conservationist made waves with her observations and advocacy

scim.ag

2 19 120

Masahiro Sakai @msakai.bsky.social · 21d

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

ファミコンの驚くべき発想力 | 技術評論社

ファミコンはコンピュータ・ゲームの原点として一大文化を築いたと言われますが、今なおレトロゲームとして熱心なファンに親しまれています。ファミコンは現在のコンピュータと比較するととても低スペックのマシンに見えますが、どのようにゲームの表現を可能にしていたのでしょうか。また、当時のプログラマーは限られたリソースを最大限に活用したプログラミングでゲームを開発していたとされますが、実際にはどのようなものだっ...

gihyo.jp

1 3

Masahiro Sakai @msakai.bsky.social · 21d

アステラス製薬によるガニメド(Ganymed Pharmaceuticals)買収の話も出てきて、調べてみると€422百万の一時金＋最大€860百万の成果連動支払で、その後、胃がん治療薬ビロイ(VYLOY, ゾルベツキシマブ)は商品化に成功し売り上げが拡大してるけど、買収額が巨額過ぎたのか、24年度第3四半期決算で株式減損処理で606億円の特別損失を計上。
www.mixonline.jp/tabid55.html...