形あるものへ : 子供,パワフルなアイデア,そして技術(第20回京都賞記念ワークショップ受賞者講演)
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 2005-10-26
著者
-
林 康史
東京大学大学院情報理工学系研究科
-
中野 圭介
東京大学大学院情報理工学系研究科
-
筧 一彦
東京大学産学連携本部
-
筧 一彦
東京大学大学院情報理工学系研究科
-
筧 一彦
東京大学大学院情報理工学系研究科数理情報学
-
ケイ アラン・カーティス
Viewpoints Research Institute
関連論文
- 3M-5 Bidirectional XML Transformation with Bi-X
- 3M-4 依存関係記述スキーマによる双方向XMLアプリケーションの開発(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- 3M-3 双方向変換に基づくウェブパブリッシング支援システムVu-X(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- 補関数の生成による複製機能付きプログラムの自動双方向化
- Generator-of-generators に基づく Fortress ライブラリ
- 木上の双方向変換を利用したファイルマネージャの実現
- 木上の双方向変換を利用したファイルマネージャの実現
- データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
- 閻魔 Webインタフェースによるプログラミング教育支援システム
- 「計算過程の部分評価」再び
- 累積変数を用いるリスト処理関数とその融合法
- Recursion Removal under Environments with Cache and Garbage Collection (Program Transformation, Symbolic Computation and Algebraic Manipulation)
- 木再帰プログラムからの再帰還元(一般発表)
- 再帰除去のごみ回避効果
- ある種の木再帰プログラムからの再帰除去
- ASIA-PEPM 2002/FLOPS 2002参加報告
- イベント駆動型文書変換器の自動生成
- XMLストリーム処理器の自動導出が可能なXML変換言語の設計
- 最適化機構を持つC++並列スケルトンライブラリ(サイバー増大ページ論文概要,サイバー増大号)
- 形あるものへ : 子供,パワフルなアイデア,そして技術(第20回京都賞記念ワークショップ受賞者講演)