富山県立大学

• 情報システム工学科 （電子・情報工学科 ）

  • 榊原研究室 同じグループの研究室です．2020年度から同じ部屋で活動しています．

  • 鳥山・浦島・森島研究室 2015年度まで同じグループでした．

北陸先端科学技術大学院大学

• 緒方研究室

• 代数仕様言語CafeOBJ

• TRS Meeting

The University of Illinois at Urbana-Champaign

• 代数仕様言語Maude