振舞い等価な変更列による機能等価な関数ペアの差分説明の研究

@misc{someya-bthesis,
    author = {染谷 孝太},
    title = {振舞い等価な変更列による機能等価な関数ペアの差分説明の研究},
    howpublished = {学士特定課題研究論文（東京科学大学 情報理工学院 情報工学系）},
    year = 2025,
}