玉井 哲雄 | 東京大学総合文化研究科
スポンサーリンク
概要
関連著者
-
玉井 哲雄
東京大学総合文化研究科
-
鵜林 尚靖
九州工業大学大学院情報工学府
-
鵜林 尚靖
東京大学総合文化研究科
-
西崎 真也
京工業大学大学院情報理工学研究科
-
高橋 孝一
産業技術総合研究所
-
高橋 孝一
電子技術総合研究所
-
玉井 哲雄
東京大学
-
萩谷 昌己
東京大学理学部情報科学科萩谷研究室
-
木下 喜幸
東京大学総合文化研究科
-
西崎 真也
東京工業大学大学院情報理工学研究科
-
玉井 哲雄
東京大学大学院総合文化研究科広域システム専攻
-
方 学芬
SRA 先端技術研究所
-
方 学芬
東京大学総合文化研究科広域システム科学科
-
山本 光晴
千葉大学理学部
-
西崎 真也
東京工業大学
著作論文
- グラフ手法によるJavaプログラムの構造と構造変化の分析
- 動的な役割変化を考慮したオブジェクト間の協調動作記述とそのモジュール化メカニズム
- オブジェクト間協調に基づく環境適応型プログラミング言語Edenの設計
- コンテクスト概念に基づいたモジュール化機構
- 再構築のためのソフトウェア解析アプローチ
- グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)