@inproceedings{CTT100882649, author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe}, title = {Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems}, booktitle = {}, year = 2022, } @inproceedings{CTT100881149, author = {Ju Guiyuan and Sosuke Moriguchi and Takuo Watanabe}, title = {A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming}, booktitle = {}, year = 2022, } @inproceedings{CTT100878380, author = {瀧本哲史 and 森口草介 and 渡部卓雄}, title = {入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討}, booktitle = {情報処理学会研究報告}, year = 2022, } @inproceedings{CTT100865528, author = {横山 陽彦 and 森口 草介 and 渡部 卓雄}, title = {小規模組込みシステム向けFRP言語における非同期タスク処理機構}, booktitle = {}, year = 2022, } @inproceedings{CTT100865663, author = {白井瑞貴 and 横山陽彦 and 森口草介 and 渡部卓雄}, title = {サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入}, booktitle = {}, year = 2022, } @inproceedings{CTT100865664, author = {内野駿亮 and 森口草介 and 渡部卓雄}, title = {組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法}, booktitle = {}, year = 2022, }