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

スポンサーリンク

概要

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

関連著者

• 久保 誠

  千葉商科大学商経学部

• 久保 誠

  千葉商科大学経営学科

• 本田 耕平

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

• 竹内 格

  NTTソフトウェア研究所

著作論文

• 通信を基礎としたプログラミングのための構造化プリミティブ(I)記述と意味論
• 構造化通信におけるプロトコル不整合のコスト解析
• 構造化通信を基礎としたプログラミング言語の簡約意味論(山本英男先生退職記念号)
• 構造化通信を基礎としたプログラミング言語の型システム

スポンサーリンク