"Sosuke Moriguchi,Satoshi Takimoto,Mizuki Shirai,Takuo Watanabe","Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists","13th Workshop on Computation: Theory and Practice (WCTP 2024)","Proceedings of 13th Workshop on Computation: Theory and Practice (WCTP 2024)",,,,,2024,Nov.
"白井瑞貴,森口草介,渡部卓雄","同期的データフロープログラミングにおける逆計算の構成方式",,"コンピュータソフトウェア","日本ソフトウェア科学会","Vol. 41","No. 3","pp. 34-40",2024,July
"白井瑞貴,森口草介,渡部卓雄","同期的データフロープログラミングにおける逆計算の構成方式","日本ソフトウェア科学会第40回大会",,,,,,2023,Sept.
"白井瑞貴,横山陽彦,森口草介,渡部卓雄","サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入","日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)",,,,,,2022,Mar.