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アプリケーションの開発
B4 学部4年
有田 祥吾(ありた しょうご)(Arita Shougo)
Research: 量子アルゴリズムHHLによるアッカーマンの極配置アルゴリズムの実装に関する研究
大野 弘晃(おおの ひろあき)(Ono Hiroaki)
川野 翔太朗(かわの しょうたろう)(Kawano Shotarou)
Research: 物理シミュレーションに基づくアニメーション付きロボットモデルの生成に関する研究
日野 佑輝(ひの ゆうき)(Hino Yuki)
Research: アスペクト指向に基づくコンポーネント検証用モデルの生成に関する研究