BibTeX

@techreport{SS2025-43,
  author      = {川野蓮弥 and 結縁祥治},
  title       = {可逆プロセス計算CCSKにおける等価性検証},
  institution = {電子情報通信学会},
  year        = {2026},
  type        = {信学技報},
  number      = {vol. 125, no. 376, SS2025-43, pp. 79-84},
  month       = {3}
}