雑記

gist をブログに貼り付けてみます。下のスクリプトは2つの例ではたぶん意図通りに動いていますがそれ以外の例でバグが出るかもしれません。いつか確認します。