森口草介 Moriguchi Sosuke

研究者番号	60733409
その他のID	https://orcid.org/0000-0002-4153-4514
所属 (現在)	2026年度: 東京科学大学, 情報理工学院, 助教
所属 (過去の研究課題情報に基づく) *注記	2024年度: 東京科学大学, 情報理工学院, 助教 2019年度 – 2023年度: 東京工業大学, 情報理工学院, 助教
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連研究代表者以外小区分60050:ソフトウェア関連
キーワード	研究代表者関数リアクティブプログラミング / サイバーフィジカルシステム / 組込みシステム / プログラミング言語 / 周期的タスク / 消費電力 / 電源制御 / 型システム / 形式検証 / 定理証明支援系 … もっと見る / メタプログラミング / プログラム意味論 / 対話的証明支援系 / プログラム検証 … もっと見る研究代表者以外プログラミング言語 / 組込みシステム / サイバーフィジカルシステム / 関数リアクティブプログラミング / 実時間システム / バイトコードVM / JITコンパイラ / マイクロコントローラ / 低電力コプロセッサ / 型システム / アクターモデル / 対話的処理系 / 分散システム / 非同期実行 / 逆計算 / 同期的データフローシステム / 実時間処理 / 分散処理 / 非同期処理 / マイクロコントローラー隠す

時間を一級データとするFRP言語とそれによる実時間CPS開発支援
- 研究代表者
  
  渡部卓雄
- 研究期間 (年度)
  2024 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京科学大学
消費電力をパラメータとする関数リアクティブプログラミングの研究研究代表者
- 研究代表者
  
  森口草介
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京科学大学
アクターモデルとFRPの融合による高効率・高信頼CPS開発支援
- 研究代表者
  
  渡部卓雄
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京科学大学
ソースコードを操作するプログラムの検証技法の研究研究代表者
- 研究代表者
  
  森口草介
- 研究期間 (年度)
  2019 – 2024
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京科学大学

すべて 2025 2024 2023 2022 2021 2020

すべて雑誌論文学会発表

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

1. 渡部卓雄 (20222408)

共同の研究課題数: 3件

共同の研究成果数: 54件

森口 草介 Moriguchi Sosuke

研究課題

研究成果

共同研究者

時間を一級データとするFRP言語とそれによる実時間CPS開発支援

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

アクターモデルとFRPの融合による高効率・高信頼CPS開発支援

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ソースコードを操作するプログラムの検証技法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists2025

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御2025

著者名/発表者名

雑誌名

DOI

ISSN

年月日

言語

データソース

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

著者名/発表者名

雑誌名

データソース

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

著者名/発表者名

雑誌名

DOI

ISSN

年月日

言語

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists2024

著者名/発表者名

学会等名

データソース

[学会発表] mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices2024

著者名/発表者名

森口草介 Moriguchi Sosuke