ちょこのもと "世にも美しき数学者たちの日常" 2026年9月16日