Inagaki, Yasuyoshi, 1939-
稲垣, 康善, 1939-
稲垣, 康善
稲垣康善 日本の情報工学者
VIAF ID: 75199865 (Personal)
Permalink: http://viaf.org/viaf/75199865
Preferred Forms
- 100 1 _ ‡a Inagaki, Yasuyoshi ‡d 1939-
- 100 1 _ ‡a Inagaki, Yasuyoshi, ‡d 1939-
- 100 1 _ ‡a 稲垣, 康善
- 100 1 _ ‡a 稲垣, 康善, ‡d 1939-
- 100 0 _ ‡a 稲垣康善 ‡c 日本の情報工学者
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Keisan no riron nyūmon | |
Kenkyūsha sōran, shizen, 1979: | |
Komyunikēshon to konpyutīshon | |
Ōtomaton, keishiki gengo riron to keisanron, 1982 (a.e.) | |
Ronri kairo to ōtomaton | |
オープンソフトウェアの形式モデルと検証技法に関する基礎的研究 | |
コミュニケーションとコンピュテーション | |
セル構造に基づく高度並列情報処理システムに関する総合的研究 | |
プログラミング言語の形式的意味記述とそのコンパイラ自動生成への応用 = A formal specification method of programming languages and its application to compiler-compiler | |
マルチモーダルインタフェースの形式的仕様記述とその検証に関する研究 | |
書換え計算の可視化に基づくプログラミング環境の実現 | |
代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究 | |
代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究 | |
情報科学コアカリキュラム講座 | |
推論と知識情報処理の論理に関する文献集 : 資料 | |
計算の理論入門 | |
論理回路とオートマトン | |
超高速ネットワーク環境におけるソフトウェア分散協調開発に関する基礎的研究 | |
音声言語の発話同時理解に基づくマルチモーダルインターフェースに関する研究 |