takamiiiii "世にも美しい数学入門 (ちく..." 2025年8月7日