Welcome to Sakai & Nishida Lab.
Pages in Japanese.
Members
Staff
Gradate Students
Undergraduate students
Projects
Esoteric language: Malbolge
Psudo-Boolean Solver: NaPS
Combinatorial Optimization Solver based on SQL: CombSQL+
a Converter of C Programs to LCTRSs: c2lctrs
a COnverter for proving COnfluence of COnditional term rewriting systems: CO3
REwrite-Program Inversion and Unraveling System: REPIUS
Projected Model Counting/BDD construction: GPMC/PC2BDD
Access
Topics of our researches(
JPN
)
Information Engineering Course
Grad. School of Informatics
Nagoya University
This site is served by root
@
trs.css.i.n
a
goy
a
-u.
a
c.jp, last modified: Apr.04.2023 .
![[NUIE]](/icon/nuie.gif)
Information Engineering Course
![[IS]](/icon/is.gif)
Grad. School of Informatics
![[NU]](/icon/nagoya-u.gif)
Nagoya University