研究者
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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る