雑記

雑記をまとめています。