合同誌に載せたとときんの加筆差分を作りました。 公開可能になったからここに置きます。
ちょこ
2022-11-29 07:24:32 +0000 UTC