Posts

(2021-05-09)

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.

(2021-01-04)

Sliding Block Puzzle Solver

Sliding Block Puzzle Solver is released as a git repository.

(2021-01-03)

Polyomino Dissection and Tiling Solver

Polyomino Dissection and Tiling Solver is released as a git repository.

(2021-01-01)

New Year Greetings 2021

(2020-12-30)

GitPod for seqprover/llprover

I created two repositories for running seqprover and llprover on GitPod.

(2020-12-23)

Opening this site

We open this site.