そういや、Aの定義に>>417を採用した。が、他で出てるのとはどうやら別物っぽいね。