キーワードImplication procedure 部局工学部