研究キーワードが「computational logic」である研究者 30件 30件60件90件120件150件 サカマ チアキ 坂間 千秋 Chiaki Sakama 和歌山大学 システム工学部 教授 セキ ヒロヒサ 世木 博久 seki hirohisa ヤマサキ ススム 山崎 進 Susumu Yamasaki 岡山大学 大学院自然科学研究科 産業創成工学専攻 計算機科学講座 教授