研究者
J-GLOBAL ID:200901019584895676
更新日: 2008年07月22日
久保 誠
クボ マコト | Kubo Makoto
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
千葉商科大学 商経学部 商学科
千葉商科大学 商経学部 商学科 について
「千葉商科大学 商経学部 商学科」ですべてを検索
機関情報を見る
職名:
助教授
ホームページURL (1件):
http://www.cuc.ac.jp/~kubo/
研究分野 (1件):
情報学基礎論
研究キーワード (4件):
プログラミング理論
, 並行計算
, Programming theory
, Concurrebt caluli
競争的資金等の研究課題 (2件):
1996 - 通信の基礎プリミティブに関する研究
Study on Interaction based Primitives
MISC (9件):
構造化通信を基礎としたプログラミング言語の簡約意味論. 千葉商大論叢. 2005. 42. 4. 123-142
Typing System for Structured Communication-based Programming Language. The Journal of Chiba University of Commerce 千葉商科大学論叢. 2000. 38. 2. 151-174
構造化通信を基礎としたプログラミング言語の型システム. 千葉商大論叢. 2000. 38. 2. 151-174
通信を基礎としてプログラミングのための構造化プリミティブ(I)記述と意味論(共著). コンピュータソフトウェア. 1997. 14. 5. 32-54
Primitives for Structuring Conmunication-based Programs, Part I. Computer Software. 1997. 14. 5. 32-54
もっと見る
学歴 (4件):
- 1997 慶應義塾大学 理工学研究科 計算機科学
- 1997 慶應義塾大学
- 1991 慶應義塾大学 理工学部 電気工学
- 1991 慶應義塾大学
学位 (1件):
工学修士 (慶應義塾大学)
経歴 (1件):
1997 - 2001 千葉商科大学商経学部 専任講師
所属学会 (1件):
日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM