随分前に書いていて忘れてたのを出します。