• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Moriguchi Sosuke  森口 草介

ORCIDConnect your ORCID iD *help
Researcher Number 60733409
Other IDs
Affiliation (Current) 2025: 東京科学大学, 情報理工学院, 助教
Affiliation (based on the past Project Information) *help 2019 – 2024: 東京工業大学, 情報理工学院, 助教
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related
Except Principal Investigator
Basic Section 60050:Software-related
Keywords
Principal Investigator
関数リアクティブプログラミング / サイバーフィジカルシステム / 組込みシステム / プログラミング言語 / 周期的タスク / 消費電力 / 対話的証明支援系 / プログラム検証 / プログラム意味論 / 型システム / 形式検証 / メタプログラミング / 定理証明支援系 … More
Except Principal Investigator
… More サイバーフィジカルシステム / 組込みシステム / 関数リアクティブプログラミング / 実時間システム / プログラミング言語 / 型システム / 非同期処理 / アクターモデル / 対話的処理系 / 分散システム / 非同期実行 / 実時間処理 Less
  • Research Projects

    (4 results)
  • Research Products

    (52 results)
  • Co-Researchers

    (1 People)
  •  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
      Tokyo Institute of Technology
  •  消費電力をパラメータとする関数リアクティブプログラミングの研究Principal Investigator

    • Principal Investigator
      森口 草介
    • Project Period (FY)
      2022 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Tokyo Institute of Technology
  •  Developmenf Support of Efficient and Reliable CPS with the integration of FRP and the Actor Model

    • Principal Investigator
      渡部 卓雄
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Tokyo Institute of Technology
  •  ソースコードを操作するプログラムの検証技法の研究Principal Investigator

    • Principal Investigator
      森口 草介
    • Project Period (FY)
      2019 – 2024
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Tokyo Institute of Technology

All 2024 2023 2022 2021 2020

All Journal Article Presentation

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

    • Author(s)
      白井 瑞貴、森口 草介、渡部 卓雄
    • Journal Title

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

      Volume: -

    • Peer Reviewed
    • 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] 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] ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語2024

    • Author(s)
      瀧本哲史, 森口草介, 渡部卓雄
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [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.  渡部 卓雄 (20222408)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 40 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi