はてな "ルート2の不思議: 数学が、..." 2025年10月23日