Koichi Himemiya

入江 僚太

花田 ステパノ

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

KusoKoudoKaigi 第4回 優勝

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

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

米盛 修平

AirX Inc., 経営企画部長 兼 人事部長

新井 恵介

日高 正博

株式会社メルカリ, メルペイ エキスパート（Android）

Yamada Kazuhito

西川 陽一

ネオステラ株式会社(NeoStella Inc.), CEO

市村 昌史

株式会社LexxPluss, リクルーティングマネージャー

佐々木 勇介

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

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

"Rational agents with-in logic and its semantics"

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

実績

Rust

超準解析

議論でのプロレス

Isabelle

定理証明支援

TLA+

テストスペシャリスト

Issue職人

形式手法

二回行動

全体攻撃

毒耐性

おしゃべり

SML#

論理学

Ruby

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

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

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

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

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

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

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

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

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

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

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

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

花田ステパノ