ストーン・チェックのコンパクト化.