その他

基本情報

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

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

並行計算のコスト理論に関する研究

単・共の別

共著

発行又は発表の年月

199207

発表学会等の名称

オブジェクト指向コンピューティングⅠレクチャーノート/ソフトウェア学第4巻

概要

共著者:本田耕平 本論文は、並行計算におけるコスト理論の基礎を研究することを目的とし、計算におけるコストの時間的側面に焦点をあてている。まず、並行計算をラベルつき遷移システムとし、かつ、並行計算のコストをコストつき無限グラフという構造として定義している。その上で、プログラム間の様々なコストに関する順序関係と包含関係を示した。また、この関係を、様々な並行計算形式系に適用し一般化になることを示した。

担当授業科目1

 

担当授業科目2

 

担当授業科目3