論文

• 瀧本哲史, 森口草介, 渡部卓雄. 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御, コンピューターソフトウェア (採択済), 日本ソフトウェア科学会, Vol. 42, Jan. 2025.
• 白井瑞貴, 森口草介, 渡部卓雄. 同期的データフロープログラミングにおける逆計算の構成方式, コンピュータソフトウェア, 日本ソフトウェア科学会, Vol. 41, No. 3, pp. 34-40, July 2024.
• Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe. A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types, Journal of Information Processing, Information Processing Society of Japan, Vol. 29, pp. 685-706, Oct. 2021.  公式リンク  
  
• 後藤司, 森口草介, 渡部卓雄. WSAN向けマクロプログラミング言語の提案, コンピュータソフトウェア, 日本ソフトウェア科学会, Vol. 38, No. 2, pp. 20-26, Apr. 2021.  公式リンク  
  
• MORIGUCHI Sosuke, MORISHIMA Takashi, GOTO Mizuki, TAKAHASHI Kazuko. Verification of Content-Centric Networking Using Proof Assistant, IEICE Transactions on Communications, 一般社団法人 電子情報通信学会, Vol. 99, No. 11, pp. 2297-2304, Nov. 2016.
• 森口 草介, 高橋 和子. レコードの拡張を許す対話的修正機構, コンピュータ ソフトウェア, 日本ソフトウェア科学会, Vol. 33, No. 2, pp. 2_125-2138, Nov. 2016.
• 森口草介, 渡部卓雄. 定理証明支援系Coqへの対話的修正機構の導入, 情報処理学会論文誌プログラミング（PRO）, 情報処理学会, Vol. 5, No. 4, pp. 27-38, Sept. 2012.  公式リンク  
  

国際会議発表 (査読有り)

• Sosuke Moriguchi, Satoshi Takimoto, Mizuki Shirai, Takuo Watanabe. Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists, 13th Workshop on Computation: Theory and Practice (WCTP 2024), Proceedings of 13th Workshop on Computation: Theory and Practice (WCTP 2024), Nov. 2024.
• Yugo Otani, Go Suzuki, Sosuke Moriguchi, Takuo Watanabe. A Bytecode VM for an FRP Language for Small-Scale Embedded Systems, 7th Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2024), Proceedings of 7th Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2024), IPSJ, Nov. 2024.
• Go Suzuki, Takuo Watanabe, Sosuke Moriguchi. mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices, 21st International Conference on Managed Programming Languages and Runtimes 2024 (MPLR 2024), Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR '24), ACM, pp. 41-47, Sept. 2024.
• Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe. Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems, 13th International Conference on Software and Computer Applications (ICSCA 2024), Proceedings of 13th International Conference on Software and Computer Applications (ICSCA 2024), ACM, pp. 45-54, Feb. 2024.  公式リンク  
  
• Sosuke Moriguchi, Takuo Watanabe. Event by Timing: Periodic and Time-Sequencing Responses, 12th Workshop on Computation: Theory and Practice, Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023), Atlantis Press, pp. 139-154, Feb. 2024.
• Sosuke Moriguchi, Takuo Watanabe. Developing Distributed Systems with Multiparty Functional Reactive Programming, 5th World Symposium on Software Engineering (WSSE 2023), Proc. 5th World Symposium on Software Engineering (WSSE 2023), ACM, pp. 61-66, Dec. 2023.
• Go Suzuki, Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe. Using Low Power Coprocessors in an FRP Language for Embedded Systems, Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023), Proc. Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023), IPSJ, pp. 1-8, Dec. 2023.  公式リンク  
  
• Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe. Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems, 10th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023), Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, ACM, pp. 43-53, Oct. 2023.
• Go Suzuki, Takuo Watanabe, Sosuke Moriguchi. Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices, 7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2023), Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, ACM, pp. 12-16, Mar. 2023.  公式リンク  
  
• Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe. Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems, 9th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2022), ACM, pp. 1-12, Dec. 2022.
• Yoshitaka Sakurai, Sosuke Moriguchi, Takuo Watanabe. Functional Reactive Programming for Embedded Systems with GPGPUs, 10th International Conference on Software and Computer Applications, ACM, pp. 75-80, Feb. 2021.  公式リンク  
  
• Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe. Bounded-Construction-Types for Functional Reactive Programming, 10th Workshop on Computation: Theory and Practice (WCTP 2020), Philippine Computing Journal, Vol. 15, No. 2, pp. 24-35, Dec. 2020.
• Kawasaki, T., Moriguchi, S., Takahashi, K.. Hybrid Reasoning on a Bipolar Argumentation Framework, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11940 LNAI, pp. 79-92, 2019.  公式リンク  
  
• Tosue, M., Moriguchi, S., Takahashi, K.. Operations for shape transformations based on angles, ICAART 2019 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, Vol. 2, pp. 576-583, 2019.  公式リンク  
  
• Kawasaki, T., Moriguchi, S., Takahashi, K.. Reasoning by a Bipolar Argumentation Framework for PROLEG, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11717 LNAI, pp. 115-130, 2019.  公式リンク  
  
• Kawasaki, T., Moriguchi, S., Takahashi, K.. Transformation from PROLEG to a bipolar argumentation framework, CEUR Workshop Proceedings, Vol. 2171, pp. 36-47, 2018.  公式リンク  
  
• Moriguchi, S., Takahashi, K.. Expressing the characteristics of a argumentation framework, CEUR Workshop Proceedings, Vol. 2171, pp. 60-71, 2018.  公式リンク  
  
• Kato, T., Moriguchi, S., Takahashi, K.. Superposition of qualitative rectangles using a quantitative model, ICAART 2017 - Proceedings of the 9th International Conference on Agents and Artificial Intelligence, Vol. 2, pp. 423-430, 2017.  公式リンク  
  
• Moriguchi, S., Morishima, T., Goto, M., Takahashi, K.. Formalization of the behavior of content-centric networking, Procedia Computer Science, Vol. 56, No. 1, pp. 197-204, 2015.  公式リンク  
  
• Sosuke Moriguchi, Takuo Watanabe. An Interactive Extension Mechanism for Reusing Verified Programs, 28th ACM Symposium on Applied Computing, Association for Computing Machinery, pp. 1236-1243, Mar. 2013.
• Sosuke Moriguchi, Takuo Watanabe. Abstraction of Operations of Aspect-Oriented Languages, Workshop on Computation: Theory and Practice, Theory and Practice of Computation, Proceedings in Information and Communications Technology, Springer Japan, Vol. 5, pp. 187-201, Apr. 2012.
• Sosuke Moriguchi, Takuo Watanabe. A Calculus for Advice Weaving Mechanisms, 4th Asian Workshop on Aspect-Oriented Software Development (AOAsia 4), Dec. 2008.  公式リンク  
  

国内会議発表 (査読有り)

• 横山 陽彦, 森口 草介, 渡部 卓雄. 小規模組込みシステム向けFRP言語における非同期タスク処理機構, 日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022), Mar. 2022.  公式リンク  
  
• 横山陽彦, 森口草介, 渡部卓雄. 小規模組込みシステム向けFRP言語に対する再帰的データ型の導入, 日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020), Mar. 2020.  公式リンク  
  
• 森口草介, 渡部卓雄. 検証付きプログラムに対する対話的修正の合成, 日本ソフトウェア科学会ソフトウェア工学の基礎ワークショップ(FOSE 2013), レクチャーノート/ソフトウェア学, 近代科学社, Vol. 39, pp. 131-136, Nov. 2013.

国内会議発表 (査読なし・不明)

• 十河健人, 森口草介, 渡部卓雄. 組込みシステム向けFRP言語におけるリアルタイムタスクの記述と処理機構, 日本ソフトウェア科学会第41回大会, 日本ソフトウェア科学会第41回大会講演論文集, Sept. 2024.  公式リンク  
  
• 鈴木豪, 渡部卓雄, 森口草介. 省電力コプロセッサ上で Ruby プログラムを動かす mruby 処理系の実装に向けて, 第26回組込みシステム技術に関するサマーワークショップ(SWEST26), Aug. 2024.
• 大谷悠豪, 鈴木豪, 森口草介, 渡部卓雄. 小規模組込みシステム向けFRP言語のためのバイトコードVM, 情報処理学会第66回組込みシステム研究会(SIGEMB66), 情報処理学会研究報告, 情報処理学会, Vol. 2024-EMB-66, No. 5, July 2024.  公式リンク  
  
