Rchr
J-GLOBAL ID:200901081110899848   Update date: Apr. 07, 2011

Kotoh Kaoru

コトウ カオル | Kotoh Kaoru
Affiliation and department:
Research field  (1): Information theory
Research keywords  (4): 離散数学 ,  計算言語理論 ,  Discrete Mathematics ,  Computational Language Theory
Research theme for competitive and other funds  (4):
  • 離散数学用プログラムシステムの開発
  • 計算機プログラムの自動解析,検証
  • Program system for Discrete Mathematics
  • Program Analysis and Verification
MISC (3):
Books (2):
  • Textbook The Pascal
    Tokyo Denki University Press 1993
  • Pascalによるデ-タ構造
    東京電機大学出版局 1987
Education (4):
  • - 1972 Tokyo Denki University
  • - 1972 Tokyo Denki University
  • - 1964 Tokyo Denki University
  • - 1964 Tokyo Denki University
Professional career (1):
  • (BLANK)
Association Membership(s) (5):
IEEE Software Society ,  ACM(Association for Computing Machinery) ,  日本ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page