[ Japanese | English ]
Kusakari-Abuku Laboratory
Research Interest
- Combinatorial game theory
- Program Theory
- Term Rewriting System
- Automated Theorem Proving
- Program Verification
- Functional programming languages and their application
Member
- Professor
- KUSAKARI Keiichirou
- Assistant Professor
- ABUKU Tomoaki
- M2
-
UCHIDA Muneaki,
OKADA Haruki,
SATO Yuki,
TANAKA Shoma,
NISHIMOTO Yuma,
HOSHINO Sora
- M1
-
SATO Takami,
TATEIWA Yuudai
- B4
-
SHIMIZU Yasunori, TAKEDA Rui, NUKUMIZU Mikoto, HOJO Tsubasa, MATSUMOTO Kouta, YASUDA Senri
Access
[Faculty of Engineering]
[Gifu University]