川崎 禎紀

水野 雅之

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

内山 崇

個人活動, 宇宙飛行士挑戦エバンジェリスト

田中 篤志

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

塩津 拓真

原 将己

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

原 剛士

ウォンテッドリー株式会社, Frontend Engineer / Quality Control Squad

竹内 瑞季

樋口 心

竹野 創平

池田 伊織

株式会社ヤマップ, サービス開発部

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 登壇

型推論器の形式的検証

実績

学士（工学）

修士（情報科学）

受賞と資格

関数型まつり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 でハマらないための型チェッカー

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

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

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

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

出版と執筆

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

水野雅之

水野雅之

水野 雅之

水野 雅之

水野雅之

水野雅之