少し前に書いた雑記を後日体裁を整えたものになります。