Systemsを訪問しました。Numericsグループの金川元信氏のもとでお世話になりました。Hennig氏のもと研究を進めています。機械学習でよく使われるカーネル法やガウス過程を用いて数値積分の問題を考察することで、最適な積分公式の導出や計算値の誤差の見積もりを統一的な視点から取り扱うことが可能になります。解法などを、未知の量をデータから推定する問題と見なしてベイズ統計学を用いて定式化することで、既存のアルゴリズムの再解釈や改良について研究されています。滞在中にはセミナー発表する機会もいただき、微分方程式モデルの推定に関して最近取り組んでいる研究についてさまざまなコメントをいただきました。応用例の1つとして、神経電位の数理モデルであるFitzHugh-南雲方程式のパラメータ推定が考えられます。Systemsにはロボット制御や3次元画像処理の研究グループもあり、研究所の庭にいた草刈りロボットが面白かったです。Instituteもあり、こちらでは脳イメージングや計算神経科学の研究が行われているそうです。