その他

基本情報

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

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

並行計算のための抽象アーキテクチャ

単・共の別

単著

発行又は発表の年月

199111

発表学会等の名称

電子通信情報学会技術研究報告Comp91-60.1991

概要

並行計算の代数やグラフを利用した代表的な処理系として、CCSおよびその拡張としてπ計算が提案された。これらは、単純な記述で高い表現能力を有していたが、実現機構としての能力は低いといえる。そこで、対応する抽象アーキテクチャ(機械)を提案した。これは、高度な並行プログラムを最終的な計算機への中間機械と位置づけられる。その証明として、抽象機械の形式的な定義と基本的な定理を示した。

担当授業科目1

 

担当授業科目2

 

担当授業科目3