見習いエンジニア、記憶をあきらめ記録に頼ります

神奈川で社会人してます。

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

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