This document is moved to https://blog.iwate.me/型パズル難しい/