内山 崇

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

菱井 康生

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

Koichi Himemiya

入江 僚太

小林 翔平

株式会社スタディスト, 開発本部SREユニット

花田 ステパノ

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

KusoKoudoKaigi 第4回 優勝

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

新井 恵介

Yamada Kazuhito

古屋 太郎

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

藤澤 明慶

株式会社 BuySell Technologies, エンジニア

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

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

"Rational agents with-in logic and its semantics"

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

実績

Rust

超準解析

議論でのプロレス

Isabelle

定理証明支援

TLA+

テストスペシャリスト

Issue職人

形式手法

二回行動

全体攻撃

毒耐性

おしゃべり

SML#

論理学

Ruby

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

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

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

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

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

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

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

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

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

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

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

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

花田ステパノ

花田ステパノ

花田 ステパノ

花田 ステパノ

花田ステパノ

花田ステパノ