Rchr
J-GLOBAL ID：200901022376756604   Update date: Sep. 06, 2022

Takahashi Kazuko

タカハシ カズコ | Takahashi Kazuko
Affiliation and department：
Kwansei Gakuin University School of Science and Technology, Department of Informatics

About Kwansei Gakuin University School of Science and Technology, Department of Informatics


Job title： Associate Professor
Research field  (1)： Intelligent informatics
Research keywords  (8)： プログラム検証 ,  様相論理 ,  知識情報処理 ,  計算機科学 ,  Program Verification ,  Modal Logic ,  Knowledge Information Processing ,  Computer Science
Research theme for competitive and other funds  (5)：
  • 2002 - ボードゲームBAOの解析と振る舞いに関する研究
  • 2002 - 空間情報の取扱いに関する研究
  • 2000 - エージェントの振る舞いの検証に関する研究
  • Study on the Verification of Agents' Behaviors
  • Study on Spatio-Temporal Reasoning
MISC (165)：
ｍore...
Books (2)：
  • 知識プログラミング(共著)
    共立出版 1988
  • Knowledge Programming(共著)
    Kyoritsu 1988
Works (1)：
  • セキュリティを考慮したマルチエージェントの振る舞いの検証に関する時空間論理の研究
    2002 -
Education (2)：
  • - 1982 Kyoto University Faculty of Science
  • - 1982 Kyoto University Faculty of Science
Professional career (1)：
  • (BLANK) (Kyoto University)
Work history (14)：
  • 1999 - 2000 三菱電機株式会社産業システム研究所 主事
  • 1999 - 2000 Industrial Electronics and Systems Laboratory, Mitsubishi
  • 1997 - 2000 Ritsumeikan University
  • 1997 - 2000 Ritsumeikan University, Lecturer
  • 2000 - Kobe University
Show all
Awards (1)：
  • 1997 - 1997年度情報処理学会山下記念研究賞
Association Membership(s) (4)：
人工知能学会 ,  日本ソフトウェア科学会 ,  電子情報通信学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM