その他

基本情報

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

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

並行計算のコスト理論

単・共の別

単著

発行又は発表の年月

199203

発表学会等の名称

日本ソフトウェア科学会 オブジェクト指向計算研究会

概要

並行計算におけるコストを、計算および通信にかかるコストととらえ、空間的コストは考慮せず、時間的コストのみに焦点を与えている。まず、並行計算をラベルつき遷移システムとし、かつ、並行計算のコストをコストつき無限グラフという構造に写像する関数として定義している。その上で、プログラム間の様々なコストに関する順序関係と包含関係を示した。また、様々な並行計算形式系に適用し一般化になることを示した。

担当授業科目1

 

担当授業科目2

 

担当授業科目3