菊地 慶仁

Algebraic Declaration and Axiom Based Validation for User Interface Design of IT Instrument 

International Symposium on Communications and Information Technologies 2004 (ISCIT 2004) 2004年  

ユーザインタフェース挙動仕様の代数的表現と検証 

ヒューマンインタフェースシンポジウム2004 2004年  

ラピッドプロトタイピング用データモデルの構築 

精密工学会平成11年度北海道支部会講演論文集 1999年  

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年  

Actual concurrent process model to deal with historical information 

Proceeding of 8th International Conference on Production Engineering 1997年  

3次元DCTによるVoxelデータの圧縮 -3次元データ圧縮実験- 

北海学園大学工学部研究報告 1996年  

設計生産情報モデルの記述と表現に関する研究(第2報)設計生産活動の統合モデル 

精密工学会誌 62(3) 361-365 1996年  

Voxel Data Compression utilizing 3-D DCT -Expearence of 3D Data Compression- 

1996年  

A Stydy for Representation and Application about Design and Manufacturing Informtion Model (3rd Report)Formalization of Computer Aided Application System 

Journal of Precision Engineering 62(9) 1277-1281 1996年  

Message Modeling Architecture for Design Process Representation 

Proceeding of 8th International Conference in Engineering Design 1995年  

Hierarchal Process Model for Concurrent Activity 

Concurrent Engineering Research and Applications 3(1) 55 1995年  

Hierarchical Process Model for Concurrent Activity 

Proceeding of 10th International Conference on Production/Precision Engineering 1994年  

形式的データ仕様記述言語 EXPRESS 

精密工学会誌 59(12) 19-24 1993年  

A Study for Modeling and Representation of Information about Design and Manufacturing 

7th International Conference in Engineeing Design 1993年  

High Quality Voxel Data Representation Utilizing Three Dimentional DCT 

21 1993年