2022修士論文（横山研究室）

M2021SE008

水野 幹大

可逆言語の拡張とその可逆性及び正当性の証明