Kazuko TAKAHASHI (ja)

高橋　和子

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

Last Updated on November 6, 2024. Kazuko TAKAHASHI