（学歴）

1979年6月　英国マンチェスター大学工学部電気通信学科卒業
1985年3月　東北大学大学院工学研究科（修士）情報工学専攻修了
1988年3月　東北大学大学院工学研究科（博士）情報工学専攻修了

（略歴）

1989年3月 東北大学大型計算機センター助手
1990年3月 東京大学先端科学技術研究センター惜報化学寄付研究部門助教授
1991年3月 カナダのモントリオール大学理学部情報及びオペレーションリサ　

ーチ学科助教授
1996年4月 東北芸術工科大学デザイン工学部教授
1998年4月 岩手県立大学ソフトウェア情報学部教授
2000年4月 岩手県立大学院大学ソフトウェア情報研究科教授

（学位）

工学博士、1988年３月、東北大学

（主な専門分野）

新しいソフトウェア開発手法、分散人工知能開発、システムモデリングと開発、知的ソフトウェア、認知支援開発等

（研究課題）

・  ・     カテナ株式会社主催者：新しいソフツエェア開発手法及びLEGACYシステムに関して国際共同研

・  ・    岩手振興財団主催： 宮沢賢治認知モデルを基にした物語データベースによる知的互作用システム

・  ・    （日本学術振興会主催）：ソフトウェアセキュリティー及びメンテナンスとプロセス代数を用いた形式的表現

（主な担当科目）

知能システム学、専門英語Ｉ．ＩＩ、知能システム特論

（主な業績）

・  Guest Editor: Special issue on ‘‘Intelligent Formal Techniques for Software Design:IFSTD’’ International Journal on Knowledge-Based Systems, Elsevier , Volume 23, Issue 7, (October 2010)

・  Chapter XI: New Software Methodologies and Techniques for Business Models with Evolutionary Aspects  In “Information Systems Engineering: From Data Analysis to Process Networks; “ May 2008, IGI Publishing  ISBN: 978-1-59904-567-2

・  Guest Editor: Special issue on ‘‘Intelligent Software Design’’   International Journal on Knowledge-Based Systems, Elsevier , Volume 22, Issue 3, Pages 129-246 (April 2008)

