基本情報

所属
岐阜大学 工学部 電気電子・情報工学科 情報コース 教授
教育推進・学生支援機構 教授
工学研究科 教授
学位
博士(情報科学)(北陸先端科学技術大学院大学)

J-GLOBAL ID
200901078391776889

論文

  35
  • 草刈 圭一朗
    IEICE Transactions on Information and Systems E101-D(6) 1491 - 1502 2018年6月  査読有り
  • YAMADA Akihisa, Christian Sternagel, René Thiemann, KUSAKARI Keiichirou
    Leibniz International Proceedings in Informatics (CSL2016) 62 8:1 - 8:16 2016年8月  査読有り
  • YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
    Science of Computer Programming CoRR abs(1404.6245) 2014年9月
  • YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
    In Proc. Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, , LNCS 8560 (RTA-TLCA 2014) 8560 466 - 475 2014年7月
  • YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
    In Proc. of the 15th International Symposium on Principles and Practice of Declarative Programming (PPDP2013) 181 - 192 2013年9月

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

  2

社会貢献活動

  1