Takahiro Tsuchida

こんにちは。 記事校正については、プルリクエスト大歓迎です。 ただし、情報ソースの検証・動作の検証が必要だと思ったものは、手が回らないかもしれません。

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