「学者の杜（がくしゃのもり）」は、筑波大学の「研究者」が見えるデータベースです。
最新の研究業績や研究課題だけでなく、日本語で書かれた読みやすい記事や、研究を紹介するムービーなど
さまざまなコンテンツもまとめてみることできます。
検索結果： 1 結果 / 定理自動証明
海野 広志
Unno, Hiroshi
東北大学, 電気通信研究所, 教授 Tohoku University, Research Institute of Electrical Communication