富樫 敦 | 静岡大学情報学部
スポンサーリンク
概要
関連著者
-
富樫 敦
静岡大学情報学部
-
富樫 敦
宮城大学事業構想学部
-
金指 文明
(有)カラビナシステムズ
-
金指 文明
静岡大学大学院理工学研究科
-
秡川 友宏
静岡大学情報学部
-
秡川 友宏
筑波大学
-
秡川 友宏
静岡大学
-
秡川 友宏
筑波大学学術情報メディアセンター
-
富樫 敦
静岡大学情報学部情報科学科
-
坂本 直史
三菱電気株式会社システムLSI事業化推進センター
-
水野 忠則
静岡大学情報学部
-
佐藤 剛
東京都保健医療公社東部地域病院外科
-
佐藤 剛
順天堂大学肝胆膵外科
-
長谷 智弘
龍谷大学理工学部
-
佐藤 剛
三菱電気株式会社システムLSI事業化推進センター
-
石井 基樹
静岡大学大学院理工学研究科
-
山田 将弘
静岡大学大学院理工学研究科
-
陸 暁松
静岡大学大学院理工学研究科
-
谷沢 智史
静岡大学情報学部情報学科
-
高橋 晃
静岡大学情報学部
-
長谷 智弘
三菱電機株式会社応用機器研究所
-
中川 晋吾
静岡大学大学院理工学研究科
-
水谷 文俊
静岡大学情報学部
-
金指 文明
有限会社カラビナシステムズ
-
佐藤 剛
静岡大学情報学部
-
坂本 直史
三菱電機株式会社システムLSI事業化推進センター
-
大崎 琢生
静岡大学情報学部
-
長瀬 真理
静岡大学情報学部
-
坂本 直史
三菱電機セミコンダクタ・アプリケーション・エンジニアリング株式会杜
-
長谷 智弘
三菱電機株式会社 電子商品開発研究所
-
富樫 敦
静岡大学 情報学部
-
高橋 晃
静岡大学情報学部情報科学科
-
塚崎 悟
静岡大学情報学部情報科学科
-
富樫 敦
静岡大
-
山田 将弘
静岡大学情報学部理工学研究科
-
石井 基樹
静岡大学情報学部理工学研究科
-
金指 文明
静岡大学情報学部理工学研究科
著作論文
- 資源適合型アプリケーション統合開発環境の提案(ソフトウェア工学の基礎)
- 狭帯域電力線搬送でのGUIによる家電の遠隔操作の試み
- 移動エージェントモデルを用いた家電の自律制御の試み
- 情報技術に基づく大学事務支援の情報化に関する基礎と実践研究 (平成13年度情報学部研究プロジェクト報告)
- リモートディスプレイフレームワークによる家電ネッワークの試み
- M-pi計算 : 移動エージェントのための計算体系
- 並行計算の最前線 : タイプシステム
- モーバイルプロセス計算へのいざない
- モービルプロセス計算の型システムについて(計算理論とその応用)
- Polyadicπ計算の型計算システムについて
- π計算に対する視覚化システム
- システム要求仕様化のための状態遷移システム表示インターフェースの開発
- 効果的なソフトウェア開発のためのシステムシミュレータ
- 静岡大学受けた側の立場から
- システム要求記述と形式仕様の導出 : デバッグ結果の反映方法
- π計算に対する様相証明システム
- システム要求からの形式仕様の導出方法(マルチメディア通信と分散処理)