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日用のスリザーリンクのパズルです.