四則演算のspecを有効化．