"堀紗知子,森口草介,渡部卓雄","関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式","情報処理学会第57回組込みシステム研究会(SIGEMB57)","情報処理学会研究報告","情報処理学会","Vol. 2021-EMB-57","No. 3","pp. 1-2",2021,June