結縁 祥治 | 名古屋大 大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
結縁 祥治
名古屋大 大学院情報科学研究科
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
結縁 祥治
名古屋大学 情報科学研究科
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学
-
阿草 清滋
京大
-
桑原 寛明
立命館大学情報理工学部
-
桑原 寛明
名古屋大学大学院情報科学研究科
-
山本 晋一郎
愛知県立大学情報科学部
-
今井 敬吾
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学工学部
-
山本 晋一郎
愛知県立大学
-
Yuen Shoji
Graduate School Of Information Science Nagoya University:national Institute Of Informatics
-
YUEN Shoji
Nagoya University
-
結縁 祥治
名古屋大学大学院情報科学研究科/科学技術振興機構さきがけ研究
-
梶田 将司
名古屋大学情報連携基盤センター
-
梶田 将司
名古屋大学情報連携統括本部情報戦略室
-
松塚 貴英
FUJITSU Laboratories of Europe Ltd.
-
渥美 紀寿
南山大学情報理工学部
-
阿草 清滋
名古屋大学工学部電気工学第二
-
松塚 貴英
欧州富士通研
-
井上 公博
名古屋大学大学院情報科学研究科
-
渥美 紀寿
名古屋大学大学院情報科学研究科
-
沢田 篤史
南山大学
-
青木 利晃
北陸先端科学技術大学院大学
-
伴 潤
名古屋大学大学院情報科学研究科
-
真野 健
NTTコミュニケーション科学基礎研究所
-
田原 康之
電気通信大学大学院情報システム学研究科
-
阿萬 裕久
愛媛大学
-
白銀 純子
東京女子大学
-
阿萬 裕久
愛媛大学大学院理工学研究科
-
吉岡 信和
国立情報学研究所
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
野中 誠
東洋大学経営学部
-
野中 誠
東洋大学
-
阿萬 裕久
愛媛大学大学院
-
鷲崎 弘宜
早稲田大学
-
田原 康之
National Institute of Informatics
-
加藤 大樹
名古屋大学大学院教育発達科学研究科
-
田原 康之
電気通信大学
-
馬場 敬
名古屋大学大学院情報科学研究科
-
渥美 紀寿
南山大学数理情報学部
-
浦本 直彦
日本アイ・ビー・エム株式会社
-
羽生田 栄一
株式会社豆蔵
-
末次 亮
名古屋大学大学院情報科学研究科情報システム学専攻
-
阿草 清滋
京大(現名大)
-
浦本 直彦
日本アイ・ビー・エム(株)東京基礎研究所
-
浦本 直彦
日本アイ・ビー・エム(株)東京基礎研究所:国立情報学研究所
-
阿萬 裕久
愛媛大 大学院理工学研究科
-
松塚 貴英
株式会社富士通研究所
-
Agusa Kiyoshi
Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
加藤 敬史
名古屋大学大学院情報科学研究科:(現)(株)日立ソフトウェアエンジニアリング
-
水野 敦
名古屋大学大学院情報科学研究科
-
河辺 義信
NTTコミュニケーション科学基礎研究所
-
吉岡 信和
国立情報学研究所graceセンター
-
吉岡 信和
株式会社東芝研究開発センター
-
吉岡 信和
総合研究大学院大学 国立情報学研究所
-
渥美 紀寿
名古屋大学工学研究科情報工学専攻
-
AUN MOHAMED
Department of Information Engineering, Graduate School of Information Science, Nagoya University
-
YUEN SHOJI
Department of Information Engineering, Graduate School of Information Science, Nagoya University
-
大須賀 恭輔
名古屋大学大学院工学研究科情報工学専攻
-
高木 豊典
名古屋大学大学院工学研究科情報工学専攻
-
落合 秀俊
名古屋大学工学研究科情報工学
-
Aun Mohamed
Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
末次 亮
名古屋大学大学院情報科学研究科
-
河辺 義信
愛知工業大学情報科学部情報科学科
-
加藤 大樹
金城学院大学人間科学部
-
鷲崎 弘宜
早稲田大学基幹理工学部情報理工学科
-
桑原 寛明
立命館大学
-
水谷 浩明
名古屋大学情報科学研究科
-
加藤 敬史
名古屋大学大学院情報科学研究科
-
加藤 大樹
名古屋大学大学院情報科学研究科
-
浦本 直彦
日本アイ・ビー・エム 東京基礎研究所
-
白銀 純子
東京女子大
-
渥美 紀寿
名古屋大学 大学院 情報科学研究科
著作論文
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- ウインターワークショップ2008・イン・道後開催報告
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- 時間付きデザインパターンに基づく実時間並行ソフトウェアの開発手法
- 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
- π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
- π計算に基づくプログラミング言語NepiのためのGUI機能
- 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
- π計算による優先度継承プロトコルの形式的記述
- Webオートマトン : MVCモデルに基づくWebアプリケーションの動作モデル(ディペンダブルソフトウェア)
- FCDGに基づいたコーディングパターン
- ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル(産学連携論文)
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- 時間オートマトンによる振舞いモデルに基づく高信頼Real-Time Javaコード生成手法
- 時間オートマトンによる振舞いモデルに基づく高信頼 Real-Time Java コード生成手法
- An Approach for Debugging Client Dynamic Web Applications(Network Services)
- 実時間プロセス言語に基づく時間ステートチャートの動作シミュレーション
- NATによる準マルチホーム化技法(次世代のインターネット/分散システムの構築・運用技術)
- 文書間の不整合解消に基づくソフトウエアプロセスのモデル化
- NATによるプライベートネットワークの準マルチホーム化技法
- Alloyを用いたRuby on Railsアプリケーションの開発支援