講演抄録/キーワード |
講演名 |
2013-10-18 11:50
高階圧縮の高速化と効率の良い符号化 ○矢口和也(東北大)・小林直樹(東大)・篠原 歩(東北大) COMP2013-34 |
抄録 |
(和) |
高階圧縮とは,与えられたデータを生成する高階関数型プログラムを構成する圧縮法であり,圧縮したままのデータ操作が可能であるという文法圧縮の利点を持つと同時に,従来手法では扱えないパターンの発見や高い圧縮率が期待される.本論文では、高階圧縮の既存研究では未解決であった(1)高速な圧縮アルゴリズムおよび(2)高階関数型プログラムのビット列への簡潔な符号化方法を提案し,その有効性を実験的に示す. |
(英) |
Higher-order compression is a scheme for compressing data in the form of functional programs that generate the data.
This compression scheme can be viewed a generalization of grammar-based compression, and retains its advantage that the compressed data can be manipulated without decompression.
Furthermore, the higher-order compression can achieve a high compression ratio and also discover patterns that cannot be found by traditional grammar-based compression.
In this paper, we propose an efficient algorithm and a bit-coding scheme for higher-order compression and evaluate their effectiveness through experiments. |
キーワード |
(和) |
高階圧縮 / データ圧縮 / ラムダ計算 / / / / / |
(英) |
higher-order compression / data compression / Lambda calculus / / / / / |
文献情報 |
信学技報, vol. 113, no. 252, COMP2013-34, pp. 13-20, 2013年10月. |
資料番号 |
COMP2013-34 |
発行日 |
2013-10-11 (COMP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2013-34 |