あんどん書房 "数学にとって証明とはなにか　..." 2025年1月1日