シモカワ

マネジメントと育成と品質と組織改革と機械学習とフロントエンドと、良い具合に興味が爆発してます。

SSS3

tmiya_

関数型言語と定理証明に興味があります。Formal Methods Forumに所属。