202301103

202301102 これは ChatGPT を触っていても似たようなことを思う。文章が苦手なので自然言語より少し形式化された言語を使いたい。完全に形式化された証明が自然言語交じりの証明より分かりやすいとは思わないので、程度問題ではあるのだけれど。