髙橋 和子

J-GLOBALへ         更新日: 09/11/10 00:00
 
アバター
研究者氏名
髙橋 和子
 
タカハシ カズコ
所属
関西学院大学
部署
理工学部 情報科学科 理工学部 情報科学科
職名
助教授
学位
京都大学博士(工学)(京都大学)

研究分野

 
 

経歴

 
1982年
 - 
1997年
三菱電機株式会社中央研究所 研究員
 
1997年
 - 
1999年
国際電気通信基礎技術研究所 音声翻訳通信研究所 研究員
 
1997年
 - 
2000年
立命館大学 非常勤講師
 
1999年
 - 
2000年
三菱電機株式会社産業システム研究所 主事
 
2000年
   
 
- 関西学院大学 助教授
 

学歴

 
 
 - 
1982年
京都大学 理学部 数学系
 

受賞

 
1997年
1997年度情報処理学会山下記念研究賞
 

Misc

 
Description and Reasoning of VLSI Circuit in Temporal Logic(共著)
New Generation Computing   Vol.2,No.1,pp.79-90    1984年
On A Mechanical Reasoning about Causal Relations(共著)
Artificial Intelligence in Engineering   Vol.1,No.1,pp.15-22    1986年
A Description and Reasoning of Plant Controllers in Temporal Logic(共著)
The Journal for the Integrated Study of Artificial Intelligence, Cognitive Sciences and Applied Epstimology   Vol.3,No.1-2,pp.103-120    1986年
On Parallel Programming Methodology in GHC - Experience in Programming of A Proof Procedure of Temporal Logic - (共著)
LNCS-264, Logic Programming 86   pp.92-103    1986年
限定記号を含まない時制論理の反ばく手法について(共著)
電子情報通信学会論文誌   J73-D-(]G0001[)(12) 913-923   1990年

書籍等出版物

 
知識プログラミング(共著)
共立出版   1988年   

Works

 
セキュリティを考慮したマルチエージェントの振る舞いの検証に関する時空間論理の研究
2002年

競争的資金等の研究課題

 
空間情報の取扱いに関する研究
科学研究費補助金
研究期間: 2002年   
エージェントの振る舞いの検証に関する研究
その他の研究制度
研究期間: 2000年   
ボードゲームBAOの解析と振る舞いに関する研究
その他の研究制度
研究期間: 2002年