Coq 環境を整えた