fixedpoint.jp

2016/08

08/13

• 「歩と銀を逆にするゲーム」を最短手数で解くには

08/02

• "Einstein's five houses"パズルをCoqで解く