常微分方程式→ポントリャーギン→千葉克裕→千葉逸人