使い手なら無精進を定義しないから