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-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.
©2020-- Naoyuki Tamura