時制算術における時制の消去に関する一考察
スポンサーリンク
概要
著者
関連論文
- モジュール型ロボットの移動パターン自動生成に関する研究(機械力学,計測,自動制御)
- 変形し移動する自立モジュール型ロボット (M-TRAN)
- 2P1-3F-D3 モジュール型ロボットの進化的運動獲得に関する実験的研究
- 自己組立可能なモジュール型ロボットシステムに関する研究 : 複数ユニットによる変形・移動実験(機械力学,計測,自動制御)
- モジュール型ロボットの動作生成に関する研究:創発的手法の適用の試み
- 2A1-A05 モジュール型ロボットの運動生成に関する研究 : 進化的手法適用の検討
- 再構成可能なモジュール型ロボットシステムに関する研究
- 2P1-E2 モジュール型ロボットによる自己組立の動作計画(29. 自己組織ロボットシステム)
- SMAを用いたユニット型機械のマイクロ化
- 形状記憶合金を用いた小型ユニット機械の設計と制御
- ユニット型自己組立ロボットの開発
- 1A1-32-041 SMA を用いたマイクロ自己組み立て機械ユニット
- 自律分散機械による3次元形状の自己組み立てと自己修復
- SMAを用いた小型ユニット型機械による自己組み立て実験
- 形状記憶合金を用いた小型分散ユニット機械 -多数台の自己組立手法-
- 3次元機械ユニット群の自己修復手法
- 形状記憶合金を用いた小型分散ユニット機械の設計
- 3次元分散型ユニット機械の自己組立
- 分散型ユニット機械による立体構造の生成
- 均質構造をもつロボット群による分散的形態生成
- 分散機械システムの設計(第6報) : 3次元自在結合システム
- センサフレンドリーな車間距離計測
- ビジョンをもつ自律車両におけるラテラル制御に対する視野の影響
- マシンビジョンを用いた車両のプレビューラテラル制御の評価
- 参照線追従と障害物回避のための自律車両のビジュアルナビゲーション
- 分岐・合流を含む参照線に沿った自律車両のラテラル制御
- マシンビジョンによるインテリジェントビークルのプレビューラテラル制御
- プログラムにおける実時間問題のν-転換による解析と動作条件
- 時制算術における時制の消去に関する一考察
- モジュール型ロボットM-TRANの分散型制御システムと変形実験
- グラフオートマタ : システム生成過程の記述法
- 双対グラフオートマトンについて
- 5C-6 ヒューマンファクターを包含する記号論理体系に基づく実時間知的システムの分析(複雑系,一般セッション,人工知能と認知科学)
- 知性と感性の情報学的討究(6)ヒューマンファクターを包含する記号論理体系に基づく信楽列車事故の分析
- 知性と感性の情報学的討究V : 時制に依存する命題の事例化規則とサウンドネス(佐藤照子先生追悼号)
- 知性と感性の情報学的討究(4)人工知能論における協調系の数理的表現について
- 知性と感性の情報学的討究III : @-calculusに基づく協調システムの検証例-アンサンブル・プログラム
- 知性と感性の情報学的討究II : 時制数論体系@-calculusの基礎分析
- プログラム言語BQLとその処理系
- センサフレンドリーな車間距離計測
- 機械の自己組立てと自己修復
- 有理Presburger算術の決定性について
- 知的走行系のプログラム理論的研究
- 協調走行する車いすの研究開発 : 基礎システムの構築と走行形態の検討(ポスター,一般,ポスター講演)
- 分散機械システムの設計(第五報) : 大規模構造体の階層的構成