渡部 卓雄 | 東京工業大学大学院情報理工学研究科計算工学専攻
スポンサーリンク
概要
関連著者
-
渡部 卓雄
東京工業大学大学院情報理工学研究科計算工学専攻
-
渡部 卓雄
北陸先端科学技術大学院大学
-
渡部 卓雄
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
渡部 卓雄
東京工業大学
-
山田 聖
産業技術総合研究所・情報セキュリティ研究センター
-
森口 草介
東京工業大学大学院情報理工学研究科計算工学専攻
-
永藤 直行
東京工業大学情報理工学研究科計算工学専攻
-
永藤 直行
東京工業大学大学院情報理工学研究科計算工学専攻
-
森口 草介
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
森口 草介
東京工業大学情報理工学研究科
-
山田 聖
北陸先端科学技術大学院大学情報科学研究科
-
藤枝 和宏
北陸先端科学技術大学院大学
-
落水 浩一郎
北陸先端科学技術大学院大学情報科学研究科
-
田中 哲
産業技術総合研究所
-
天野 憲樹
岡山大学教育開発センター
-
落水 浩一郎
北陸先端科学技術大学院大学
-
藤枝 和宏
北陸先端科学技術大学院大
-
天野 憲樹
北陸先端科学技術大学院大学情報科学研究科
-
佐伯 豊
北陸先端科学技術大学院大学情報科学研究科
-
天野 憲樹
岡山大学
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
小野寺 民也
東京工業大学
-
橋本 康範
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
渡部 卓雄
東京工業大学理学部情報科学科
-
田中 哲
北陸先端科学技術大学院大学情報科学研究科
-
山田 一宏
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
中島 達夫
早稲田大学 基幹理工学部 情報理工学科
-
鈴木 正人
北陸先端科学技術大学院大学
-
西崎 真也
京工業大学大学院情報理工学研究科
-
中島 達夫
北陸先端科学技術大学院大学
-
石川 洋
福山大学工学部
-
米澤 明憲
東京工業大学理学部情報科学科
-
石川 洋
福山大学工学部情報処理工学科
-
千葉 滋
東京工業大学大学院情報理工学研究科数理・計算科学専攻
-
一杉 裕志
電子技術総合研究所
-
西川 尚宏
北陸先端科学技術大学院大学情報科学研究科
-
米澤 明憲
東京工業大学理学部
-
鰺坂 恒夫
和歌山大学
-
鈴木 正人
北陸先端科学技術大学院大
-
大澤 一郎
東京工業大学理学部
-
川崎 大輔
北陸先端科学技術大学院大学情報科学研究科
-
千葉 滋
東京工業大学数理・計算科学専攻
-
飯田 周作
北陸先端科学技術大学院大学情報科学研究科
-
一杉 裕志
産業技術総合研究所
-
渡部 卓雄
国立情報学研究所
-
西崎 真也
東京工業大学大学院情報理工学研究科
-
中島 達夫
早稲田大学
-
一杉 裕志
産業技術総合研
-
西崎 真也
東京工業大学
-
新堀 健治
北陸先端科学技術大学院大学情報科学研究科
-
峯下 聡志
北陸先端科学技術大学院大学
-
鯵坂 恒夫
和歌山大学情報工学科
-
安原 由貴
東京工業大学大学院情報理工学研究科計算工学専攻
著作論文
- LMC : ポイントカット・アドバイスモデルの計算
- 4K-3 アスペクト指向的振舞インターフェース記述言語Moxaによるスケーラブルな仕様記述(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて
- 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- 安全に結合可能なmixinを提供するためのルール
- ロード時バイナリ変換によるセキュリティ強制方式
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- 特集「ソフトウェアシステム」の編集にあたって
- 特集「ソフトウェアシステム」の編集にあたって(ソフトウェアシステム)
- 自己反映計算の振舞的側面の形式化について
- 動的コード生成を用いた適応的移動コード
- アスペクト指向言語における操作の抽象化方式
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- メタレベルの拡張に適したメタレベルの構成法
- 再利用可能な部品から構成された言語処理系
- 自己反映機構を用いた移動エージェント記述言語
- Brian Cantwell Smith:Reflection and Semantics in Lisp, Proc. 11th ACM Symposium on Principles of Programming Languages, pp.23-35 (1984).
- 対話領域の独立性を指向した日本語対話理解システム
- プログラム変換を用いたポインタ操作プログラムの検証にむけて--Morrisの二分木走査アルゴリズムによるケーススタディ (ソフトウェアサイエンス)
- 自己反映的な言語における言語拡張同士の安全な結合について
- CORBAアプリケーション開発におけるリフレクションの有効性
- 自己反映的な言語のモジュール結合による実装と効率化
- 3. モバイルコンピューティングを支えるソフトウェア技術 3-2 分散オブジェクト技術とモバイルエージェント (モバイルコンピューティング)
- 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証
- 自己反映計算における再利用可能なメタレベルモジュールの設計
- 書き換え理論に基づく有機的プログラミング言語GAEAの意味
- 証明支援系Coqのプログラムに対する対話的修正機構の提案
- リフレクションを利用したCORBA APIの改善
- リフレクションを利用したCORBAアプリケーション実行環境の実現法
- LEAD : 動的適応可能なソフトウェアを構成する言語の設計と実装
- 移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ
- 信頼性の高い移動エージェントシステムの構成方法
- Ambient Calculusを用いた移動エージェントの形式化
- CEK-抽象機械による移動オブジェクトの形式的定義
- ソフトウェア工学の基礎ワークショップ(FOSE '96)の報告
- CafeOBJによる分散システムの形式仕様作成法
- 部分継続にもとづく移動コード記述 : 定義と操作的意味
- 実時間システム向け文脈指向言語ProcneJ