キーワードpure-component property 部局大学院理工学研究科(工学)