基本情報

所属
東北大学 電気通信研究所 助教
国立研究開発法人科学技術振興機構さきがけ さきがけ研究者
学位
博士(情報科学)(東北大学)

J-GLOBAL ID
201801001782818516

論文

  76

講演・口頭発表等

  6

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

  3

その他

  1
  • 機能が形式的に検証された整数およびガロア体上の算術演算回路の自動合成/生成システムおよびデータベース URL: https://www.ecsis.riec.tohoku.ac.jp/topics/amg