その他

基本情報

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

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

A Cost Theory of Concurrent Object-based Computing

単・共の別

単著

発行又は発表の年月

1992/07

発表学会等の名称

European Conference object-Oriented Programming,workshop on Object Based Concurrancy and Reuse

概要

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

担当授業科目1

担当授業科目2

担当授業科目3