研究キーワードが「specification description」である研究者 30件 30件60件90件120件150件 カイヤ ハルヒコ 海谷 治彦 Haruhiko Kaiya 神奈川大学 情報学部計算機科学科 教授