takacha "数学の真髄　-論理・写像ー" 2025年4月18日