Moriguchi Sosuke 森口草介

Researcher Number	60733409
Other IDs	https://orcid.org/0000-0002-4153-4514
Affiliation (Current)	2026: 東京科学大学, 情報理工学院, 助教
Affiliation (based on the past Project Information) *help	2024: 東京科学大学, 情報理工学院, 助教 2019 – 2023: 東京工業大学, 情報理工学院, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related Except Principal Investigator Basic Section 60050:Software-related
Keywords	Principal Investigator 関数リアクティブプログラミング / サイバーフィジカルシステム / 組込みシステム / プログラミング言語 / 周期的タスク / 消費電力 / 電源制御 / 型システム / 形式検証 / 定理証明支援系 … More / メタプログラミング / プログラム意味論 / 対話的証明支援系 / プログラム検証 … More Except Principal Investigator プログラミング言語 / 組込みシステム / サイバーフィジカルシステム / 関数リアクティブプログラミング / 実時間システム / バイトコードVM / JITコンパイラ / マイクロコントローラ / 低電力コプロセッサ / 型システム / アクターモデル / 対話的処理系 / 分散システム / 非同期実行 / 逆計算 / 同期的データフローシステム / 実時間処理 / 分散処理 / 非同期処理 / マイクロコントローラー Less

Development Support of Real-Time CPS using FRP Languages with First-Class Time
- Principal Investigator
  
  渡部卓雄
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo
消費電力をパラメータとする関数リアクティブプログラミングの研究Principal Investigator
- Principal Investigator
  
  森口草介
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo
Developmenf Support of Efficient and Reliable CPS with the integration of FRP and the Actor Model
- Principal Investigator
  
  Watanabe Takuo
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo
Research on Verification Methods for Program ManipulationsPrincipal Investigator
- Principal Investigator
  
  Moriguchi Sosuke
- Project Period (FY)
  2019 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo

All 2025 2024 2023 2022 2021 2020

All Journal Article Presentation

[Journal Article] Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists2025
- Author(s)
  Sosuke Moriguchi, Satoshi Takimoto, Mizuki Shirai, Takuko Watanabe
- Journal Title
  
  Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024), Atlantis Highlights in Computer Sciences
  
  Volume: 23 Pages: 7-19
- DOI
  10.2991/978-94-6463-684-0_2
- ISBN
  9789464636833, 9789464636840
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11822
[Journal Article] Mode Management of Peripherals Based on State Transition Model in FRP Language for Embedded Systems2025
- Author(s)
  瀧本哲史，森口草介，渡部卓雄
- Journal Title
  
  Computer Software
  
  Volume: 42 Issue: 1 Pages: 1_40-1_53
- DOI
  10.11309/jssst.42.1_40
- ISSN
  0289-6540
- Year and Date
  2025-01-24
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11822, KAKENHI-PROJECT-22K11967
[Journal Article] 同期的データフロープログラミングにおける逆計算の構成方式2024
- Author(s)
  白井瑞貴、森口草介、渡部卓雄
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22K11967
[Journal Article] Construction of Inverse Computation in Synchronous Dataflow Programming2024
- Author(s)
  白井瑞貴，森口草介，渡部卓雄
- Journal Title
  
  Computer Software
  
  Volume: 41 Issue: 3 Pages: 3_34-3_40
- DOI
  10.11309/jssst.41.3_34
- ISSN
  0289-6540
- Year and Date
  2024-07-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11822, KAKENHI-PROJECT-19K20245
[Presentation] 組込みデバイスのメモリ保護ユニットを活用したメモリ管理手法に向けた事前評価2025
- Author(s)
  鈴木豪, 渡部卓雄, 森口草介
- Organizer
  日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025)
- Data Source
  KAKENHI-PROJECT-24K14892
[Presentation] 定理証明支援系のためのライブラリ検索システム作成に向けて2025
- Author(s)
  瀧本哲史、森口草介、渡部卓雄
- Organizer
  日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025)
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] 定理証明支援系のためのライブラリ検索システム作成に向けて2025
- Author(s)
  瀧本哲史, 森口草介, 渡部卓雄
- Organizer
  日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025)
- Data Source
  KAKENHI-PROJECT-24K14892
[Presentation] 組込みデバイスのメモリ保護ユニットを活用したメモリ管理手法に向けた事前評価2025
- Author(s)
  鈴木豪、渡部卓雄、森口草介
- Organizer
  日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025)
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems2024
- Author(s)
  Akihiko Yokoyama、Sosuke Moriguchi、Takuo Watanabe
- Organizer
  13th International Conference on Software and Computer Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists2024
