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 Graduate School of Engineering
- - 1972 Tokyo Denki University Graduate School, Division of Engineering
- - 1964 Tokyo Denki University School of Engineering
- - 1964 Tokyo Denki University Faculty of Engineering
Professional career (1):
Association Membership(s) (5):
IEEE Software Society
, ACM(Association for Computing Machinery)
, 日本ソフトウェア科学会
, 情報処理学会
, 電子情報通信学会
Return to Previous Page