有限列のコード化（IΣ₀(exp)）