研究キーワードが「数理論理学とその情報科学への応用」である研究者 30件 30件60件90件120件150件 オノ ヒロアキラ 小野 寛晰 Hiroakira Ono 北陸先端科学技術大学院大学 名誉教授