名古屋大学が「悪魔エンジン」の数学的モデルを開発!