tamura70
JA
News
&
Posts
Recent news and posts
Softwares
Developed/developing softwares
Research
Research projects etc.
Lectures
Tutorial articles
Puzzles
Puzzles
Misc.
Other contents
About Me
Affiliations and academic activities
Recent Posts
(2021-05-09)
Generating Numbers with Unary Functions
puzzle
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
puzzle
sliding
c
Sliding Block Puzzle Solver is released as a git repository.
(2021-01-03)
Polyomino Dissection and Tiling Solver
puzzle
tiling
java
Polyomino Dissection and Tiling Solver is released as a git repository.
(2021-01-01)
New Year Greetings 2021
puzzle
https://tamura70.gitlab.io/web-puzzle/calc/
(2020-12-30)
GitPod for seqprover/llprover
prover
seqprover
llprover
gitpod
I created two repositories for running seqprover and llprover on GitPod.
(2020-12-23)
Opening this site
We open this site.