樋口 昌宏 | 近畿大学理工学部情報学科
スポンサーリンク
概要
関連著者
-
樋口 昌宏
近畿大学理工学部情報学科
-
樋口 昌宏
近畿大学大学院総合理工学研究科
-
加藤 暢
近畿大学理工学部情報学科
-
加藤 暢
近畿大学理工学部
-
樋口 昌宏
近畿大学理工学部
-
山口 将志
近畿大学
-
植田 直人
株式会社JSOL
-
辻村 俊伸
近畿大学理工学部情報学科
-
植田 直人
近畿大学大学院総合理工学研究科
-
甲斐 貴史
近畿大学大学院総合理工学研究科
-
山口 将志
近畿大学大学院総合理工学研究科エレクトロニクス系工学専攻
-
加藤 暢
近畿大学大学院総合理工学研究科エレクトロニクス系工学専攻
-
加藤 暢
近畿大学
-
樋口 昌宏
近畿大学
-
岡田 嶺
近畿大学大学院総合理工学研究科
-
道端 伸之介
近畿大学大学院総合理工学研究科
-
辻村 俊伸
近畿大学大学院総合理工学研究科
-
森本 大輔
近畿大学大学院総合理工学研究科
-
守屋 宣
近畿大学理工学部
著作論文
- 分散オブジェクト技術によるプログラムのπ計算への変換
- RA-005 Ambient Calculusによる物流システム記述に対するモデル検査(モデル・アルゴリズム・プログラミング,査読付き論文)
- Ambient計算に基づく動的な海上物流の監視システム
- A_014 時間オートマトンのタイマ付き有限状態機械への変換法(A分野:モデル・アルゴリズム・プログラミング)
- 物流システムに対するAmbient Logicモデル検査システム
- 物流システムに対する Ambient Logic モデル検査システム
- 物流システムに対するAmbient Logicモデル検査システム
- 物流システムに対するAmbient Logicモデル検査システム
- 3M-7 Ambient Calculusを用いる物流検査システムの実装(数理モデルと問題解決,学生セッション,ソフトウェア科学・工学)
- A-032 分散オブジェクトからπ計算プロセスへの変換系(A分野:モデル・アルゴリズム・プログラミング)
- Ambient Calculusを用いた物流検査システム
- A-015 動的な接続関係を持つJavaプログラムの一記述法とπ計算への変換(A分野:モデル・アルゴリズム・プログラミング)
- D-1-12 Javaオブジェクトからπ計算プロセスへの変換について(D-1. コンピュテーション, 情報・システム1)
- Java分散オブジェクトからπ計算プロセスへの変換系
- 3P-9 モバイルアドホックネットワークのための低トラヒックコーラムによるオブジェクト配布方式の評価(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 物流システム記述のための多重Ambient Calculus (プログラミング Vol.5 No.2)
- 多重Ambient Calculusによる物流記述に対する弱双模倣等価性を用いたモデル検査 (プログラミング Vol.5 No.3)
- 時間付きAmbient Calculus