misc

分類できない雑多なものをメモしていきたいと思います。