t_wの輪郭

KJ法は島を作るたびにラベルが減る。この性質は絶対的な有限性を持っている。