式木の説明読んでみたが、言ってることが関数型()の連中と全く同じでワロタ