• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

森口 草介  Moriguchi Sosuke

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

    (4件)
  • 研究成果

    (52件)
  • 共同研究者

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

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2024 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  消費電力をパラメータとする関数リアクティブプログラミングの研究研究代表者

    • 研究代表者
      森口 草介
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  アクターモデルとFRPの融合による高効率・高信頼CPS開発支援

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  ソースコードを操作するプログラムの検証技法の研究研究代表者

    • 研究代表者
      森口 草介
    • 研究期間 (年度)
      2019 – 2024
    • 研究種目
      若手研究
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学

すべて 2024 2023 2022 2021 2020

すべて 雑誌論文 学会発表

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

    • 著者名/発表者名
      白井 瑞貴、森口 草介、渡部 卓雄
    • 雑誌名

      コンピュータソフトウェア

      巻: -

    • 査読あり
    • データソース
      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
  • [学会発表] 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
  • [学会発表] ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語2024

    • 著者名/発表者名
      瀧本哲史, 森口草介, 渡部卓雄
    • 学会等名
      第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて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件
    共同の研究成果数: 40件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi