髙木 徹

Model Theory Approach to Development of an Intelligent Information Systems 

2007年8月  

Z言語とモデル理論ベースの情報システム開発方法論の仕様記述の比較 

2005年秋季経営情報学会全国研究発表大会予稿集 290-293 2005年11月  

A Design and Implementation of a Intelligent Development Methodology 

2005年8月  

モデル理論に基づくシステム開発方法論 

経営情報学会誌 14(2) 1-18 2005年5月  

モデル理論を基礎としたData Processing Systemの設計 

2004年秋季経営情報学会全国研究発表大会予稿集 188-191 2004年11月  

形式的アプローチに対するZ言語の位置付け 

2004年春季経営情報学会全国研究発表大会予稿集 172-175 2004年6月  

高度情報処理を行うための集合論 

2003年秋季経営情報学会全国研究発表大会予稿集 122-125 2003年11月  

Prologをベース言語とするエンドユーザ開発のためのオブジェクト指向データベースの設計と実現 

経営情報学会誌 11(1) 69-89 2002年3月  

A Design and Implementation of OODB for EUD by Prolog 

Journal of Japan Society of Management Information 11(1) 69-89 2002年3月  

論文名空白 

688-695 2000年8月  

An Implementation of MRP in a 4th Generation Development Tool 

International Journal of The World Computer Congress-International Conference on Information Technology 688-695 2000年8月  

オブジェクト指向Prolog-DBにおけるSQL機能の実現 

経営情報学会誌 8(3) 55-70 1999年10月  

An Implementation of the SQL Functions for an Object Oriented Data Base 

Journal of Japan Society of Management Information 8(3) 55-70 1999年10月  

A Design and Implementation of a Decision Support System for Japanese Scenarios 

Proceedings of The 4th UNESCO International Institute for Global-problematique Education Network Initiative 57-72 1998年12月  

古紙取り扱いシステムに関する数理的分析 

46 93-103 1998年9月  

古紙取り扱いシステムに関する数理的分析 

千葉工業大学研究報告理工編 46 93-103 1998年9月  

A Decision Support System for Global Issue 

Proceedings of The 3rd UNESCO International Institute for Global-problematique Education Network Initiative 111-128 1998年4月