Yoshinori Kawasaki

Mizuno Masayuki

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

 Takashi Uchiyama

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

Masatoshi Kubode

ウォンテッドリー株式会社, Mobile Growth Squad / Squad Lead

Takuma Shiotsu

Tsuyoshi Hara

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

Mizuki Takeuchi

Kokoro Higuchi

Sohei Takeno

Ryota Egusa

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

Hayashi Yudai

Wantedly, Inc., データサイエンティスト

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

モノレポで管理している 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

Publications

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