>>640

主語の数学的定義は何でしょうか?