Clayiumをリメイクしてみたり、TypeScriptで型レベルで遊んでみたりしている

2013年に株式会社Azitを共同創業してから、幅広くプロダクト開発を担当しています。 2021年からはCTOになり、サーバーサイドの開発、技術戦略の立案ならびに実行、エンジニア採用等を担当しています。 普段は散歩や植物観察、写真が好きで長時間散歩をしたり、植物園に行って花の写真を撮ったりしています。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

Standard ML is the best programming language, isn't it?

定理証明系や論理プログラミングに興味をもっています。