JST ERATO 2013/7/26 Joint work with 1 / 37 1 2 3 4 5 6 2 / 37 1 2 3 4 5 6 3 / 37 : 4 / 37 ∗ 9 × 9 6 ∗ 10 × 10 25 ∗ 5 / 37 ∗ 9 × 9 6 ∗ 10 × 10 25 Bousquet-Mélou (2005) 19 × 19 3 1GHz Alpha 8 Iwashita (Sep 2012) 21 × 21 3 2.67GHz Xeon 1 Spaans (Feb 2013) 24 × 24 ??? 30 Iwashita (Apr 2013) 25 × 25 1 2.67GHz Xeon 30 ∗ 6 / 37 Sequence A007764 of the On-Line Encyclopedia of Integer Sequences n #path 1