研究者情報
TOPページ
研究概要
メールアドレス
所属学会
著書・論文・作品
ホームページ
(最終更新日:2022-09-29 07:04:33)
タカギ トオル
Toru Takagi
髙木 徹
所属
千葉工業大学 未来変革科学部 デジタル変革科学科
千葉工業大学 社会システム科学研究科 マネジメント工学専攻
職種
助教
■
研究概要
世界共通の言葉である数学を使いながら、自然現象や社会の中で見られる現象をシステムとして捉える研究を行っている。まず、システムとして捉えた対象をコンピュータが理解できるようにモデル化。そうすることでコンピュータ上でシミュレーションが可能となり、対象の性質や構造、振る舞いを確かめていくのである。またゲーム理論や人工知能言語を利用した自動証明、細胞活動の構造化なども対象となる。
■
メールアドレス
■
所属学会
1.
GENIe(Global Problematique Education Network Initiative)
2.
システムデザイン学会
3.
経営情報学会
4.
経営情報学会第4世代システム開発研究部会
5.
情報システム学会
■
著書・論文・作品
1.
論文
Model Theory Approach to Development of an Intelligent Information Systems (単著) 2007/08
2.
論文
Z言語とモデル理論ベースの情報システム開発方法論の仕様記述の比較 2005年秋季経営情報学会全国研究発表大会予稿集 290-293頁 (単著) 2005/11
3.
論文
A Design and Implementation of a Intelligent Development Methodology (単著) 2005/08
4.
論文
モデル理論に基づくシステム開発方法論 経営情報学会誌 14(2),1-18頁 (共著) 2005/05
5.
論文
モデル理論を基礎としたData Processing Systemの設計 2004年秋季経営情報学会全国研究発表大会予稿集 188-191頁 (単著) 2004/11
6.
論文
形式的アプローチに対するZ言語の位置付け 2004年春季経営情報学会全国研究発表大会予稿集 172-175頁 (単著) 2004/06
7.
論文
高度情報処理を行うための集合論 2003年秋季経営情報学会全国研究発表大会予稿集 122-125頁 (単著) 2003/11
8.
論文
A Design and Implementation of OODB for EUD by Prolog Journal of Japan Society of Management Information 11(1),69-89頁 (共著) 2002/03
9.
論文
Prologをベース言語とするエンドユーザ開発のためのオブジェクト指向データベースの設計と実現 経営情報学会誌 11(1),69-89頁 (共著) 2002/03
10.
論文
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/08
11.
論文
論文名空白 688-695頁 (共著) 2000/08
12.
論文
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
13.
論文
オブジェクト指向Prolog-DBにおけるSQL機能の実現 経営情報学会誌 8(3),55-70頁 (共著) 1999/10
14.
論文
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
15.
論文
古紙取り扱いシステムに関する数理的分析 千葉工業大学研究報告理工編 46,93-103頁 (共著) 1998/09
16.
論文
古紙取り扱いシステムに関する数理的分析 46,93-103頁 (共著) 1998/09
17.
論文
A Decision Support System for Global Issue Proceedings of The 3rd UNESCO International Institute for Global-problematique Education Network Initiative 111-128頁 (共著) 1998/04
5件表示
全件表示(17件)
■
ホームページ
Takagi Laboratory