@article{CTT100858437, author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe}, title = {A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types}, journal = {Journal of Information Processing}, year = 2021, } @article{CTT100841204, author = {Tsukasa Gotoh and Sosuke Moriguchi and Takuo Watanabe}, title = {A Macroprogramming Language for Wireless Sensor-Actor Networks}, journal = {Computer Software}, year = 2021, } @inproceedings{CTT100861359, author = {Takuo Watanabe}, title = {関数リアクティブプログラミング言語による小規模組込みシステムのプログラミング}, booktitle = {}, year = 2021, } @inproceedings{CTT100860442, author = {Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe}, title = {小規模組込みシステム向けFRP言語における周期的タスクの記述方式}, booktitle = {}, year = 2021, } @inproceedings{CTT100860441, author = {Yuya Shiratori and Sosuke Moriguchi and Takuo Watanabe}, title = {関数リアクティブプログラミングにおける時変値の初期化手法の提案}, booktitle = {}, year = 2021, } @inproceedings{CTT100853675, author = {Sachiko Hori and Sosuke Moriguchi and Takuo Watanabe}, title = {関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式}, booktitle = {IPSJ SIG Technical Report}, year = 2021, } @inproceedings{CTT100853674, author = {Yuya Shiratori and Sosuke Moriguchi and Takuo Watanabe}, title = {関数リアクティブプログラミングにおける時変値の初期値の自動決定}, booktitle = {IPSJ SIG Technical Report}, year = 2021, } @inproceedings{CTT100853677, author = {Hiroshi Naito and Sosuke Moriguchi and Takuo Watanabe}, title = {組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証}, booktitle = {IPSJ SIG Technical Report}, year = 2021, } @inproceedings{CTT100834446, author = {Takuo Watanabe and Kazuhiro Shibanai}, title = {Towards a Functional Reactive Programming Model for Developing WSANs}, booktitle = {Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020)}, year = 2021, } @inproceedings{CTT100844058, author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe}, title = {Recursive Data Types for an FRP language for Small-scale Embbeded Systems}, booktitle = {}, year = 2021, } @inproceedings{CTT100841919, author = {Yoshitaka Sakurai and Sosuke Moriguchi and Takuo Watanabe}, title = {Functional Reactive Programming for Embedded Systems with GPGPUs}, booktitle = {}, year = 2021, }