misc.

雑記。