- Author(s)
  Moriguchi Sosuke、Takimoto Satoshi、Shirai Mizuki、Watanabe Takuo
- Organizer
  13th Workshop on Computation: Theory and Practice
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices2024
- Author(s)
  Go Suzuki, Takuo Watanabe, Sosuke Moriguchi
- Organizer
  Proc. 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR 2024), pp. 41-47 [査読有]
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24K14892
[Presentation] Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems2024
- Author(s)
  Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
- Organizer
  13th International Conference on Software and Computer Applications (ICSCA 2024), ACM, DOI: 10.1145/3651781.3651789 [査読有]
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] A Bytecode VM for an FRP Language for Small-Scale Embedded Systems2024
- Author(s)
  Yugo Otani、Go Suzuki、Sosuke Moriguchi、Takuo Watanabe
- Organizer
  Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2024)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] 小規模組込みシステム向けFRP言語のためのバイトコードVM2024
- Author(s)
  大谷悠豪、鈴木豪、森口草介、渡部卓雄
- Organizer
  情報処理学会第66回組込みシステム研究会
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] 小規模組込みシステム向けFRP言語のためのバイトコードVM2024
- Author(s)
  大谷悠豪, 鈴木豪, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第66回組込みシステム研究会(SIGEMB66)
- Data Source
  KAKENHI-PROJECT-24K14892
[Presentation] 組込みシステム向けFRP言語におけるリアルタイムタスクの記述と処理機構2024
- Author(s)
  十河健人、森口草介、渡部卓雄
- Organizer
  日本ソフトウェア科学会第41回大会
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] 組込みシステム向けFRP言語におけるリアルタイムタスクの記述と処理機構2024
- Author(s)
  十河健人, 森口草介, 渡部卓雄
- Organizer
  日本ソフトウェア科学会第41回大会
- Data Source
  KAKENHI-PROJECT-24K14892
[Presentation] mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices2024
- Author(s)
  Suzuki Go、Watanabe Takuo、Moriguchi Sosuke
- Organizer
  21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR 2024)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語2024
- Author(s)
  瀧本哲史, 森口草介, 渡部卓雄
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 省電力コプロセッサ上で Ruby プログラムを動かす mruby 処理系の実装に向けて2024
- Author(s)
  鈴木豪, 渡部卓雄, 森口草介
- Organizer
  第26回組込みシステム技術に関するサマーワークショップ(SWEST26)
- Data Source
  KAKENHI-PROJECT-24K14892
[Presentation] A Bytecode VM for an FRP Language for Small-Scale Embedded Systems2024
- Author(s)
  Yugo Otani, Go Suzuki, Sosuke Moriguchi, Takuo Watanabe
- Organizer
  Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2024) [査読有]
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24K14892
[Presentation] Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems2024
- Author(s)
  Yokoyama Akihiko、Moriguchi Sosuke、Watanabe Takuo
- Organizer
  13th International Conference on Software and Computer Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて2024
- Author(s)
  鈴木豪, 渡部卓雄, 森口草介
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices2023
- Author(s)
  Go Suzuki, Takuo Watanabe, Sosuke Moriguchi
- Organizer
  7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] Event by Timing: Periodic and Time-Sequencing Responses2023
- Author(s)
  Moriguchi Sosuke、Watanabe Takuo
- Organizer
  12th Workshop on Computation: Theory and Practice
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] Using Low Power Coprocessors in an FRP Language for Embedded Systems2023
- Author(s)
  Go Suzuki, Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
- Organizer
  Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023), pp. 1-8, IPSJ [査読有]
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 同期的データフロープログラミングにおける逆計算の構成方式2023
- Author(s)
  白井瑞貴, 森口草介, 渡部卓雄
- Organizer
  日本ソフトウェア科学会第40回大会
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Developing Distributed Systems with Multi-Party Functional Reactive Programming2023
- Author(s)
  Sosuke Moriguchi、Takuo Watanabe
- Organizer
  5th World Symposium on Software Engineering (WSSE 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] Using Low Power Coprocessors in an FRP Language for Embedded Systems2023
- Author(s)
  Go Suzuki、Akihiko Yokoyama、Sosuke Moriguchi、Takuo Watanabe
- Organizer
  Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] Event by Timing: Periodic and Time-Sequencing Responses2023
- Author(s)
  Sosuke Moriguchi、Takuo Watanabe
- Organizer
  12th Workshop on Computation: Theory and Practice
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems2023
- Author(s)
  Sogo Kento、Tsuji Yuta、Moriguchi Sosuke、Watanabe Takuo
- Organizer
  10th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] Developing Distributed Systems with Multiparty Functional Reactive Programming2023
- Author(s)
  Sosuke Moriguchi, Takuo Watanabe
- Organizer
  5th World Symposium on Software Engineering (WSSE 2023), pp. 61-66, ACM, DOI: 10.1145/3631991.3632000 [査読有]
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用2023
- Author(s)
  鈴木豪, 横山陽彦, 森口草介, 渡部卓雄
- Organizer
  第25回組込みシステム技術に関するサマーワークショップ(SWEST25)
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Event by Timing: Periodic and Time-Sequencing Responses2023
- Author(s)
  Sosuke Moriguchi, Takuo Watanabe
- Organizer
  12th Workshop on Computation: Theory and Practice (WCTP 2023), pp. 139-154, Atlantis Press, DOI: 10.2991/978-94-6463-388-7_10 [査読有]
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構（ポスター）2023
- Author(s)
  横山陽彦，森口草介，渡部卓雄
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), 2023年3月
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価2023
- Author(s)
  十河健人, 辻裕太, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第63回組込みシステム研究会(SIGEMB63), 情報処理学会研究報告(IPSJ SIG Technical Reports), Vol. 2023-EMB-63, No. 2
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Responsibilities of Responses in Functional Reactive Programming2023
- Author(s)
  Sosuke Moriguchi, Takuo Watanabe
- Organizer
  情報処理学会第142回プログラミング研究会
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] Developing Distributed Systems with Multi-Party Functional Reactive Programming2023
- Author(s)
  Moriguchi Sosuke、Watanabe Takuo
- Organizer
  5th World Symposium on Software Engineering (WSSE 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構2023
- Author(s)
  横山陽彦, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第143回プログラミング研究会(SIGPRO143), 2023年3月.
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御2023
- Author(s)
  瀧本哲史, 森口草介, 渡部卓雄
- Organizer
  日本ソフトウェア科学会第40回大会
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Responsibilities of Responses in Functional Reactive Programming2023
- Author(s)
  Sosuke Moriguchi, Takuo Watanabe
- Organizer
  情報処理学会第142回プログラミング研究会(SIGPRO142), 2023年1月.
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices2023
- Author(s)
  Go Suzuki, Takuo Watanabe & Sosuke Moriguchi
- Organizer
  7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2023), ACM, Mar. 2023. DOI:10.1145/3594671.3594674 [掲載予定・査読あり]
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構2023
- Author(s)
  横山陽彦, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第143回プログラミング研究会
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] 組込みシステム向けFRP言語における離散イベント機構の実装とその評価（ポスター）2023
- Author(s)
  十河健人，森口草介，渡部卓雄
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), 2023年3月
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems2023
- Author(s)
  Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe
- Organizer
  10th ACM SIGPLAN International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023), pp. 43-53, ACM, DOI:10.1145/3623506.3623578 [査読有]
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] REPLをサポートする小規模組込み機器向けFRP言語処理系の実装と評価（ポスター）2023
- Author(s)
  鈴木豪，渡部卓雄，森口草介
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), 2023年3月
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems2022
- Author(s)
  Akihiko Yokoyama, Sosuke Moriguchi & Takuo Watanabe
- Organizer
  9th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2022), ACM, pp. 1-12, Dec. 2022. DOI:10.1145/3563837.3568338 [査読あり]
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming2022
- Author(s)
  Ju Guiyuan, Sosuke Moriguchi, Takuo Watanabe
- Organizer
  日本ソフトウェア科学会第39回大会, 2022年8月.
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討2022
- Author(s)
  瀧本哲史, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第60回組込みシステム研究会
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming2022
- Author(s)
  Ju Guiyuan, Sosuke Moriguchi, Takuo Watanabe
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] 入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討2022
- Author(s)
  瀧本哲史, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第60回組込みシステム研究会(SIGEMB60), 情報処理学会研究報告(IPSJ SIG Technical Reports), Vol. 2022-EMB-60, No. 1, 2022年7月
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 小規模組込みシステム向けFRP言語における非同期タスク処理機構2022
- Author(s)
  横山陽彦, 森口草介, 渡部卓雄
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) [査読あり]
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems2022
- Author(s)
  Yokoyama Akihiko、Moriguchi Sosuke、Watanabe Takuo
- Organizer
  9th International Workshop on Reactive and Event-based Languages & Systems
- Data Source
  KAKENHI-PROJECT-22K11967
