@article{CTT100907995,
  author = {白井瑞貴 and 森口草介 and 渡部卓雄},
  title = {同期的データフロープログラミングにおける逆計算の構成方式},
  journal = {コンピュータソフトウェア},
  year = 2024,
}

@inproceedings{CTT100925189,
  author = {Sosuke Moriguchi and Satoshi Takimoto and Mizuki Shirai and Takuo Watanabe},
  title = {Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists},
  booktitle = {Proceedings of 13th Workshop on Computation: Theory and Practice (WCTP 2024)},
  year = 2024,
}

@inproceedings{CTT100901503,
  author = {白井瑞貴 and 森口草介 and 渡部卓雄},
  title = {同期的データフロープログラミングにおける逆計算の構成方式},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100865663,
  author = {白井瑞貴 and 横山陽彦 and 森口草介 and 渡部卓雄},
  title = {サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入},
  booktitle = {},
  year = 2022,
}