Takahiro Hirano "ヒルベルトの23問題に挑んだ..." 2026年2月20日