(*´▽｀*)よろしくお願いいたします。

サーバレスな技術が好きです。やさしくしてね

はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります

fopen("chitoku", "r");

仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

やらねば

VR•AR•MR開発してる、フリーランスのWeb・Unityエンジニア＼（・ω・）／