シミュレーション上に車を再現して、テストコースを走行させることで燃費性能を測ります。その際に、車の性能を最大限に引き出すようにシミュレータを制御することが重要となります。従来はシミュレータの制御法を人の手でチューニングしており、シミュレータの一つ一つに対して手作業で制御を最適化してきました。この方法にはかなりの時間がかかり、またシミュレータが新しくなるごとに再調整しなければならないという問題を抱えていました。そこで我々は、シミュレータ制御の最適化を「グラフ上の制約付き最短経路問題」という数学の問題に焼き直し、その問題を解くプロセスを自動化することで、従来よりも高速で汎用的なアルゴリズムを開発しました。その安全性評価のため2016年6月にスタートした暗号解読コンテストで、世界で初めて60次元の格子暗号問題を解読しました。総当たり方式ならば解読までに一万年以上かかる問題を、効率的な手法により約16日で解くことに成功しました。Graph500ベンチマークテストを実施した結果、両者において世界1位となりました。海外で利用が進む計算代数システムMagmaの日本での普及に向け、Magmaに関する研究集会が10月に九州大学伊都キャンパスで行われた。そこで、主催者の一人である数理学府の横山さんにMagmaが数学の研究でどのように使われ、どのように役立つのかを、フェルマーの最終定理の証明を題材に説明してもらった。多重ゼータ値の間には巡回和公式と呼ばれる公式が成り立つことが知られているが、その証明方法はこれまでひと通りしか知られていなかった。本研究では、この巡回和公式を代数的に捉え、“川島関係式”と呼ばれる公式に帰着させることで解析法によらない普遍的な証明を与えた。素数は数の性質を考える上でとても重要だが、実はどのような数の集合の中で考えるかで素数であるかないかが変わってしまう。数理学府の吉田さんは、素数が素数でなくなる度合いを表す手法の1つを洗練し、より正確な度合いの測定を可能にした。University.。