河辺 義信 | NTTコミュニケーション科学基礎研究所
スポンサーリンク
概要
関連著者
-
真野 健
NTTコミュニケーション科学基礎研究所
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
河辺 義信
NTTコミュニケーション科学基礎研究所
-
河辺 義信
愛知工業大学情報科学部情報科学科
-
小暮 潔
NTTコミュニケーション科学基礎研究所
-
小暮 潔
ATRメディア情報科学研究所
-
小暮 潔
日本電信電話株式会社 Nttコミュニケーション科学基礎研究所
-
桑原 寛明
立命館大学情報理工学部
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学
-
結縁 祥治
名古屋大 大学院情報科学研究科
-
水野 敦
名古屋大学大学院情報科学研究科
-
桑原 寛明
名古屋大学大学院情報科学研究科
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
結縁 祥治
名古屋大学 情報科学研究科
著作論文
- π計算に基づくプログラミング言語NepiのためのGUI機能
- Nepiネットワークプログラミングシステムの形式的検証(ソフトウェア工学の基礎)
- π-計算に基づくモバイルエージェントの形式化
- アクタモデルのπ計算に基づく意味づけ : エージェントの形式化に向けて