機械学習を用いた2足歩行制御や精度保証付き数値計算法に関する研究を行っています。