・本質的で無い重箱の角が好き。自明故省略したケースを「間違ってる！見落としてる！」と連呼。松坂くんに似ている。
・メタ知識、行間不要と断言。証明はCoqで書き下されるべきであると愚かしいことを言う。
・自分の頭の悪さ、理解力の不足を証明の記述のせいにする。
「論理式で正確に書いてくれたら分かる筈だ！」
と無駄な希望を持つ。(実際は論理式とかCoqなんかで書いたら余計に分からない。)