九州大学大学院数理学研究院 坂内英一先生最終講義