胡 振江 | 東京大学大学院情報理工学系研究科
スポンサーリンク
概要
関連著者
-
胡 振江
東京大学大学院情報理工学系研究科
-
胡 振江
国立情報学研究所アーキテクチャ科学研究系
-
武市 正人
東京大学大学院情報理工学系研究科
-
武市 正人
電気通信大学電気通信学部計算機科学科
-
武市 正人
東京大学工学部
-
武市 正人
東京大学
-
Takeichi Masato
Department Of Mathemetical Engineering And Information Physics Faculty Of Engineering University Of
-
Takeichi Masato
Department Of Computer Science The University Of Electro-communications
-
岩崎 英哉
電気通信大学大学院情報理工学研究科
-
小川 瑞史
東京大学大学院情報理工学系研究科,科学技術振興事業団
-
小川 瑞史
北陸先端科学技術大学院大学
-
小川 瑞史
Ntt
-
篠埜 功
東京大学大学院工学系研究科情報工学専攻
-
小川 瑞史
Ntt ソフトウェア研究所
-
小川 瑞史
東京大学大学院情報理工学系研究科 科学技術振興事業団
-
筧 一彦
東京大学産学連携本部
-
筧 一彦
東京大学大学院情報理工学系研究科
-
筧 一彦
東京大学大学院情報理工学系研究科数理情報学
-
松田 一孝
東北大学大学院情報科学研究科
-
松崎 公紀
東京大学大学院情報理工学系研究科
-
松田 一孝
東京大学大学院情報理工学系研究科
-
野村 芳明
東京大学大学院情報理工学系研究科
-
林 康史
東京大学大学院情報理工学系研究科
-
岩崎 英哉
電気通信大学情報工学科
-
劉 東喜
東京大学大学院情報理工学系研究科
-
中野 圭介
東京大学大学院情報理工学系研究科
-
中野 圭介
電気通信大学
-
岩崎 英哉
電気通信大学
-
岩崎 英哉
東京大学教育用計算機センター
-
大川 徳之
東京大学大学院情報理工学系研究科
-
森田 直幸
東京大学大学院情報理工学系研究科
-
横山 哲郎
東京大学大学院情報理工学系研究科
-
小川 瑞史
科学技術振興事業団さきがけ研究21
-
小川 瑞史
NTTコミュニケーション科学基礎研究所・科学技術振興事業団さきがけ21
-
尾上 能之
東京大学大学院情報理工学系研究科
-
胡 振江
国立情報学研究所
-
胡 振江
東京大学
-
田中 哲朗
東京大学情報基盤センター
-
山岡 裕司
東京大学大学院情報理工学系研究科
-
岩崎 英哉
東京農工大学工学部
-
田中 哲朗
東京大学工学部
-
江本 健斗
東京大学大学院情報理工学系研究科
-
岩崎 英哉
東京大学大学院工学系研究科情報工学
-
穆 信成
東京大学大学院情報理工学系研究科
-
明石 良樹
電気通信大学大学院電気通信学研究科情報工学専攻
-
趙 海燕
東京大学大学院 工学系研究科 情報工学専攻
-
伊藤 隆
東京大学大学院情報理工学系研究科数理情報学専攻
-
伊藤 隆
東京大学大学院情報理工学系研究科数理情報学専攻:(現)三菱電機株式会社情報技術総合研究所
著作論文
- 3M-4 依存関係記述スキーマによる双方向XMLアプリケーションの開発(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- 3M-3 双方向変換に基づくウェブパブリッシング支援システムVu-X(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- モデル検査技術を利用したプログラム解析器の生成ツール
- リスト上の最大マーク付け問題を解く並列プログラムの導出
- 木スケルトンによるXPathクエリの並列化とその評価
- 木上の双方向変換を利用したファイルマネージャの実現
- 木上の双方向変換を利用したファイルマネージャの実現
- データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
- 決定論的2階パターンとプログラム変換への応用
- 利得の最適連想規則を求める線形時間アルゴリズムの導出
- 最大重み和問題の線形時間アルゴリズムの導出
- ACM PLI 2000会議報告
- ナップサック問題およびその発展問題の統一的解法
- プログラム融合変換の実用的有効性の検証
- HYLOシステムによるプログラム融合変換の実現
- 木変換言語の双方向化に関する事例研究(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 「不惑」の中国若手研究リーダーたち
- スケルトン並列プログラミング
- 最適化機構を持つC++並列スケルトンライブラリ(サイバー増大ページ論文概要,サイバー増大号)
- Joseph E. Stoy : Denotational Semantic: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977(20世紀の名著名論)
- しりとりゲームの数理的解析(ゲームプログラミング)
- 変換戦略の記述に基づくプログラムの自動生成システムの実装
- 最小属性値を持つ多次元探索木の提案.
- 蓄積引数を持つ関数プログラムの融合変換
- 関数プログラムのプロモーション変換のための二手法の関係
- 平面上の矩形和の最大値問題の並列プログラムの導出
- グラフの探索関数の再帰的定義と変換(特集●プログラミング及びプログラミング言語)
- プログラム運算による並列プログラミング(特集・新世紀フォーラム)