・ Cognitive Reasoning and Recognition for Intelligent Human Interaction based on Mental Cloning 8th WSEAS International Conference on ARTIFICIAL INTELLIGENCE, KNOWLEDGE ENGINEERING and DATA BASES (AIKED'09),

・  Guest Editor: Special issue on ‘‘Techniques to produce Intelligent_Secure software’’   International Journal on Knowledge-Based Systems, Elsevier , Volume 20, Issue 7, Pages 607-694 (October 2007)

・  Toward a new software development environment, International Journal on Knowledge-Based Systems, Elsevier  Volume 20, Issue 7, Pages 683-693 (October 2007)

・“A Recognition based Style for Miyzawa-Kenji Virtual model”,VIPSI - 2007 SLOVENIA, ISBN 86-7466-117-3, 2007

・ ”Virtual Human Interaction based on Emotional Cognition”, Innovations 07, IEEE Computer Society, publication,2007

・   ”A Recognition based Style for Miyzawa-Kenji Virtual model”, 3rd International Conference Computer Aided Architectural Design, ASCAAD 2007, British Academy.

・  Cognitive Modeling in Software and Relation to Human Emotional Reasoning”, The

7th WSEAS International Conference on APPLIED COMPUTER SCIENCE, 2007

・   ”An Exploration toward Automatic Facial Expression Analysis for Intelligent HCI Systems”, The 7th WSEAS International Conference on APPLIED COMPUTER SCIENCE, 2007     

・  Facial Expression Recognition and Synthesis for Virtual Miyazawa Kenji System”, WSEAS Transactions on Circuits and Systems, issue 3, vol.6, pp. 288-295, March 2007

・  A Recognition based Style for Miyazawa-Kenji Virtual Model”, WSEAS Transactions  on Circuits and Systems, issue 3, vol.6, April 2007

・  A Framework of a Speech Communication System with Emotion Processing, WSEAS Transactions on Circuits and Systems, issue 3, vol.6, April 2007

・  ‘‘Toward a new software development environment ’’International Journal on Knowledge-Based Systems, Elsevier in press 2007

・  ”Virtual Cognitive model for Miyzawa Kenji based on Speech and Facial Images recognition”, WSEAS Transactions on Circuits and Systems, issue 10, vol.5, pp. 1536-1543, October 2006

・  Implementing Lyee–Calculus in Java, International Journal on Knowledge-Based Systems, Elsevier, Volume 19, issue 2, pp.116-129, June 2006

・  Process Algebra to Formalize the Lyee Methodology, International Journal on Knowledge-Based Systems, Elsevier, Volume17, issue 7~8. Pages 263-281, December 2004．

・  Static Analysis of Lyee Requirements for Legacy System Software, Transaction on Internet Research, Volume 1 number 1, pp.3~11. November 2004.

・  New Trends in Software Methodologies Tools and Techniques, IV Frontiers in Artificial Intelligence and Application, Volume VIII, (IOS press) ISBN 978-1-60750-049-0 (IOS Press), 著書2009年10月

・  New Trends in Software Methodologies Tools and Techniques, IV Frontiers in Artificial Intelligence and Application, Volume VII, (IOS press) ISBN 1-58603-916-5 (IOS Press), 著書2008年11月

・  New Trends in Software Methodologies Tools and Techniques, IV Frontiers in Artificial Intelligence and Application, Volume VI, (IOS press) ISBN 1-58603-794-9 (IOS Press), 著書2007年10月

・  New Trends in Software Methodologies Tools and Techniques, IV Frontiers in Artificial Intelligence and Application, Volume V, (IOS press) ISBN 1-58603-673-4 (IOS Press), 著書2006年10月

・  New Trends in Software Methodologies Tools and Techniques, IV Frontiers in Artificial Intelligence and Application, Volume 1V, (IOS press) ISBN 1-58603-556-8 (IOS Press), 著書2005年9月

・   New Trends in Software Methodologies Tools and Techniques, III Frontiers in Artificial Intelligence and Application, Volume 111, (IOS press) ISBN 1-58603-455-3 (IOS Press), 著書2004年9月

・  Static analysis of Lyee requirements, International Journal on Knowledge-Based Systems, Elsevier, Volume 16, Issues 7-8, pp361-382, November 2003.

・  Mathematical structure model for Word-Based Program, International Journal on Knowledge-Based Systems, Elsevier, Volume 16, Issues 7-8, pp339-411, November 2003年11月

・  New Trends in Software Methodologies Tools and Techniques, II, Frontiers in Artificial Intelligence and Application, Volume 98, (IOS Press), 著書ISBN 1-58603-374-3, 2003年9月

・  Mathematical Model for Word-Based Software Development, IPSI-2003, International Conference on Advances in Internet, Processing, Systems, and Interdisciplinary Research, Montenegro, IBSN: 88-85280-62-5 (Best Content Paper Reward), 2003年

・  On new Trends in Software methodologies, IFIP WG2.4 ” Software Implementation Technology” November 2002, Schloss Dagstuhl, Germany

・  New Trends in Software Methodologies Tools and Techniques I, Frontiers in Artificial Intelligence and Application, Volume 84, (IOS Press), 著書2002年9月, ISBN 1-58603-288-2

・  Toward new software development, methodologies, and techniques, World Multi-Conferences on Systematics, Cybernetics and Informatics (SCI 2002), and Information Systems Analysis and Synthesis, SCI2002, Orlando, USA.

・  Pattern-based refinement schemas for design knowledge transfer. Knowledge-Based Systems, Elsevier, Vol.13, issue 6: pp.403-415 (2000)pdf

教育業績

・  ・     知能システム演習ＡＢＣユーザ認識により知的支援実践の演習実施、

・  ・     学界入門のアジヤのＩＴ技術について討論発表実験など

学会・社会活動

・  Editor in Chief: International Journal Knowledge-Based Systems, Elsevier

・  SOMET_10 (9^th International Conference on New Software Methodologies Tools and Techniques,) Program Chair

・  SOMET_09 (8^th International Conference on New Software Methodologies Tools and Techniques,)  Program Chair

・  SOMET_08 (7^th International Conference on New Software Methodologies Tools and Techniques,)  Program Chair

・  SOMET_07 (6^th International Conference on New Software Methodologies Tools and Techniques,)  Program Chair

・  SOMET_06 (5^th International Conference on New Software Methodologies Tools and Techniques,)  Program Chair

・    SOMET_05 (4^th International Conference on New Software Methodologies Tools and Techniques,)  Program Chair

・  SOMET_04 (3^rd International Conference on New Software Methodologies

Tools and Techniques,) Leipzig, Germany( Program Chair )

・  SOMET_03 (2^nd International Conference on New Software Methodologies

Tools and Techniques,) Stockholm, Sweden( Program Chair )

・  SOMET_02 (2^nd International Conference on New Software Methodologies Tools and Techniques,) Stockholm, Sweden( Program Chair )

・  Guest Editor 特集 Intention and Software Process of Volume 16, Issues 7-8, Pages 339-456 (November 2003)

・  Guest Editor  編集者（Co-editor）Volume 17, Issues 7-8, Pages 237-318 (December 2004)  Special  issue 特集on Legacy systems and software change

・  Guest Editor  編集者（Co-editor）Volume 19, issue(2),(June 2006)  Special  issue 特集on Software Design

・   日本学術振興会、特定国派遣研究者： (平成１７年度カナダ)pp.8

・  （スウェーデン）ストックホルム大学コンピュータ学科（ＫＴＨ）主催DOCTOR(博士論)論文審査員(対抗教授役割招待)「Love EKENBERG教授主研究指導」

・  カナダ、(LAVAL)ラヴァール大学,情報工学研究科教授 (大学関連研究指導業務)、２００２～２００６

・  カナダ国研究の共同研究者Department of Linguistics, University Quebec at Montreal (UQAM), Montreal, Canada, SSHRC (Social Sciences and Humanities Research Council of Canada)主催

・  カテナ株式会社発表活動（ＬＹＥＥ開発事業について）会談インタビュー等

・    三技協株式会社委託共同研究事業（Cyber Manual）E-Koji等

・  運営委員会IPSI BgD(Transaction on Advance Research)

（講演テーマ等）

・  ・  Oregon State University, Corvallis, USA, Department of Computer Science客員教授arranged By Prof. Gregg Rothermel and Prof. Margaret BURNETT

・  ・    フランス、パリ第一大学（ソルボンヌ）、コンピュータ学科客員教授　France, University of Paris-1, Sorbonne, Department of Informatique客員教授Also member of Centre de Recherche en Informatique of University of Paris_1 till

・  ・    （スウェーデン）ストックホルム大学コンピュータ学科客員教授（スウェーデン）KTH (Royal Institute of Technology), Stockholm, 客員教授 organized By Paul JOHANNESSON教授 、さらにMember SYSLAB is conducting research within the areas of Information Systems, Databases, Enterprise Modeling, Requirements Engineering, and Software Engineering

・  ・    （オーストラリア）シドニー工業大学, ソフトウェア工学部客員教授、Cognitive Studio, . 同時にシドニー大学, Key Center of Design, Computing and Cognition客員教授(2006)

・  ・    ウィーン技術大学、ウィーン、オーストリア、コンピュータ言語研究所特別講演、主催：by Prof. Knoop (2004)

American Biographical Institute(ABI)の信託委員会M&D（素晴らしい著名な科学者）の名誉と特権を授与し名誉協会員（F.A.B.J.）、1999

過去１年間の業績の概要

平成１６年度の活動は、主なは国際共同研究でした、シドニー工業大学共同研究（認知モデルによりユーザ認識を解析し、ユーザの意等をコンピュータのinterfaceを一部処理設計し、ＳＯＭＥＴの国際会議の実施、１１人講座の卒論の調査等

（メッセージ）

東北及び岩手の地域の文化及び芸術興味深いです。新しいソフトウェア開発手法に関して岩手県が益々国際的発展に関して協力しております。宮沢賢治の哲学岩手の基盤と思いながら新しい岩手と国際化頑張っています。