Yoshinori Kawasaki

Mizuno Masayuki

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

Toshinao Sasaki

フリーランス, ジャーナリスト・作家

Atsushi Tanaka

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

Takuma Shiotsu

Taichi Oshiumi

ウォンテッドリー株式会社, Engineering Manager

Tsuyoshi Hara

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

Mizuki Takeuchi

Kokoro Higuchi

Sohei Takeno

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ダイクストラ法の一般化と，その正当性の 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 アップグレード時はダイジェストクラスの設定に気を付けよう