久保 誠 | 千葉商科大学経営学科

スポンサーリンク

概要

• 久保 誠の詳細を見る
• 同名の論文著者
• 千葉商科大学経営学科の論文著者

関連著者

• 久保 誠

  千葉商科大学経営学科

• 本田 耕平

  エジンバラ大学計算機科学科

• 竹内 格

  NTTソフトウェア研究所

• 久保 誠

  千葉商科大学商経学部

• 吉田 展子

  慶應義塾大学理工学研究科計算機科学専攻

• 久保 誠

  慶應義塾大学理工学部

• 本田 耕平

  慶応義塾大学計算機科学科

• 久保 誠

  慶応義塾大学計算機科学科

• 指野 篤司

  慶応義塾大学計算機科学科

• 竹内 格

  慶応義塾大学計算機科学科

• バスコンセロス バスコ

  慶応義塾大学計算機科学科

• 吉田 展子

  慶応義塾大学計算機科学科

• 本田 耕平

  慶應義塾大学理工学部

• 指野 篤司

  慶應義塾大学理工学部

• 竹内 格

  慶應義塾大学理工学部

• バスコンセロス バスク

  慶應義塾大学理工学部

• 吉田 展子

  慶應義塾大学理工学部

• 本田 耕平

  マンチェスター大学計算機科学科

• 本田 耕平

  慶應義塾大学

• 本田 耕平

  慶応義塾大学理工学部計算機科学科

もっと見る 閉じる

著作論文

• 通信を基礎としたプログラミングのための構造化プリミティブ(I)記述と意味論
• ν計算・並行結合子・プログラミング言語
• ν計算・並行結合子・プログラミング言語
• 2.π-計算とその周辺 (並行計算の理論の最近の動向)
• 構造化通信におけるプロトコル不整合のコスト解析
• 構造化通信を基礎としたプログラミング言語の簡約意味論(山本英男先生退職記念号)

スポンサーリンク