基本情報

所属
筑波大学 数理物質系 准教授
(兼任) 人工知能科学センター
学位
博士(理学)(2010年3月 筑波大学)
修士(理学)(1997年3月 筑波大学)

ORCID ID
 https://orcid.org/0000-0003-0846-3643
J-GLOBAL ID
200901044780941214

外部リンク

専門は計算機代数・数式処理。数式・数値融合計算の理論と応用、数式処理による自動推論。計算機代数と数値計算やAIの間を行ったり来たりしています。

経歴

  5

論文

  17

MISC

  40

書籍等出版物

  1
  • 長坂 耕作, 岩根 秀直, 北本 卓也, 讃岐 勝, 照井 章, 鍋島 克輔(担当:共著)
    共立出版  2019年3月 (ISBN: 9784320113732) 

講演・口頭発表等

  5

所属学協会

  5

共同研究・競争的資金等の研究課題

  11

産業財産権

  1