• 鈴木豪, 渡部卓雄, 森口草介. マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて, 日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024), Mar. 2024.
• 瀧本哲史, 森口草介, 渡部卓雄. ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語, 日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024), Mar. 2024.
• 白井瑞貴, 森口草介, 渡部卓雄. 同期的データフロープログラミングにおける逆計算の構成方式, 日本ソフトウェア科学会第40回大会, Sept. 2023.
• 瀧本哲史, 森口草介, 渡部卓雄. 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御, 日本ソフトウェア科学会第40回大会, Sept. 2023.
• 鈴木豪, 横山陽彦, 森口草介, 渡部卓雄. 対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用, 第25回組込みシステム技術に関するサマーワークショップ(SWEST25), Aug. 2023.
• 十河健人, 辻裕太, 森口草介, 渡部卓雄. 小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価, 情報処理学会第63回組込みシステム研究会(SIGEMB63), 情報処理学会研究報告, 情報処理学会, Vol. 2023-EMB-63, No. 2, July 2023.  公式リンク  
  
• 鈴木豪, 渡部卓雄, 森口草介. REPLをサポートする小規模組込み機器向けFRP言語処理系の実装と評価, 日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), Mar. 2023.
• 十河健人, 森口草介, 渡部卓雄. 組込みシステム向けFRP言語における離散イベント機構の実装とその評価, 日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), Mar. 2023.
• 横山陽彦, 森口草介, 渡部卓雄. 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構, 情報処理学会第143回プログラミング研究会(SIGPRO143), Mar. 2023.  公式リンク  
  
• 横山陽彦, 森口草介, 渡部卓雄. 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構, 日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), Mar. 2023.
• Sosuke Moriguchi, Takuo Watanabe. Responsibilities of Responses in Functional Reactive Programming, 情報処理学会第142回プログラミング研究会(SIGPRO142), Jan. 2023.  公式リンク  
  
• Ju Guiyuan, Sosuke Moriguchi, Takuo Watanabe. A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming, 39th JSSST Annual Conference, Aug. 2022.
• 瀧本哲史, 森口草介, 渡部卓雄. 入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討, 情報処理学会第60回組込みシステム研究会(SIGEMB60), 情報処理学会研究報告, 情報処理学会, Vol. 2022-EMB-60, pp. 1-6, July 2022.  公式リンク  
  
• 白井瑞貴, 横山陽彦, 森口草介, 渡部卓雄. サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入, 日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022), Mar. 2022.  公式リンク  
  
• 内野駿亮, 森口草介, 渡部卓雄. 組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法, 日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022), Mar. 2022.
• 辻裕太, 森口草介, 渡部卓雄. 小規模組込みシステム向けFRP言語における周期的タスクの記述方式, 日本ソフトウェア科学会第38回大会, Sept. 2021.  公式リンク  
  
• 白鳥佑弥, 森口草介, 渡部卓雄. 関数リアクティブプログラミングにおける時変値の初期化手法の提案, 日本ソフトウェア科学会第38回大会, Sept. 2021.  公式リンク  
  
• 内藤博, 森口草介, 渡部卓雄. 組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証, 情報処理学会第57回組込みシステム研究会(SIGEMB57), 情報処理学会研究報告, 情報処理学会, Vol. 2021-EMB-57, No. 4, pp. 1-2, June 2021.  公式リンク  
  
• 白鳥佑弥, 森口草介, 渡部卓雄. 関数リアクティブプログラミングにおける時変値の初期値の自動決定, 情報処理学会第57回組込みシステム研究会(SIGEMB57), 情報処理学会研究報告, 情報処理学会, Vol. 2021-EMB-57, No. 2, pp. 1-5, June 2021.  公式リンク  
  
• 堀紗知子, 森口草介, 渡部卓雄. 関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式, 情報処理学会第57回組込みシステム研究会(SIGEMB57), 情報処理学会研究報告, 情報処理学会, Vol. 2021-EMB-57, No. 3, pp. 1-2, June 2021.  公式リンク  
  
• 横山陽彦, 森口草介, 渡部卓雄. 小規模組込みシステム向けFRP言語のための再帰データ型, 情報処理学会 第133回プログラミング研究発表会, Mar. 2021.
• 後藤司, 森口草介, 渡部卓雄. WSAN向けマクロプログラミング言語の提案, 日本ソフトウェア科学会第37回大会, 日本ソフトウェア科学会第37回大会講演論文集, 日本ソフトウェア科学会, Sept. 2020.  公式リンク  
  
• 辻裕太, 森口草介, 渡部卓雄. 組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装, 情報処理学会第54回組込みシステム研究発表会, 情報処理学会研究報告, 一般社団法人情報処理学会, Vol. 2020-EMB-54, No. 3, pp. 1-8, June 2020.  公式リンク  
  
• 櫻井義孝, 森口草介, 渡部卓雄. FRPによるGPU上の計算の実現, 日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020), Mar. 2020.  公式リンク  
  
• 後藤司, 森口草介, 渡部卓雄. WSAN向けマクロプログラミング言語の提案, 日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020), Mar. 2020.  公式リンク  
  
• 白鳥佑弥, 森口草介, 渡部卓雄. 出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定, 日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020), Mar. 2020.  公式リンク  
  
• 辻裕太, 森口草介, 渡部卓雄. 内部DSLとしての関数リアクティブプログラミング言語の実装手法, 日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020), Mar. 2020.  公式リンク  
  
• 中西 瑠海, 森口 草介, 高橋 和子. 論理型言語PROLEG から双極議論フレームワークへの変換のCoqによる形式化と証明, 第81回全国大会講演論文集, Vol. 2019, No. 1, pp. 199-200, Mar. 2019.
• 森口 草介. プログラム操作のためのホーア論理の拡張, 日本ソフトウェア科学会大会論文集, 日本ソフトウェア科学会, Vol. 34, pp. 279-286, Aug. 2017.
• 森嶋 崇, 後藤 瑞貴, 森口 草介, 高橋 和子. Coqを使ったツリー型ネットワークトポロジ上でのCCNのモデル化と検証について, 情報処理学会論文誌プログラミング（PRO）, Vol. 8, No. 3, pp. 35-35, Aug. 2015.
• 後藤 瑞貴, 森口 草介, 高橋 和子. 定性空間表現のCoqによる形式化およびその平面性の証明, 情報処理学会論文誌プログラミング（PRO）, Vol. 8, No. 3, pp. 36-36, Aug. 2015.
• 森口 草介, 高橋 和子. 対話的修正と対象プログラムとの合成手法, 日本ソフトウェア科学会大会論文集, [日本ソフトウェア科学会], Vol. 31, pp. 486-493, Aug. 2014.
• 安原 由貴, 森口 草介, 渡部卓雄. 実時間システム向け文脈指向言語ProcneJ, 情報処理学会論文誌プログラミング（PRO）, Vol. 6, No. 3, pp. 50-50, Nov. 2013.
• 安原由貴, 森口草介, 渡部卓雄. 実時間システム向け文脈指向言語ProcneJ, 情報処理学会 第93回プログラミング研究発表会, Feb. 2013.  公式リンク  
  
• 安原由貴, 森口草介, 渡部卓雄. 組込みシステムのための文脈指向仕様記述に向けて, 日本ソフトウェア科学会第29回大会, Aug. 2012.  公式リンク  
  
• 森口草介, 渡部卓雄. Coqのための対話的修正機構を用いた変更の織り込み手法, 日本ソフトウェア科学会第28回大会, Sept. 2011.
• 山田一宏, 渡部卓雄, 森口草介, 西崎真也. 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証, 情報処理学会ソフトウェア工学研究会, 情報処理学会研究報告ソフトウェア工学, Vol. SE-171, No. 26, pp. 1-4, Mar. 2011.  公式リンク  
  
• 渡部卓雄, 森口草介, 山田一宏, 西崎真也. プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ, 電子情報通信学会ソフトウェアサイエンス研究会(SIGSS), 信学技報, 電子情報通信学会, Vol. 110, No. 458, pp. 97-102, Feb. 2011.  公式リンク  
  

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]