加藤靖

カトウヤスシ | Kato Yasushi

ホームページURL (1件)： http://www.tsuruoka-nct.ac.jp

研究分野 (2件)：通信工学 , 知能情報学

研究キーワード (7件)： Semantic Web 技術 , オントロジー , エージェントシステム , プロトコル(通信規約)工学 , Agent System , Formal Description Technique , Protocol Engineering

競争的資金等の研究課題 (4件)：

2005 - オントロジーを利用した健康支援システムの構築
エージェント技術を利用した分散並行システムの設計支援
Ontorogy-based
Agent-Based Approach for Building Distributed Concurrent System Design Support System

MISC (70件)：

"Specification Method for Constrained Concurrent System and Its Support Tool". Proc. of the 1st Electrical Engineering/ Electronics, Computer, Telecommunications, and Information Technology. 2004. (ECTI 2004), pp. 65-68
"Composition of Service and Protocol Specifications in Asynchronous Communication System". IEICE Trans. INF. & SYST. 2004. VOL. E87-D, No. 10, pp. 2306-2317
"State Machine Specification with Reusability". IEICE Trans. Fundamentals. 2004. Vol. E87-A NO. 11 pp. 2885-2894
"Specification Method for Constrained Concurrent System and Its Support Tool". Proc. of the 1st Electrical Engineering/ Electronics, Computer, Telecommunications, and Information Technology. 2004. (ECTI 2004), pp. 65-68
"Composition of Service and Protocol Specifications in Asynchronous Communication System". IEICE Trans. INF. & SYST. 2004. VOL. E87-D, No. 10, pp. 2306-2317

書籍 (8件)：

On a Concurrency Calculus for Design of Mobile Telecommunication Systems
FORTE X/PSTV XII '97 Osaka 1997
レジスタと演算回路 (共著)
日刊工業新聞社 1994
Registers and Arithmetic Logic Unit
1994
情報数学
大韓教科書(株) 1993
Mathematics for Information Engineering
1993

Works (5件)：

学歴 (4件)：

学位 (1件)：

経歴 (1件)：

委員歴 (1件)：

受賞 (1件)：

所属学会 (4件)：

技術情報交流研究会 , 日本工学教育協会 , 情報処理学会 , 電子情報通信学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

加藤 靖