"瀧本哲史,森口草介,渡部卓雄","組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御",,"コンピューターソフトウェア (採択済)","日本ソフトウェア科学会","Vol. 42",,,2025,Jan.
"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.
"瀧本哲史,森口草介,渡部卓雄","ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語","日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)",,,,,,2024,Mar.
"瀧本哲史,森口草介,渡部卓雄","組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御","日本ソフトウェア科学会第40回大会",,,,,,2023,Sept.
"瀧本哲史,森口草介,渡部卓雄","入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討","情報処理学会第60回組込みシステム研究会(SIGEMB60)","情報処理学会研究報告","情報処理学会","Vol. 2022-EMB-60",,"pp. 1-6",2022,July