Recent news and posts
Research projects etc.
Affiliations and academic activities
Generating Numbers with Unary Functions
This is a revised version of my article "A puzzle of function calculator" that appeared as a problem of Nanopico Classroom in the January 1989 issue of Kyoritsu Shuppan's bit.
Sliding Block Puzzle Solver
Sliding Block Puzzle Solver is released as a git repository.
Polyomino Dissection and Tiling Solver
Polyomino Dissection and Tiling Solver is released as a git repository.
New Year Greetings 2021
GitPod for seqprover/llprover
I created two repositories for running seqprover and llprover on GitPod.
Opening this site
We open this site.