その他

基本情報

氏名 久保 誠
氏名(カナ) クボ マコト
氏名(英語) KUBO, Makoto
所属 商経学部
職名 教授
researchmap研究者コード
researchmap機関

翻訳書、学会発表、講演、作品等の名称

An Interaction-Based language and Its typing system

単・共の別

共著

発行又は発表の年月

199407

発表学会等の名称

Proceedings of Parallel Architectures and Language,Europe ,Lecture Note in Computer Science

概要

共著者:竹内格・本田耕平 連続相互通信を基本とした言語Lとその型システムを定義する。Lは、既存の形式系の集合・代数的なプロセス生成と並行合成ではなく、連続した通信を表現する三対の通信構成子によってプログラムを記述する。これらは、通信における型を明確に記述することにより、形式的操作意味論や論理に基づく型推論システムを定義した。また、型付けされたプログラムは、実行時に型誤りを生じない定理が示される。

担当授業科目1

 

担当授業科目2

 

担当授業科目3