tamura70
EN
  • ニュース & ポスト
    最近のニュースと投稿ポストの一覧
  • ソフトウェア
    開発ソフトウェアの一覧
  • 研究
    研究プロジェクトなど
  • 講義
    現在および過去の講義資料，チュートリアル記事など
  • パズル
    パズル
  • その他
    その他のコンテンツ
  • About Me
    所属，学会活動など

最近のポスト

  • (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-02) 2021年の平成変換 puzzle パズル 年のパズル 平成変換 田村三郎
    令和3年と西暦2021年との間の平成変換についてです．
  • (2021-01-01) 2021年の年賀状 puzzle パズル 年のパズル 年賀状
    2021年の年賀状です． 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-29) 2021のスリザーリンク puzzle パズル 年のパズル スリザーリンク
    2021年1月1日用のスリザーリンクのパズルです．
©2020-- Naoyuki Tamura