スポンサーリンク
東芝 研開セ | 論文
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 会話によるプログラミング : 動的並列オブジェクト指向言語の提案
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 時制論理に基づく仕様記述とそのデバッグ環境
- 知的プログラミングシステム (AI技術)
- 並列プログラムの知的プログラミング支援システムMENDELS(3) : 時制論理からの同期部の自動生成
- 並列プログラムの知的プログラミング支援システムMENDELS(2) : 部品再利用による本体部の生成
- 並列プログラムの知的プログラミング支援システムMENDELS(1) : システム構成
- 知識情報共有システム(KIDS)のヘルプデスク業務への適用
- 超磁歪アクチュエータに関する研究 : 大出力・超精密位置決め装置の開発
- 超磁歪合金とその音響素子への応用
- 超磁歪アクチュエータに関する研究(第1報) : 超磁歪材料RFey(R=Tb, Dy)のアクチュエータとしての性能
- 磁界で伸縮する新しい超磁歪材料
- 2P1-J2 センサ情報に基づくITERブランケットモジュール交換 : 第2報 モジュール着脱におけるセンシングと作業戦略(10. 核融合炉システムにおけるロボット技術)
- 27a-ZK-8 Sr_v_nO_系における^V核のNMR
- ビーチボールをするロボットと今後のロボット視覚
- 事例紹介 ロボットらしく動くためのビジュアルフィードバックへの期待 (ミニ特集 ビジュアルサーボイング)
- 東芝のビーチバレーボールロボット : 人と共存するロボットを目指して (ロボット工学の新しい展開を探る特集号)