2018-08-09から1日間の記事一覧
証明をバッチリ形式的に書くと、その証明には”正しい”推論しか使われていないことをコンピュータに検査してもらえる。つまり、「定理を乱用してない？」とか、「場合分けに抜けはない？」とか、「『明らか』と書いた部分が実は明らかじゃないのでは？」みた…
証明をバッチリ形式的に書くと、その証明には”正しい”推論しか使われていないことをコンピュータに検査してもらえる。つまり、「定理を乱用してない？」とか、「場合分けに抜けはない？」とか、「『明らか』と書いた部分が実は明らかじゃないのでは？」みた…
