@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, } @inproceedings{CTT100907994, author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe}, title = {Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems}, booktitle = {Proceedings of 13th International Conference on Software and Computer Applications (ICSCA 2024)}, year = 2024, } @inproceedings{CTT100904745, author = {Go Suzuki and Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe}, title = {Using Low Power Coprocessors in an FRP Language for Embedded Systems}, booktitle = {Proc. Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023)}, year = 2023, } @inproceedings{CTT100897801, author = {鈴木豪 and 横山陽彦 and 森口草介 and 渡部卓雄}, title = {対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用}, booktitle = {}, year = 2023, } @inproceedings{CTT100885507, author = {横山陽彦 and 森口草介 and 渡部卓雄}, title = {小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構}, booktitle = {}, year = 2023, } @inproceedings{CTT100885488, author = {横山陽彦 and 森口草介 and 渡部卓雄}, title = {小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構}, booktitle = {}, year = 2023, } @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{CTT100865663, author = {白井瑞貴 and 横山陽彦 and 森口草介 and 渡部卓雄}, title = {サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入}, booktitle = {}, year = 2022, } @inproceedings{CTT100865528, author = {横山 陽彦 and 森口 草介 and 渡部 卓雄}, title = {小規模組込みシステム向けFRP言語における非同期タスク処理機構}, booktitle = {}, year = 2022, } @inproceedings{CTT100844058, author = {横山陽彦 and 森口草介 and 渡部卓雄}, title = {小規模組込みシステム向けFRP言語のための再帰データ型}, booktitle = {}, year = 2021, } @inproceedings{CTT100836142, author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe}, title = {Bounded-Construction-Types for Functional Reactive Programming}, booktitle = {Philippine Computing Journal}, year = 2020, } @inproceedings{CTT100815513, author = {横山陽彦 and 森口草介 and 渡部卓雄}, title = {小規模組込みシステム向けFRP言語に対する再帰的データ型の導入}, booktitle = {}, year = 2020, } @inproceedings{CTT100800315, author = {渡部卓雄 and 柴内一宏 and 櫻井義孝 and 松村有倫 and 横山陽彦}, title = {関数リアクティブプログラミング言語によるサイバーフィジカルシステム開発支援にむけて}, booktitle = {組込みシステムシンポジウム2019論文集}, year = 2019, } @inproceedings{CTT100820159, author = {横山陽彦 and 渡部卓雄}, title = {組込みシステム向けFRP言語に対する第一級関数の導入}, booktitle = {}, year = 2019, } @inproceedings{CTT100791999, author = {渡部卓雄 and 松村有倫 and 横山陽彦}, title = {小規模組込みシステム向け関数リアクティブプログラミング言語のためのモジュール化機構}, booktitle = {情報処理学会研究報告}, year = 2019, } @misc{CTT100918073, author = {横山陽彦}, title = {リソースアウェアなリアクティブプログラミング言語}, year = 2024, } @misc{CTT100909597, author = {横山陽彦}, title = {リソースアウェアなリアクティブプログラミング言語}, year = 2024, } @misc{CTT100909595, author = {横山陽彦}, title = {リソースアウェアなリアクティブプログラミング言語}, year = 2024, } @phdthesis{CTT100918073, author = {横山陽彦}, title = {リソースアウェアなリアクティブプログラミング言語}, school = {東京工業大学}, year = 2024, } @phdthesis{CTT100909597, author = {横山陽彦}, title = {リソースアウェアなリアクティブプログラミング言語}, school = {東京工業大学}, year = 2024, } @phdthesis{CTT100909595, author = {横山陽彦}, title = {リソースアウェアなリアクティブプログラミング言語}, school = {東京工業大学}, year = 2024, }