misc

いろいろなこと。