ストーンチェックコンパクト化の構成

構成だけして性質とかは証明しません。