"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types",,"Journal of Information Processing","Information Processing Society of Japan","Vol. 29",,"pp. 685-706",2021,Oct. "Yuta Tsuji,Sosuke Moriguchi,Takuo Watanabe","小規模組込みシステム向けFRP言語における周期的タスクの記述方式","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept. "Takuo Watanabe","関数リアクティブプログラミング言語による小規模組込みシステムのプログラミング","第23回 組込みシステム技術に関するサマーワークショップ (SWEST23)",,,,,,2021,Sept. "Yuya Shiratori,Sosuke Moriguchi,Takuo Watanabe","関数リアクティブプログラミングにおける時変値の初期化手法の提案","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept. "Sachiko Hori,Sosuke Moriguchi,Takuo Watanabe","関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式","情報処理学会第57回組込みシステム研究会(SIGEMB57)","IPSJ SIG Technical Report","情報処理学会","Vol. 2021-EMB-57","No. 3","pp. 1-2",2021,June "Hiroshi Naito,Sosuke Moriguchi,Takuo Watanabe","組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証","情報処理学会第57回組込みシステム研究会(SIGEMB57)","IPSJ SIG Technical Report","情報処理学会","Vol. 2021-EMB-57","No. 4","pp. 1-2",2021,June "Yuya Shiratori,Sosuke Moriguchi,Takuo Watanabe","関数リアクティブプログラミングにおける時変値の初期値の自動決定","情報処理学会第57回組込みシステム研究会(SIGEMB57)","IPSJ SIG Technical Report","情報処理学会","Vol. 2021-EMB-57","No. 2","pp. 1-5",2021,June "Tsukasa Gotoh,Sosuke Moriguchi,Takuo Watanabe","A Macroprogramming Language for Wireless Sensor-Actor Networks",,"Computer Software","JSSST","Vol. 38","No. 2","pp. 20-26",2021,Apr. "Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","Recursive Data Types for an FRP language for Small-scale Embbeded Systems","IPSJ SIGPRO 133",,,,,,2021,Mar. "Takuo Watanabe,Kazuhiro Shibanai","Towards a Functional Reactive Programming Model for Developing WSANs","Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020)","Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020)","IPSJ",,,"pp. 1-5",2021,Mar. "Yoshitaka Sakurai,Sosuke Moriguchi,Takuo Watanabe","Functional Reactive Programming for Embedded Systems with GPGPUs","10th International Conference on Software and Computer Applications",,"ACM",,,"pp. 75-80",2021,Feb.