研究キーワードが「mathematical model ; formalization」である研究者 60件 30件60件90件120件150件 コバヤシ ジュンイチ 小林 淳一 Jun'ichi Kobayashi