tamura70

JA

News & Posts

Softwares

Developed/developing softwares

Research

Research projects etc.

Lectures

Tutorial articles

Puzzles

Misc.

About Me

Affiliations and academic activities

Recent 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.