発行年1995 - 1999 キーワードImplication procedure 部局工学部