高橋 和子
English
研究
論理をベースとした知識表現，特に時空間推論に関するもの，およびシステムの形式化に興味をもつ．
現在の研究テーマ
定性空間推論とその形式化
システム検証技術
議論システム
過去の研究テーマ
ゲームプログラミング
マルチエージェントシステム
対話システム
並行論理プログラミング
時相論理
論文リスト
研究室
学部生向け研究室案内
[2024年12月6日 アクセスの不備を修正し今年度の研究室紹介が視聴できるようにしました]
修士論文テーマ
研究室 Wiki [研究室メンバー限定]
担当科目
数理論理学
知識情報処理
知識情報処理実習
知識情報処理実習
知識情報処理特論(大学院)
領域実習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 April 3, 2025. Kazuko TAKAHASHI