関数型言語処理系におけるデータ構成子のunbox化
スポンサーリンク
概要
- 論文の詳細を見る
遅延評価型の関数型言語は,理論的な取扱いが容易でプログラムも簡潔に書ける点が評価されているが,実行効率の問題が指摘されてきた.しかし,最近になってGlasgow Haskell Compilerに代表される効率的な言語処理系が登場し,実用的なプログラミング言語としても注目を集めている. 関数型言語処理系の効率的な実装を可能にした技術が大域的なプログラム解析をもとにした最適化であるが,この1つが正格性解析を用いた引数のunbox化によるメモリアクセスの軽減である.本論文では,この最適化をさらに進めて,unbox化を関数引数だけでなく代数データ型のデータ構成子の要素にも適用する方法を提案する.この方法に基づき,Glasgow Haskell Compilerのコード生成部を改良し,いくつかのプログラムに対して実行効率の向上を確認した.
- 一般社団法人日本ソフトウェア科学会の論文
- 1997-07-15
著者
-
田中 哲朗
東京大学情報基盤センター
-
武市 正人
東京大学大学院情報理工学系研究科
-
武市 正人
電気通信大学電気通信学部計算機科学科
-
武市 正人
東京大学工学部
-
田中 哲朗
東京大学工学部
-
田中 哲朗
東京大学教育用計算機センター
-
神門 有史
東京大学大学院工学系研究科
関連論文
- 4 大規模クラスタシステムでの実行 : GPS将棋の試み(コンピュータ将棋の不遜な挑戦)
- ボードゲーム「シンペイ」の完全解析(解析,ゲームプログラミング)
- ボードゲーム「シンペイ」の完全解析
- 少数キーを用いた日本語入力
- 3M-5 Bidirectional XML Transformation with Bi-X
- 3M-4 依存関係記述スキーマによる双方向XMLアプリケーションの開発(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- 3M-3 双方向変換に基づくウェブパブリッシング支援システムVu-X(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- 神経系の双方向マルチスケールシミュレーションと100時間ワークショップ : 東京大学21世紀COEプログラム「情報科学技術戦略コア」
- 2. 情報科学技術戦略コア(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
- 情報科学技術戦略コア
- 5-2-1 東京大学「情報科学技術戦略コア」(5-2 情報・電気・電子分野の21世紀COE,3プロジェクトの拠点リーダーより)(5.大学での研究プロジェクト : 21世紀COEプログラム)(グローバル化時代の教育と研究)
- 部分ゲームの解析結果を用いたカルキュレーションの戦略(ゲームプログラミング)
- 1.マルチコア計算機と基本的な並列化技法(マルチコアを活かすお手軽並列プログラミング)
- インターネットを用いた複数経路データ伝送方式の性能評価
- 「計算機科学」は死語?
- モデル検査技術を利用したプログラム解析器の生成ツール
- 新規節点で固定深さの探索を行うdf-pnの拡張
- I.Q Intelligent QubeのNP完全性の証明
- 特集「ゲームプログラミング」の編集にあたって
- 並列プログラムの候補生成と適合性検査による並列化
- 多地点テレビ会議における通信品質のばらつきが主観品質に及ぼす影響
- 複数経路を用いてIPパケット転送するマルチルートゲートウェイの実装と評価
- 5U-2 複数経路を用いてIPパケット転送するマルチルートゲートウェイの実装と評価
- 5U-1 TCP/IPパケットを複数経路に分配して通信する方式の性能評価
- B-11-2 複数のTCP通信にDRRを適用する場合の通信品質の評価
- B-11-1 最低保証帯域を設定したTCP通信品質の評価
- B-7-51 複数経路を用いたTCP通信に関する一検討
- B-11-14 電子商取引に帯域制御を適用する場合の通信品質の検討
- B-7-78 インターネットを用いた複数経路データ転送方式に関する一検討
- IPパケット損失がMPEG1音声・画像品質に及ぼす影響の評価
- IPパケット損失がMPEG1音声・画像品質に及ぼす影響の評価
- MPEG1総合品質に対する音声パケット損失及び画像フレムレートの影響の評価
- IPパケット損失がMPEG1画像品質に及ぼす影響の評価
- TCP通信を帯域保証する場合の問題点の分析
- TCP通信を帯域保証する場合の問題点の分析
- TCP通信を帯域保証する場合の問題点の分析
- 複数のTCP通信にWFQを適用する場合の通信品質の検討
- TCP通信を帯域保証する場合の問題点の分析
- 将棋プログラムの大規模並列実行
- パズルにまつわる最近の話題(思考ゲーム)
- AP1000へ移植したUtiLisp
- 補関数の生成による複製機能付きプログラムの自動双方向化
- 6.双方向変換による高信頼構造化文書処理(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- Generator-of-generators に基づく Fortress ライブラリ
- リスト上の最大マーク付け問題を解く並列プログラムの導出
- 木スケルトンによるXPathクエリの並列化とその評価
- 東京大学 情報理工学系研究科 創造情報学専攻の紹介(ラボラトリー)
- 木上の双方向変換を利用したファイルマネージャの実現
- 木上の双方向変換を利用したファイルマネージャの実現
- データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
- 閻魔 Webインタフェースによるプログラミング教育支援システム
- 決定論的2階パターンとプログラム変換への応用
- 少数キー入力に基づくエディターの紹介(福祉と言語処理/一般)
- 「どうぶつしょうぎ」 の完全解析
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- 少数キー入力に基づくエディターの紹介(福祉と言語処理/一般)
- 少数キーを用いた日本語入力(自然言語)(コラボレーションアートとネットワークエンターテイメント)
- ユーザ文書を用いた個別かな漢字変換支援
- 携帯電話における日本語入力 : 子音だけで日本語が入力できるか
- PPM法を用いたかな漢字変換の学習モデル
- NetBootによる端末を用いた教育用計算機システムの開発と評価(分散システム構築運用技術,ユーザ指向の分散システム/インターネットの運用・管理)
- 利得の最適連想規則を求める線形時間アルゴリズムの導出
- 最大重み和問題の線形時間アルゴリズムの導出
- ナップサック問題およびその発展問題の統一的解法
- 証明数と反証数を用いたλ探索(探索,ゲームプログラミング)
- 駒の関係を利用した将棋の評価関数の学習(評価関数,ゲームプログラミング)
- 効率的な詰将棋探索のための評価関数(セッション(1) : ゲーム情報学(1))
- 大規模クラスタシステムでの実行 : GPS将棋の試み
- プログラム融合変換の実用的有効性の検証
- HYLOシステムによるプログラム融合変換の実現
- 関係代数によるUNITYループの意味づけ
- パズルの解法(ゲームとコンピュータ)
- 木変換言語の双方向化に関する事例研究(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 学術の今日と明日 情報学分野の今日と明日
- R.M.Burstall and J.Darlington : A Transformation System for Developing Recursive Programs, J.ACM(1977)(20世紀の名著名論)
- しりとりゲームの数理的解析(ゲームプログラミング)
- 無理数を近似する分数(プログラム・プロムナード)
- 最中限の終盤の分析
- 部分計算を用いた手生成の高速化
- 怪物を閉じ込める(プログラム・プロムナード)
- 組木細工(プログラム・プロムナード)
- 3.Mac OS X編(2.教育用計算機環境の事例)(大規模分散ネットワーク環境における教育用計算機システム)
- 論理回路のシミュレーション(プログラム・プロムナード)
- パズル(ゲーム情報学研究の事例)(ゲーム情報学)
- ハフマン符号を解く(プログラム・プロムナード)
- プログラム・プロムナード : 大小の贈り物
- 倉庫番パズル(プログラム・プロムナード)
- 1, 600台のインターネット端末をつないだ : 東京大学教育用計算機システム(ECCS)
- 箱積みが最善引き分けの証明の別解
- 箱積みが最善引き分けの証明
- 疎結合並列計算機上の遅延評価型関数型言語処理系の性能評価
- 複数OS環境におけるユーザ管理
- 大規模計算機センターのセキュリティ対策事例
- マルチユーザ環境における仮想マシン上のWindows環境の構築
- 関数型言語処理系におけるデータ構成子のunbox化
- FPGAによる関数型言語向きアーキテクチャを持つプロセッサの実装
- 最善手の予測に基づくゲーム木探索の分散並列実行
- 入玉指向の将棋プログラムの作成
- 特集「ゲームプログラミング」の編集にあたって
- 定跡データベースの評価法の提案