高橋 和子
English
研究
論理をベースとした知識表現,特に時空間推論に関するもの,およびシステムの形式化に興味をもつ.
現在の研究テーマ
定性空間推論とその形式化
議論システム
システム検証技術
過去の研究テーマ
ゲームプログラミング
マルチエージェントシステム
対話システム
並行論理プログラミング
時相論理
論文リスト
研究室
学部生向け研究室案内
修士論文テーマ
担当科目
数理論理学
知識情報処理
知識情報処理実習
領域実習B
プログラミング実習I
略歴
1982年京都大学理学部卒. 同年三菱電機株式会社入社. 同社中央研究所,先端技術総合研究所,産業システム研究所を経て 2000年4月関西学院大学理学部(2002年理工学部に改組)助教授. 2006年4月関西学院大学理工学部教授. 京都大学博士(工学). 1997年から1999年ATR音声翻訳通信研究所研究員. 2016年4月から2017年3月ブレーメン大学客員研究員.
連絡先
EMail address: ktaka 'at' kwansei 'dot' ac 'dot' jp
オフィスアワー: 月曜 16:50-18:20
|
Home
|
Dept. of Informatics
|
School of Science & Technology
|
Kwansei Gakuin Univ.
|
Last Updated on December 11, 2020. Kazuko TAKAHASHI