研究キーワード (7件):
公理系に基づく評価
, 設計対象の代数的表現
, 共有技術の開発
, 製品情報のモデル表現
, 設計生産プロセスの形式的な記述表現
, Development of Technique for Model Representation and sharing of Product Data
, Formal Representation of Design and Manufacturing Process
競争的資金等の研究課題 (6件):
2002 - 2007 設計対象の代数的仕様表現と公理系に基づいた評価
1999 - ヒストリ ベースパラメトリックモデルにおけるプログラムの等価性証明
遺伝子情報を内包した自己複製型人工生命
Extention of Data Exchage Specification STEP for Process Representation
Self Duplicatable Areificial Life containing Gene Information
Demonstration of Program Equivnlarce for History Base Parametric Model
全件表示
MISC (24件):
Algebraic Declaration and Axiom Based Validation for User Interface Design of IT Instrument. International Symposium on Communications and Information Technologies 2004 (ISCIT 2004). 2004
Survay Paper about Requirements for Data Communication betw en 3D CAD and Rapid Prototyping System. ATI/PDES, Inc. Technical Report. 1998
Implementation method about formal description lauguage for concurrent design and manufacturing activity. Proceeding of International Conference on Manufacturing Milestones toward the 21st Century, MM21. 1997