Takeichi Masato | Department Of Computer Science The University Of Electro-communications
スポンサーリンク
概要
関連著者
-
Takeichi Masato
Department Of Computer Science The University Of Electro-communications
-
Takeichi Masato
Department Of Mathemetical Engineering And Information Physics Faculty Of Engineering University Of
-
武市 正人
東京大学大学院情報理工学系研究科
-
武市 正人
電気通信大学電気通信学部計算機科学科
-
武市 正人
東京大学
-
武市 正人
東京大学工学部
-
胡 振江
国立情報学研究所アーキテクチャ科学研究系
-
胡 振江
東京大学大学院情報理工学系研究科
-
武市 正人
東京大学情報理工学系研究科
-
松崎 公紀
東京大学大学院情報理工学系研究科
-
筧 一彦
東京大学産学連携本部
-
中野 圭介
東京大学大学院情報理工学系研究科
-
中野 圭介
電気通信大学
-
松田 一孝
東北大学大学院情報科学研究科
-
松田 一孝
東京大学大学院情報理工学系研究科
-
林 康史
東京大学大学院情報理工学系研究科
-
劉 東喜
東京大学大学院情報理工学系研究科
-
佐藤 知正
東京大学情報理工学系研究科
-
佐藤 知正
東京大学大学院工学系研究科機械情報工学専攻
-
野村 芳明
東京大学大学院情報理工学系研究科
-
筧 一彦
東京大学大学院情報理工学系研究科
-
筧 一彦
東京大学大学院情報理工学系研究科数理情報学
-
平木 敬
東京大学大学院情報理工学系研究科
-
坂井 修一
東京大学情報理工学研究科電子情報学専攻
-
平木 敬
東京大学情報理工学系研究科
-
下山 勲
東京大学情報理工学系研究科
-
杉原 厚吉
東京大学情報理工学系研究科
-
平木 敬
東京大学理学部情報科学科 電子技術総合研究所
-
杉原 厚吉
東京大学
-
江本 健斗
東京大学大学院情報理工学系研究科
-
大川 徳之
東京大学大学院情報理工学系研究科
-
森田 直幸
東京大学大学院情報理工学系研究科
-
Takeichi Masato
Department of Mathematical Engineering and Information Physics, Faculty Engineering, University of T
-
胡 振江
国立情報学研究所
-
下山 勲
東京大学大学院情報理工学系研究科
-
大武 美保子
東京大学人工物工学研究センター
-
松崎 公紀
東京大学
-
大武 美保子
東大
-
下山 勲
東京大学 大学院情報理工学系研究科 知能機械情報学専攻
-
Liu Dongxi
東大
-
林 康史
東大
-
中野 圭介
東大
-
胡 振江
東大
-
武市 正人
東大
-
田中 久美子
東京大学大学院情報理工学系研究科
-
大武 美保子
東京大学人工物工学研究センター・学術統合化プロジェクト(ヒト)
-
森畑 明昌
東京大学大学院情報理工学系研究科
-
浜名 誠
群馬大学工学研究科
-
胡振江
国立情報学研究所アーキテクチャ科学研究系
-
横山 哲郎
東京大学大学院情報理工学系研究科
-
田中 久美子
東京大学 大学院 情報学環
-
Kaneako Keiichi
Department of Mathematical Engineering and Information Physics, Faculty Engineering, University of T
-
Wang Hao
Department Of Cardiology First Teaching Hospital Xi'an Medical University
-
Kaneko Kunihiko
Graduate School Of Information Science And Electrical Engineering Department Of Intelligent Systems
-
穆 信成
東京大学大学院情報理工学系研究科
-
Kaneko Keiichi
Department of Computer Science and Electronics, Kyushu Institute of Technology
-
Kaneako Keiichi
Department Of Mathematical Engineering And Information Physics Faculty Engineering University Of Tok
-
Kaneko K
Tokyo Univ. Agriculture And Technol. Koganei‐shi Jpn
-
Kaneko Keiichi
Department Of Chemistry Sophia University
-
Takeichi M
Univ. Tokyo
-
Takeichi Masato
Department Of Mathematical Engineering And Information Physics Faculty Engineering University Of Tok
-
Takeichi Masato
Department Of Mathematical Engineering And Information Physics Faculty Of Engineering University Of
-
AKAMA YOJI
Department of Mathemetical Engineering and Information Physics, Faculty of Engineering, University o
-
Akama Yoji
Department Of Mathemetical Engineering And Information Physics Faculty Of Engineering University Of
-
Hu Zhenjiang
Department of Mathematical Informatics, The University of Tokyo
-
Kakehi Kazuhiko
Division of University Corporate Relations, The University of Tokyo
-
Liu Dongxi
Department of Mathematical Informatics, The University of Tokyo
著作論文
- Derivation of Efficient Pattern Matching Algorithms by Fully Lazy Evaluation with Lazy Memo-ization
- 3M-5 Bidirectional XML Transformation with Bi-X
- 3M-4 依存関係記述スキーマによる双方向XMLアプリケーションの開発(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- 3M-3 双方向変換に基づくウェブパブリッシング支援システムVu-X(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- A Java Library for Bidirectional XML Transformation
- 神経系の双方向マルチスケールシミュレーションと100時間ワークショップ : 東京大学21世紀COEプログラム「情報科学技術戦略コア」
- 2. 情報科学技術戦略コア(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
- 情報科学技術戦略コア
- 1.マルチコア計算機と基本的な並列化技法(マルチコアを活かすお手軽並列プログラミング)
- 並列プログラムの候補生成と適合性検査による並列化
- 補関数の生成による複製機能付きプログラムの自動双方向化
- 6.双方向変換による高信頼構造化文書処理(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- Generator-of-generators に基づく Fortress ライブラリ
- リスト上の最大マーク付け問題を解く並列プログラムの導出
- 木スケルトンによるXPathクエリの並列化とその評価
- 東京大学 情報理工学系研究科 創造情報学専攻の紹介(ラボラトリー)
- 木上の双方向変換を利用したファイルマネージャの実現
- 木上の双方向変換を利用したファイルマネージャの実現
- データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
- 閻魔 Webインタフェースによるプログラミング教育支援システム
- 決定論的2階パターンとプログラム変換への応用
- 木変換言語の双方向化に関する事例研究(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- Relationship between Lambda Hoisting and Fully Lazy Lambda Lifting
- Deriving a Functional Knuth-Morris-Pratt Algorithm by Transformation
- An Alternative Scheme for Evaluating Combinator Expressions
- Consistent Annotations for Scope Rules
- Name Identification for Languages with Explicit Scope Control