Yoshinori Kawasaki

Mizuno Masayuki

ウォンテッドリー株式会社 / エンジニア

Atsushi Tanaka

ウォンテッドリー株式会社, インフラエンジニア

Noriyuki Kaname

ウォンテッドリー株式会社, 執行役員 VP of Engineering

Takuma Shiotsu

Masaki Hara

ウォンテッドリー株式会社, Infrastructure Squad / インフラ・バックエンドエンジニア

Masahiro Hidaka

株式会社メルカリ, メルペイ エキスパート（Android）

Mizuki Takeuchi

Kokoro Higuchi

Sohei Takeno

Hayato Kawai

RubyKaigi 2025 登壇

Omotesando.rb #102 登壇

Shibuya.rb[:20240821] 登壇

Roppongi.rb #21 登壇

Roppongi.rb #20 登壇

Roppongi.rb #19 登壇

Omotesando.rb #96 登壇

第五回関数型プログラミングの会登壇

Gotanda.rb #56 登壇

Omotesando.rb #91 登壇

型推論器の形式的検証

Accomplishments / Portfolio

学士（工学）

修士（情報科学）

Awards and Certifications

関数型まつり2026で証明駆動開発の話をしてきました

モノレポで管理している LaTeX 文書を GitHub Actions でビルドする

Linux の実行形式から見る軽量なコンテナイメージの作り方

RubyKaigi 2025 で継続の話をしてきました

Ruby でリストモナドを使ってみる

Wantedly Visit 日程調整機能の不具合を修正しました

遅延評価を使ってOSSのバグを修正した話 | Wantedly Engineer Blog

Rails 7.0 アップグレード時はダイジェストクラスの設定に気を付けよう | Wantedly Engineer Blog

要素数が2の冪でないセグメント木でも，再帰を使わずに二分探索できる

形式的に検証したセグメント木の実装を使って競技プログラミングの問題を解く

セグメント木の一次元配列による実装の検証

セグメント木の形式的検証

Babel マクロの力で JavaScript コードのバンドルサイズ増大に立ち向かう

計算機に推論できる型、できない型

モダンな言語による素集合データ構造の実装、あるいはC++以外の言語での競プロについて

最小共通祖先を求めるアルゴリズムの形式検証

ダイクストラ法の一般化と，その正当性の Coq を用いた検証 - fetburner.core

gRPC Ruby でハマらないための型チェッカー

効率的な正規表現エンジンを Coq で検証する - fetburner.core

ML のサブセットの型推論器を Coq で検証する

フロイドの循環検出アルゴリズムの形式的検証

Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion

もっと二分探索に証明を付ける

Formal Verification of the Correspondence between Call-by-Need and Call-by-Name

Publications

Rails 7.0 アップグレード時はダイジェストクラスの設定に気を付けよう