研究者
J-GLOBAL ID：200901081110899848   更新日: 2011年04月07日

古東 馨

コトウ カオル | Kotoh Kaoru
所属機関・部署：
旧所属 東京電機大学 理工学部 理学系

旧所属 東京電機大学 理工学部 理学系 について


職名： 教授
研究分野 (1件)： 情報学基礎論
研究キーワード (4件)： 離散数学 ,  計算言語理論 ,  Discrete Mathematics ,  Computational Language Theory
競争的資金等の研究課題 (4件)：
  • 離散数学用プログラムシステムの開発
  • 計算機プログラムの自動解析,検証
  • Program system for Discrete Mathematics
  • Program Analysis and Verification
MISC (3件)：
書籍 (2件)：
  • Textbook The Pascal
    Tokyo Denki University Press 1993
  • Pascalによるデ-タ構造
    東京電機大学出版局 1987
学歴 (4件)：
  • - 1972 東京電機大学 工学研究科 電気工学専攻
  • - 1972 東京電機大学
  • - 1964 東京電機大学 工学部 電気通信工学科
  • - 1964 東京電機大学
学位 (1件)：
  • 工学博士
所属学会 (5件)：
IEEE Software Society ,  ACM(Association for Computing Machinery) ,  日本ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM