Pinhome pijat. 鱗 模様 英語. コープ 桜井. Agda2.