2022-08-06 証明の意義 muses 論理 教育 https://arxiv.org/abs/2102.03044 から。 証明が行うこと 読者の心に形成されるもの guarantee trust explain insight, understanding