Sosuke Hirayama

株式会社アトツギ, 代表取締役

Toshinao Sasaki

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

Yasuo Hishii

株式会社メルカリ, プロダクトマネージャー

Koichi Himemiya

Ryota Irie

Stephen Satoru Hanada

複数人数間で並行して同じタスクに取り掛かり、かつ、それぞれが異なる手法を使ってやる、ということは現実社会で時々見かけるけれど、それを壊れない感じでやろうとするととても大変。
では、ソートについて、並行して、異なる手法でやろうとするとどうなるか、ということに挑戦してみた。

KusoKoudoKaigi 第4回 優勝

matsuri technologies / エンジニアマネージャー

Keisuke Arai

Kazuhito Yamada

Taro Furuya

株式会社 PKSHA Communication, 執行役員 プロダクト開発統括部 部長

Daisuke Kasuya

株式会社はてな, 組織・基盤開発本部 エンジニアリングマネージャ

大堀 淳『コンパイラ ー 原理と構造』の謝辞に名前が載る

『プログラミング言語 Standard ML 入門』の解答例にコメントをする

"Rational agents with-in logic and its semantics"

認識論理の部分構造論理を用いた研究

Accomplishments / Portfolio

Rust

超準解析

議論でのプロレス

Isabelle

定理証明支援

TLA+

テストスペシャリスト

Issue職人

形式手法

二回行動

全体攻撃

毒耐性

おしゃべり

SML#

論理学

Ruby

仕事で使えるコミュニケーションツール

仕事で使えるエンジニアリングスキル

仕事で使えるマネジメントスキル

持っているプロジェクトマネジメント資格

携わったプロダクト・サービスの種類

携わったプロダクト・サービスの段階

経験したプロジェクトの契約形態

直接マネジメントしたことのある人数

プロダクトマネジメントの経験

経験した開発ライフサイクルモデル

経験したプロジェクトの複雑さ

経験のあるステークホルダーの範囲