渡部 卓雄 | 東京工業大学

スポンサーリンク

概要

• 渡部 卓雄の詳細を見る
• 同名の論文著者
• 東京工業大学の論文著者

関連著者

• 渡部 卓雄

  東京工業大学

• 渡部 卓雄

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 渡部 卓雄

  東京工業大学大学院情報理工学研究科計算工学専攻

• 山田 聖

  産業技術総合研究所・情報セキュリティ研究センター

• 森口 草介

  東京工業大学大学院情報理工学研究科計算工学専攻

• 森口 草介

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 永藤 直行

  東京工業大学情報理工学研究科計算工学専攻

• 永藤 直行

  東京工業大学大学院情報理工学研究科計算工学専攻

• 森口 草介

  東京工業大学情報理工学研究科

• 山田 聖

  北陸先端科学技術大学院大学情報科学研究科

• 田浦 健次朗

  東京大学

• 西崎 真也

  京工業大学大学院情報理工学研究科

• 前田 敦司

  筑波大学

• 柴山 悦哉

  東京工業大学大学院情報処理工学研究科数理・計算科学専攻

• 橋本 康範

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 長谷川 立

  東京大学

• 高橋 和子

  関西学院大学

• 渡部 卓雄

  東京工業大学理学部情報科学科

• 小川 瑞史

  北陸先端科学技術大学院大学

• 小川 瑞史

  Ntt

• 原田 康徳

  Ntt

• 小川 瑞史

  Ntt ソフトウェア研究所

• 山田 一宏

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 結縁 祥治

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

• 西崎 真也

  東京工業大学

• Prokay Julian

  東京工業大学大学院情報理工学研究科計算工学専攻

• Senthooran Ilankaikone

  東京工業大学大学院情報理工学研究科計算工学専攻

• 鈴木 将哉

  東京工業大学情報理工学研究科

• 八杉 昌宏

  京都大学大学院情報学研究科

• 高橋 和子

  関西学院大学理工学部

• 小川 宏高

  産業技術総合研究所

• 真野 健

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

• 米澤 明憲

  東京工業大学理学部情報科学科

• 高木 浩光

  産業技術総合研究所

• 小野寺 民也

  日本アイ･ビｰ･エム

• 前田 敦司

  筑波大学システム情報工学研究科

• 岩崎 英哉

  電気通信大学

• 高木 浩光

  電子技術総合研究所

• 高木 浩光

  電総研

• 高木 浩光

  名古屋工業大学

• 富樫 敦

  宮城大学

• 高木 浩光

  名古屋工業大学工学部電気情報工学科

• 米澤 明憲

  東京工業大学理学部

• 大澤 一郎

  東京工業大学理学部

• 脇田 建

  東京大学理学部

• 西崎 真也

  東京工業大学大学院情報理工学研究科

• 村上 昌己

  岡山大学

• 高木 浩光

  (独)産業技術総合研究所情報セキュリティ研究センター

• 竹内 泉

  東邦大学

• 中田 秀基

  産業技術総合研

• Yuen Shoji

  Center For Information Media Studies Nagoya University

• 脇田 建

  東京工業大学

• 安原 由貴

  東京工業大学大学院情報理工学研究科計算工学専攻

もっと見る 閉じる

著作論文

• LMC : ポイントカット・アドバイスモデルの計算
• 4K-3 アスペクト指向的振舞インターフェース記述言語Moxaによるスケーラブルな仕様記述(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて
• 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
• 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
• ロード時バイナリ変換によるセキュリティ強制方式
• 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
• 自己反映計算の振舞的側面の形式化について
• アスペクト指向言語における操作の抽象化方式
• 不干渉性の強制について
• 不干渉性の強制について
• 不干渉性の強制について
• 不干渉性の強制について
• Brian Cantwell Smith:Reflection and Semantics in Lisp, Proc. 11th ACM Symposium on Principles of Programming Languages, pp.23-35 (1984).
• 対話領域の独立性を指向した日本語対話理解システム
• 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証
• 証明支援系Coqのプログラムに対する対話的修正機構の提案
• スクリプト言語(4)スクリプト比較言語学--スクリプト言語の今後
• 「情報処理学会論文誌 : プログラミング」の編集について
• プログラム変換を用いたポインタ操作プログラムの検証にむけて : Morrisの二分木走査アルゴリズムによるケーススタディ
• 実行時検査を伴う実時間プログラムの生成について : 時間オートマトンから非実時間実行環境上の実時間プログラムへ
• 実行時検査を伴う実時間プログラムの生成について : 時間オートマトンから非実時間実行環境上の実時間プログラムへ
• 「情報処理学会論文誌 : プログラミング」の編集について
• Objective-Cによる文脈指向プログラミングの実現手法(学生及び若手(パラレルセッション:実装))
• Objective-Cによる文脈指向プログラミングの実現手法(学生及び若手(パラレルセッション:実装))
• 実時間システム向け文脈指向言語ProcneJ

もっと見る 閉じる

スポンサーリンク