並行計算とそれに基づく抽象アーキテクチャの研究
慶應義塾大学理工学部電気工学科卒業論文, 1991
久保 誠
並行計算のための抽象アーキテクチャ
電子通信情報学会技術研究報告,COMP91-60, 1991
久保 誠
並行計算のコスト理論に関する研究
オブジェクト指向コンピューティングI, レクチャーノート/ソフトウェア学, 第4巻, pp.321-334, 近代科学社,田中・西尾編,1992
久保 誠,本田 耕平,所 真理雄
A Cost Thoery of Concurrent Object-based Computing
ECOOP 92 W6, Workshop on Objected Based Concurrency and Reuse, 1992.
Makoto Kubo, Kohei Honda, Mario Tokoro
A Study of Cost Theories for Concurrent Computation
慶應義塾大学理工学研究科計算機科学専攻修士論文,1993
久保 誠
並行コンビネータから抽象機械へ
日本ソフトウェア科学会第11回大会論文集, pp. 389-392, 1994.
指野 敦司, 久保 誠
Cost Graphs for Concurrent Culculi
数理解析研究所講究録902 並行計算とその応用 ,pp.64-79,
京都大学数理解析研究所, 1995年.
久保 誠
π計算とその周辺 , 特集 並行計算の理論の最近の動向
情報処理 Vol 37, No. 4, April, 1996, pp. 319-326
吉田展子,久保 誠,本田 耕平
An Interaction-Based Language and Its Typing System
in Proceedings of Parallel Architectures and Languages Europe '94
Lecture Note in Computer Science,Springer Verlag,July 1994.
Kaku Takeuchi, Kohei Honda and Makoto Kubo
連続な通信を基礎とした型つき並行言語の実装
猿渡隆介,久保 誠,所 真理雄
日本ソフトウェア科学会第12回大会論文集,pp.85-88,1995
通信を基礎としたプログラミング言語のための構造化プリミティブ
その1 記述と意味論
久保 誠,竹内 格,本田 耕平
コンピュータソフトウェア,Vol.14,No.5(1997),pp.32-54
通信を基礎としたプログラミング言語のための構造化プリミティブ
その2 型システム,
久保 誠
千葉商科大学 論叢 第38巻第2号 2000年
"Language Primitives and Type Discipline for Structured communication Based Programming"
Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo
ESOP 1998: Lecture Notes in Computer Science 1381 pp,122-138, Springer Verlag, 1998.
構造化通信におけるプロトコル不整合のコスト解析
久保 誠
千葉商科大学 論叢 第45巻第2号 2007年
オブジェクト指向プログラミングと構造化通信
久保 誠
第3回 パーソナルコンピュータ利用技術学会全国大会講演論文集 2008
Foundations of Concurrent, Communication-based Computing
(under investigation)
社会科学系学部におけるプログラム教育と数学的知識修得支援
久保 誠
情報教育研究集会2008発表論文集 2008
オブジェクト指向計算ワークショップ 91(WOOC91), 箱根,March,1991.
基礎・言語・実践研究会 91, 電気総合研究所,筑波,November,1991.
オブジェクト指向計算ワークショップ 92(WOOC92), 神戸.March,1992.
ECOOP 92 Workshop on Objected-Concurrency and Reuse, Utrecht, Holland,July,1992 .
並行計算とその応用, 京都数理解析研究所,July 1995.
Japan/UK workshop, Manchester, UK,April,1996.