米澤 明憲 | 東京工業大学理学部
スポンサーリンク
概要
関連著者
-
米澤 明憲
東京工業大学理学部
-
米澤 明憲
東京大学大学院情報理工学系研究科コンピュータ科学専攻
-
米澤 明憲
東京大学理学部情報科学科
-
米澤 明憲
東京大学大学院情報理工学系研究科
-
米澤 明憲
東京工業大学理学部情報科学科
-
米澤 昭憲
東京大学
-
大山 恵弘
電気通信大学情報理工学部総合情報学科
-
米澤 明憲
東京大学情報理工学系研究科コンピュータ科学専攻
-
大山 恵弘
電気通信大学情報工学科
-
前田 俊行
東京大学大学院情報理工学系研究科コンピュータ科学専攻
-
住井 英二郎
ペンシルバニア大学コンピュータ情報科学科
-
尾上 浩一
東京大学大学院情報理工学系研究科コンピュータ科学専攻|現在,富士通研究所
-
大山 恵弘
電気通信大学
-
尾上 浩一
東京大学大学院情報理工学系研究科コンピュータ科学専攻|現在 富士通研究所
-
柏 大
NTT情報流通プラットフォーム研究所
-
柴山 悦哉
東京工業大学大学院情報処理工学研究科数理・計算科学専攻
-
米澤 明憲
東京大学
-
大山 恵弘
東京大学大学院情報理工学系研究科
-
高田 敏弘
東京工業大学理学部情報科学科
-
冨士 仁
NTT情報流通プラットフォーム研究所
-
柏 大
日本電信電話株式会社ntt情報流通プラットフォーム研究所
-
大山 恵弘
電気通信大学大学院電気通信学研究科
-
高田 敏弘
Ntt
-
高田 敏弘
Ntt基礎研究所情報科学研究部
-
冨士 仁
日本電信電話(株)ntt情報流通プラットフォーム研究所
-
冨士 仁
日本電信電話株式会社
-
住井 英二郎
ペンシルバニア大学
-
金田 憲二
東京大学大学院情報理工学系研究科
-
チェン エリック
Ntt情報流通プラットフォーム研究所
-
大山 恵弘
東京大学
-
松田 元彦
東京大学大学院情報理工学系研究科
-
横山 陽介
東京大学
-
清水 正明
株式会社日立製作所中央研究所
-
小笠原 克久
株式会社日立製作所システム開発研究所
-
舩生 真紀子
株式会社日立超LSIシステムズ
-
大根田 裕一
東京大学大学院情報理工学系研究科
-
本田 康晃
東京工業大学理学部情報科学科
-
住井 英二郎
東京大学情報理工学系研究所コンピュータ科学専攻
-
清水 正明
株式会社日立製作所|東京大学
-
大澤 一郎
東京工業大学理学部
-
Briot J.
パリ大学第6校計算機科学研究所
-
Briot J‐p
東京工業大学理学部情報科学科:パリ第6校計算機科学研究所(litp)
-
竹内 郁雄
東京大学大学院情報理工学系研究科創造情報学専攻
-
竹内 彰一
ソネットエンタテインメント株式会社
-
田浦 健次朗
東京大学大学院情報理工学系研究科
-
田浦 健次朗
東大 大学院情報理工学系研究科
-
田浦 健次朗
東京大学
-
諏訪 基
電総研
-
竹内 郁雄
NTT基礎研
-
近山 隆
東大
-
所 真理雄
慶応義塾大学理工学部電気工学科
-
大森 健児
法政大学工学部経営工学科
-
竹内 彰一
新世代コンピュータ技術開発機構
-
近山 隆
新世代コンピュータ技術開発機構
-
藤崎 哲之助
日本IBMサイエンスインスティチュート
-
筧 捷彦
早稲田大学理工学術院
-
筧 捷彦
早稲田大学
-
上田 和紀
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
久野 靖
東京工業大学理学部情報科学科
-
稲垣 康善
名古屋大学大学院工学研究科計算理工学専攻
-
久野 靖
筑波大学
-
久野 靖
東京工業大学理学部
-
久野 靖
筑波大学大学院
-
大森 健児
法政大学工学部
-
エリック チェン
NTT情報流通プラットフォーム研究所
-
松田 裕幸
東京工業大学学術国際情報センター
-
増原 英彦
東京大学大学院理学系研究科情報科学専攻
-
諏訪 基
電子技術総合研究所
-
エリック チェン
Ntt情報流通プラットフォーム研究所:東京大学大学院情報理工学系研究科
-
尾上 浩一
東京大学
-
飯塚 大輔
東京大学大学院情報理工学系研究科
-
佐渡 一広
東京工業大学理学部情報科学科
-
所 真理雄
慶応義塾大学理工学部院
-
所 真理雄
慶應義塾大学
-
所 真理雄
慶應義塾大学電気工学科
-
所 真理雄
慶應義塾大学大学院理工学研究科:(株)ソニーコンピュータサイエンス研究所
-
所 真理雄
ソニーコンピュータサイエンス研究所
-
奥乃 博
Ntt電気通信研究所
-
井田 哲雄
筑波大学
-
上田 和紀
新世代コンピュータ技術開発機構
-
松田 裕幸
東京工業大学
-
山崎 孝裕
東京大学大学院情報理工学系研究科コンピュータ科学専攻
-
岩元 莞二
日本電気ソフトウェア生産技術研究所
-
杉本 正勝
富士通研究所
-
奥乃 博
電電公社武蔵野電気通信研究所
-
國藤 進
ICOT
-
古瀬 淳
東京大学大学院情報理工学系研究科
-
大根田 裕一
東京大学情報理工学系研究科コンピュータ科学専攻
-
立沢 秀晃
東京大学情報理工学系研究科コンピュータ科学専攻
-
Briot J.-P.
東京工業大学理学部情報科学科
-
増山 隆
東京大学情報理工学系研究所コンピュータ科学専攻
-
田渕 直
東京大学情報理工学系研究科コンピュータ科学専攻
-
渡部 卓雄
東京工業大学大学院情報理工学研究科計算工学専攻
-
渡部 卓雄
東京工業大学
-
渡部 卓雄
東京工業大学理学部情報科学科
-
奧乃 博
科学技術振興事業団ERATO北野共生システムプロジェクト
-
柴山 悦哉
東京工業大学大学院情報理工学研究科
-
柴山 悦哉
東京工業大学数理・計算科学専攻
-
金田 憲二
東京大学大学院情報理工学系研究科:日本学術振興会
-
井田 哲雄
筑波大学電子・情報工学系
-
稲垣 康善
名古屋大学
-
増原 英彦
東京大学大学院総合文化研究科
-
増原 英彦
東京大学理学部情報科学科
-
外山 滋
東京工業大学理学部情報科学科
-
杉本 正勝
(株)富士通研究所
-
金田 憲二
東京大学大学院情報理工学系研究科:(現)グーグル株式会社
-
奥乃 博
京都大学大学院
-
佐渡 -広
群馬大
-
佐渡 -広
東京工業大学理学部情報科学科
-
所 真理雄
慶応義塾大学理工学部
著作論文
- 並列オブジェクトによる大規模システムの実現 : Second Lifeシステム,Twitterシステム,分子動力学アプリの場合(並列分散処理,情報爆発論文)
- オブジェクト指向計算特集の編集にあたって
- セキュリティプロトコルの略式記法からspi計算への変換
- 仮想マシンモニタによる仮想マシン内プロセスの制御(OS-2 : セキュリティ)
- ヒープ中の同期ロックの整合性に関するモデル検査
- CPUの条件実行機能に対応した型付きアセンブリ言語
- サーバの透過的な移動のためのOS拡張(OS (1))
- B-033 SoftwarePotへのチェックポイント機構の導入(B.ソフトウェア)
- VMMによるアプリケーションを意識したカーネル内の振舞い制御
- プログラミング言語の新潮流
- 大特集「オブジェクト指向プログラミング」の編集にあたって
- Message Passingの理論(同期の数理)
- 柔軟性と拡張性を備えた大規模多人数オンラインゲームのための枠組み(応用システム, SWOPP武雄2005 (2005年並列/分散/協調処理に関する「武雄」サマー・ワークショップ))
- パネル討論会 : 人工知能とプログラミングの接点
- 大規模システムソフトウェアのモデル検査器の設計と実装
- 4.VITC : 情報流解析による高安全Cコンパイラ(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- ヘテロジニアシステム向けリモートプロセス管理機能(オペレーティングシステム)
- ヘテロジニアスシステム向けリモートプロセス管理機能
- 値間依存性に基づくポイントカット記述のためのバイトコード変換(推薦論文・SPA2005)
- 例外処理機構を備えた命令型言語のCPS変換とその定式化
- オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1
- 私のソフトウェア研究
- 接続を動的に制御するメッセージパッシングシステム(HPC-11 : グリッド(3))(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 安全な情報社会基盤を構築するために--ソフトウェアのセキュリティをいかに高めるか (特集 コンピュータセキュリティ)
- C++テンプレートを分割コンパイルするためのアプローチ
- テキスト処理言語における文字列のための正規表現型
- Moving FirewallにおけるDDoS攻撃対策システムの評価
- Moving FirewallにおけるDDoS攻撃対策システムの評価
- Moving FirewallにおけるDDoS攻撃対策システムの評価
- MK-1 社会基盤としてのセキュアコンピューティングの実現方式の研究(大型プロジェクト紹介,学術系企画)
- アプリケーションデータを保護するためのVMMに基づくアーキテクチャ
- システムコール制御に基づく仮想マシン間サンドボックスシステム
- 並列オブジェクト指向言語の分散環境における実現 (オブジェクト指向コンピューティング)
- オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1
- 対話領域の独立性を指向した日本語対話理解システム
- 並列オブジェクト指向言語ABCLによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- 動作系列別解析法による定性的回路解析とその実現
- オブジェクト指向方式による対話理解システム
- 19. 抽象データ型言語 (プログラミング言語の最近の動向)