view Paper/tex/.#cbc_agda.tex @ 5:6c0b1fcbac2d

FIX SIGの論文ルールに基づいて修正
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Thu, 05 May 2022 17:38:06 +0900
parents 14a0e409d574
children
line wrap: on
line source

soto@Szeleta.local.353