@inproceedings{CTT100941112,
  author = {松山 皓星 and 叢 悠悠 and 増原 英彦},
  title = {コレオグラフィックプログラミングのエフェクトおよびコエフェクトを用いた形式化},
  booktitle = {情報処理学会論文誌 プログラミング},
  year = 2026,
}