202436400

自然言語による説明は最小限にしたいという気持ちがある。論理は数式だけで完結していて、おおまかな方針や直感的なイメージを添えるように自然言語で説明するのが理想というか。完全に形式化された証明のことを思えば、それは絵に描いた餅的な理想なのだが。