研究者
J-GLOBAL ID：200901022376756604   更新日: 2022年09月06日

髙橋 和子

タカハシ カズコ | Takahashi Kazuko
所属機関・部署：
関西学院大学 理工学部 情報科学科 理工学部 情報科学科

関西学院大学 理工学部 情報科学科 理工学部 情報科学科 について


職名： 助教授
研究分野 (1件)： 知能情報学
研究キーワード (8件)： プログラム検証 ,  様相論理 ,  知識情報処理 ,  計算機科学 ,  Program Verification ,  Modal Logic ,  Knowledge Information Processing ,  Computer Science
競争的資金等の研究課題 (5件)：
  • 2002 - ボードゲームBAOの解析と振る舞いに関する研究
  • 2002 - 空間情報の取扱いに関する研究
  • 2000 - エージェントの振る舞いの検証に関する研究
  • Study on the Verification of Agents' Behaviors
  • Study on Spatio-Temporal Reasoning
MISC (165件)：
もっと見る
書籍 (2件)：
  • 知識プログラミング(共著)
    共立出版 1988
  • Knowledge Programming(共著)
    Kyoritsu 1988
Works (1件)：
  • セキュリティを考慮したマルチエージェントの振る舞いの検証に関する時空間論理の研究
    2002 -
学歴 (2件)：
  • - 1982 京都大学 理学部 数学系
  • - 1982 京都大学
学位 (1件)：
  • 京都大学博士(工学) (京都大学)
経歴 (14件)：
  • 1999 - 2000 三菱電機株式会社産業システム研究所 主事
  • 1999 - 2000 Industrial Electronics and Systems Laboratory, Mitsubishi
  • 1997 - 2000 立命館大学 非常勤講師
  • 1997 - 2000 立命館大学
  • 2000 - 神戸大学 非常勤講師
全件表示
受賞 (1件)：
  • 1997 - 1997年度情報処理学会山下記念研究賞
所属学会 (4件)：
人工知能学会 ,  日本ソフトウェア科学会 ,  電子情報通信学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM