ひじょうに曖昧なコーディングをする者です。

ウィルキンソンジンジャエールを片手にコードを書く人。JavaScriptぐらいしかまともに書けない…。東京都内の工業高校に通うザコ学生。

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

最近は Qiita はご無沙汰してます。古い記事はそのまま参考にしないようにご注意ください

なんとなくcodebreak;導入した