Student

検索に10分以上かかった内容を記事にまとめています。

こんにちは

休日は、無駄なものを開発しているオカメインコです。革新的なアイデアや文化は、無駄から生まれると思ってます。

基本的に記事はZennに書いています。 リンクはWeb欄へ。 Qiitaは技術記事閲覧用。

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