桑原 寛明 | 名古屋大学大学院情報科学研究科

スポンサーリンク

概要

• 同名の論文著者
• 名古屋大学大学院情報科学研究科の論文著者

関連著者

• 桑原 寛明

  立命館大学情報理工学部

• 桑原 寛明

  名古屋大学大学院情報科学研究科

• 阿草 清滋

  名古屋大学大学院情報科学研究科

• 阿草 清滋

  名古屋大学

• 結縁 祥治

  名古屋大学大学院情報科学研究科

• 山本 晋一郎

  愛知県立大学

• 結縁 祥治

  名古屋大 大学院情報科学研究科

• Yuen Shoji

  Center For Information Media Studies Nagoya University

• 結縁 祥治

  名古屋大学 情報科学研究科

• 阿草 清滋

  京大

• 山本 晋一郎

  愛知県立大学情報科学部

• 酒井 正彦

  名古屋大学大学院情報科学研究科

• 西田 直樹

  名古屋大学大学院情報科学研究科

• 坂部 俊樹

  名古屋大学大学院情報科学研究科

• 草刈 圭一朗

  名古屋大学大学院情報科学研究科

• 黒川 翔

  (株)デンソー

• 水野 良太

  名古屋大学大学院情報科学研究科

• 黒川 翔

  デンソー

• 黒川 翔

  名古屋大学大学院情報科学研究科

• 草刈 圭一朗

  名古屋大学 大学院情報科学研究科

• 酒井 正彦

  名古屋大学

• 坂部 俊樹

  名古屋大学大学院 情報科学研究科

• 西田 直樹

  名古屋大学大学院 情報科学研究科

• 坂部 俊樹

  名古屋大学 大学院情報科学研究科

• 西田 直樹

  名古屋大学 大学院情報科学研究科

• 真野 健

  NTTコミュニケーション科学基礎研究所

• 河辺 義信

  日本電信電話株式会社nttコミュニケーション科学基礎研究所

• 水野 敦

  名古屋大学大学院情報科学研究科

• 河辺 義信

  NTTコミュニケーション科学基礎研究所

• 河辺 義信

  愛知工業大学情報科学部情報科学科

もっと見る 閉じる

著作論文

• 例外処理付きオブジェクト指向言語における情報流の安全性解析
• 例外処理付きオブジェクト指向言語における情報流の安全性解析
• Javaプログラム理解支援のための不変性解析
• Java プログラム理解支援のための不変性解析
• π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
• π計算に基づくプログラミング言語NepiのためのGUI機能
• 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
• π計算による優先度継承プロトコルの形式的記述

スポンサーリンク