今月の業務内容

各テーマの略称は7月の振り返りに記載したものを引き続き使用する。

以下、各テーマの進捗を報告する。

テーマA：確率的な数理モデルと数値計算に関する研究（海外研究者との共同研究）

投稿論文が査読中であるため、今月は大きな動きはなかった。

大学では新年度が始まり、新たに博士学生が入学した。そのうち1名が本テーマに関心を持っているとのことであり、今後共同研究に発展する可能性がある。具体的な内容は未定である。

また、同じトピックについて、国内企業および国内研究機関の研究者らと意見交換の場を持った。11月にも再度実施する予定であり、機会があればいずれか1名が主導する形で、新たな数値計算手法や理論解析に関する論文を執筆することを目標に動き始めている。

テーマB：多数の主体からなる系のデータ解析・推定に関する研究（学生との共同研究）

本テーマで与えた収束証明について、定理証明支援系Leanによる形式化を試みた。本テーマは、現在進めているテーマの中で最も数学的に自己完結した解析を伴うものであり、大規模言語モデルの支援を受けた形式化を試行するのに適していると考えたためである。結果として、形式化自体はおおむね成功していると考えられるが、その妥当性については今後よく確認する必要がある。

また、本テーマの成果を11月中旬締切の国際会議へ投稿することについて、受入先の指導教員と合意した。テンプレートへの対応や必要な追加の数値計算を進めている。

テーマC：集団系の最適化・数値計算に関する研究（学生との共同研究）

今月も大きな進捗はない。引き続き、アドバイザーとして助言を行っている博士学生が主体となって原稿の執筆を進めている。

テーマE：最適化手法を用いた制御計算に関する研究（学生との共同研究）

11月中旬締切の国際会議に向けて作成した原稿を共同研究者に確認いただき、内容について助言を得た。これを受けて、主張がより明確に伝わる設定のもとで数値計算を再実施し、原稿を改めて修正した。投稿締切に向けて、共同研究者と足並みを揃えながら準備を進めていく予定である。

テーマF：制御系の安全性向上に関する研究（国内研究者との共同研究）

共同研究者である国内研究機関の研究者から原稿の草稿を共有いただき、構成について助言を行った。今後は同氏に引き続き執筆を進めていただき、先方のペースで投稿まで進めていただく予定である。なお、同氏は今月日本に帰任されたため、今後はリモートでのやり取りが中心となる。

テーマG：集団系のデータからモデルを推定する研究（海外研究者との共同研究）

今月は進捗はない。テーマBの投稿が完了し次第、共同研究者に改めて連絡を取り、本テーマを再開する予定である。

テーマH：大規模な数理モデルの制御可能性を評価する研究（国内研究者との共同研究）

共同研究者である国内の研究者の指導のもと、今月は論文執筆を急ピッチで進めて仕上げ、学術誌への投稿を行った。当初は制御分野の主要な学術誌への投稿を予定していたが、投稿翌日にEditor Rejectとの判断を受けたため、テーマAと同じ計算科学分野の学術誌へ投稿し直した。現在は査読結果を待っている状態である。

また、先月報告したもう1つのアイディアについても、国際会議への投稿が完了し次第、同氏とのやり取りを再開する予定である。

周辺のニュース

昨年、日本の所属先にインターンとして来ていた方から連絡があった。現在、博士課程1年生として取り組んでいる研究について、行き詰まりを感じているとのことであった。

そこでリモートで意見交換の場を設けた。同氏の取り組む内容は、私の力不足もあり理解が難しい部分もあったが、非常に優秀な方であり、テーマにも積極的に取り組まれている。一方で、ご自身の成果に対して求める水準がやや高いように感じられたため、理論を突き詰めるだけでなく、数値計算によって実用性を示すといった道もあるのではないか、と助言した。

また、同氏は現在、在籍する大学から海外の研究機関を訪問するための予算を確保しているとのことで、一度受入先へ研究の議論をしに来たいとの希望があった。受入先の指導教員に確認したところ、費用が先方の負担であれば問題ないとのことであったため、今年度中に当研究室を訪問される可能性がある。