本研究の目的は，これまでの研究成果である KL1 のスレッド化による効 率的な実装の改善である。今年度はスタック変数の導入によるスレッド実 行の高速化を重点的に研究し，最大で2倍程度の速度向上を達成した。