"白鳥佑弥,森口草介,渡部卓雄","関数リアクティブプログラミングにおける時変値の初期化手法の提案","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept.
"白鳥佑弥,森口草介,渡部卓雄","関数リアクティブプログラミングにおける時変値の初期値の自動決定","情報処理学会第57回組込みシステム研究会(SIGEMB57)","情報処理学会研究報告","情報処理学会","Vol. 2021-EMB-57","No. 2","pp. 1-5",2021,June
"白鳥佑弥,森口草介,渡部卓雄","出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定","日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)",,,,,,2020,Mar.