会社を作りました

株式会社proof ninjaという会社を作りました。*1

今日からはこの会社の代表になります。OCamlの達人として名高いcamlspotterさんの
ダイラムダ株式会社 から仕事をもらいます。ブロックチェーンプロトコルTezosを証明して世界一安全な暗号通貨を作るお手伝いができればと考えています。

ガリ*2を卒業して10年とちょっとの間いくつかの会社を経験して今にいたりますがずっとOCamlで開発してCoqで検証するという試みをやってきました。今後はよりいっそうOCamlと証明を書けるように努力していきたいと思います。

よくある質問

  • 引っ越しますか? : 引っ越しません、しばらくは関東の自宅またはその周辺で作業します
  • ニコニコはどうしますか? : 運営からプレミアムユーザーに変わります

欲しいもの

  • Amazon.co.jp
  • 会社ロゴのデザイン
  • 名刺のデザイン

*1:正確にはまだ登記完了していないのでわかりませんが何事もなければ本日設立です

*2:名古屋大学多元数理科学研究科 ガリグ研究室