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)
, 日本ソフトウェア科学会
, 情報処理学会
, 電子情報通信学会
