スポンサーリンク
九州工業大学情報工学研究院 | 論文
- LESを用いた2次元および3次元エッジトーンの数値解析
- 知識ベースシステムに基づいたLSIテスト不良原因解析について
- 宇宙マニピュレータテストベッドSMART-IIによる手先軌道適応制御実験
- H32 段差乗り越え時におけるクローラ台車の最適操作手順に関する一考察(H3 機械力学(システム制御の支援))
- マインドストームを用いた英会話教具ロボットの試作と検討(メカトロニクスと遊ぶ)
- フレキシブルアームの仮想受動関節モデルに基づく制御系の一設計法(機械力学,計測,自動制御)
- 705 機台振動系に対する簡単化ディジタル制御(制御・ロボティクス・メカトロニクスI)
- フレキシブルアームの簡単化ディジタル制御
- 屋外サービスロボットの開発 (第11回知能メカトロニクスワークショップ講演論文集) -- (ロボット)
- 複数台の宇宙ロボットによる浮遊物体の制御
- 人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
- 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
- Pre-Checkingに基づく効率的スキーママッチングアルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
- Pre-checkingを用いた効率的2階述語マッチングアルゴリズム (計算理論とアルゴリズムの新展開)
- スキーママッチングを用いたLK類推証明システムの開発
- スキーママッチングとその計算量
- スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)
- スキーママッチングの計算の複雑さ
- 古典的証明に基づく関数型言語の構築
- 水中マニピュレータの適応形予測制御