研究者
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件):
成長モデルとしてのセル・オ-トマタ空間上のBury Beaver問題. 電子通信学会論文誌. 1986. J69-D. 5
単射関数に制限された一次元テセレ-ションオ-トマトンの不完全性. 電子通信学会論文誌. 1980. 63-D. 6
Fuzzy集合によるパタ-ンクラスの記述について. 電子通信学会論文誌. 1973. 56-D. 5
書籍 (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