雑多なもののまとめ．