neeton_iwasaki

45 Contribution

/ Following users

体脂肪担当

編集リクエスト、コメント大歓迎です。

Coqなどによるプログラムの正しさの検証・証明に興味があります。

プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。