[Presentation] 組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法（ポスター）2022
- Author(s)
  内野駿亮, 森口草介, 渡部卓雄
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 小規模組込みシステム向け FRP言語における非同期タスク処理機構2022
- Author(s)
  横山陽彦，森口草介，渡部卓雄
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入（ポスター）2022
- Author(s)
  白井瑞貴, 横山陽彦, 森口草介, 渡部卓雄
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] Functional Reactive Programming for Embedded Systems with GPGPUs2021
- Author(s)
  Yoshitaka Sakurai, Sosuke Moriguchi, Takuo Watanabe
- Organizer
  10th InternationalConference on Software and Computer Application (ICSCA 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] 小規模組込みシステム向けFRP言語における周期的タスクの記述方式2021
- Author(s)
  辻裕太, 森口草介, 渡部卓雄
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 関数リアクティブプログラミングにおける時変値の初期値の自動決定2021
- Author(s)
  白鳥佑弥，森口草介，渡部卓雄
- Organizer
  第57回組込みシステム研究発表会
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] Specifications of Source-code Targeted Programs2021
- Author(s)
  Sosuke Moriguchi
- Organizer
  Workshop on Computation: Theory and Practice
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] 関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式2021
- Author(s)
  堀紗知子，森口草介，渡部卓雄
- Organizer
  第57回組込みシステム研究発表会
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] 関数リアクティブプログラミングにおける時変値の初期化手法の提案2021
- Author(s)
  白鳥佑弥, 森口草介, 渡部卓雄
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 関数リアクティブプログラミングにおける時変値の初期化手法の提案2021
- Author(s)
  白鳥佑弥，森口草介，渡部卓雄
- Organizer
  日本ソフトウェア科学会大会第38回大会
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] 小規模組込みシステム向けFRP言語のための再帰データ型2021
- Author(s)
  横山陽彦, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第133回プログラミング研究会(SIGPRO133)
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] 関数リアクティブプログラミングにおける時変値の初期値の自動決定2021
- Author(s)
  白鳥佑弥, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第57回組込みシステム研究会(SIGEMB57)
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式2021
- Author(s)
  堀紗知子, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第57回組込みシステム研究会(SIGEMB57)
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証2021
- Author(s)
  内藤博, 森口草介, 渡部卓雄
- Organizer
  情報処理学会第57回組込みシステム研究会(SIGEMB57)
- Data Source
  KAKENHI-PROJECT-21K11822
[Presentation] 組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証2021
- Author(s)
  内藤博，森口草介，渡部卓雄
- Organizer
  第57回組込みシステム研究発表会
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] 小規模組込みシステム向けFRP言語における周期的タスクの記述方式2021
- Author(s)
  辻裕太，森口草介，渡部卓雄
- Organizer
  日本ソフトウェア科学会大会第38回大会
- Data Source
  KAKENHI-PROJECT-19K20245
[Presentation] 小規模組込みシステム向けFRP言語に対する再帰的データ型の導入2020
- Author(s)
  横山陽彦, 森口草介, 渡部卓雄
- Organizer
  PPL 2020: 第22回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-19K20245

1. Watanabe Takuo (20222408)

# of Collaborated Projects: 3 results

# of Collaborated Products: 54 results

Moriguchi Sosuke 森口 草介

Research Projects

Research Products

Co-Researchers

Development Support of Real-Time CPS using FRP Languages with First-Class Time

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

消費電力をパラメータとする関数リアクティブプログラミングの研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Developmenf Support of Efficient and Reliable CPS with the integration of FRP and the Actor Model

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on Verification Methods for Program ManipulationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists2025

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Mode Management of Peripherals Based on State Transition Model in FRP Language for Embedded Systems2025

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] 同期的データフロープログラミングにおける逆計算の構成方式2024

Author(s)

Journal Title

Data Source

[Journal Article] Construction of Inverse Computation in Synchronous Dataflow Programming2024

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Presentation] 組込みデバイスのメモリ保護ユニットを活用したメモリ管理手法に向けた事前評価2025

Author(s)

Organizer

Data Source

[Presentation] 定理証明支援系のためのライブラリ検索システム作成に向けて2025

Author(s)

Organizer

Data Source

[Presentation] 定理証明支援系のためのライブラリ検索システム作成に向けて2025

Author(s)

Organizer

Data Source

[Presentation] 組込みデバイスのメモリ保護ユニットを活用したメモリ管理手法に向けた事前評価2025

Author(s)

Organizer

Data Source

[Presentation] Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems2024

Author(s)

Organizer

Data Source

[Presentation] Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists2024

Author(s)

Organizer

Data Source

[Presentation] mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices2024

Author(s)

Moriguchi Sosuke 森口草介