M2 修士2年
井手 健吾(いで けんご)(Ide Kengo)
Research: ロボットモデル記述のためのUSDを拡張したファイルフォーマットの提案
塚本 一貴(つかもと かずき)(Tsukamoto Kazuki)
Research: AR技術を用いたUSDモデルに基づくグラフの拡張現実表示
吉山 裕朗(よしやま ひろあき)(Yoshiyama Hiroaki)
Research: 半正定値計画問題の近似最適解の精度保証付き多倍長演算を用いた検証に関する一考察
Piyavichayanon Chanapol
Research： Verification and Validation of Quadruped Robots Based on Model-Based Development with Virtual and Augmented Reality
M1 修士1年
葉山 雄太(はやま ゆうた)(Hayama Yuta)
Research: 有理数演算を用いた行列分解の高精度な計算手法に関する研究
広瀬 健和(ひろせ けんと)(Hirose Kento)
Research: 屋内用ロボットの妥当性確認を支援するWebアプリケーションの開発