@article{CTT100924201,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御},
  journal = {コンピューターソフトウェア (採択済)},
  year = 2025,
}

@article{CTT100907995,
  author = {白井瑞貴 and 森口草介 and 渡部卓雄},
  title = {同期的データフロープログラミングにおける逆計算の構成方式},
  journal = {コンピュータソフトウェア},
  year = 2024,
}

@article{CTT100858437,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types},
  journal = {Journal of Information Processing},
  year = 2021,
}

@article{CTT100841204,
  author = {後藤司 and 森口草介 and 渡部卓雄},
  title = {WSAN向けマクロプログラミング言語の提案},
  journal = {コンピュータソフトウェア},
  year = 2021,
}

@article{CTT100806971,
  author = {MORIGUCHI Sosuke and MORISHIMA Takashi and GOTO Mizuki and TAKAHASHI Kazuko},
  title = {Verification of Content-Centric Networking Using Proof Assistant},
  journal = {IEICE Transactions on Communications},
  year = 2016,
}

@article{CTT100806973,
  author = {森口 草介 and 高橋 和子},
  title = {レコードの拡張を許す対話的修正機構},
  journal = {コンピュータ ソフトウェア},
  year = 2016,
}

@article{CTT100652447,
  author = {森口草介 and 渡部卓雄},
  title = {定理証明支援系Coqへの対話的修正機構の導入},
  journal = {情報処理学会論文誌プログラミング（PRO）},
  year = 2012,
}

@inproceedings{CTT100925189,
  author = {Sosuke Moriguchi and Satoshi Takimoto and Mizuki Shirai and Takuo Watanabe},
  title = {Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists},
  booktitle = {Proceedings of 13th Workshop on Computation: Theory and Practice (WCTP 2024)},
  year = 2024,
}

@inproceedings{CTT100926121,
  author = {Yugo Otani and Go Suzuki and Sosuke Moriguchi and Takuo Watanabe},
  title = {A Bytecode VM for an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of 7th Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2024)},
  year = 2024,
}

@inproceedings{CTT100916299,
  author = {Go Suzuki and Takuo Watanabe and Sosuke Moriguchi},
  title = {mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices},
  booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR '24)},
  year = 2024,
}

@inproceedings{CTT100923780,
  author = {十河健人 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語におけるリアルタイムタスクの記述と処理機構},
  booktitle = {日本ソフトウェア科学会第41回大会講演論文集},
  year = 2024,
}

@inproceedings{CTT100920193,
  author = {鈴木豪 and 渡部卓雄 and 森口草介},
  title = {省電力コプロセッサ上で Ruby プログラムを動かす mruby 処理系の実装に向けて},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100916589,
  author = {大谷悠豪 and 鈴木豪 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語のためのバイトコードVM},
  booktitle = {情報処理学会研究報告},
  year = 2024,
}

@inproceedings{CTT100908916,
  author = {鈴木豪 and 渡部卓雄 and 森口草介},
  title = {マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100908915,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100907994,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of 13th International Conference on Software and Computer Applications (ICSCA 2024)},
  year = 2024,
}

@inproceedings{CTT100903500,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Event by Timing: Periodic and Time-Sequencing Responses},
  booktitle = {Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)},
  year = 2024,
}

@inproceedings{CTT100902531,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Developing Distributed Systems with Multiparty Functional Reactive Programming},
  booktitle = {Proc. 5th World Symposium on Software Engineering (WSSE 2023)},
  year = 2023,
}

@inproceedings{CTT100904745,
  author = {Go Suzuki and Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Using Low Power Coprocessors in an FRP Language for Embedded Systems},
  booktitle = {Proc. Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023)},
  year = 2023,
}

@inproceedings{CTT100902530,
  author = {Kento Sogo and Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe},
  title = {Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems},
  year = 2023,
}

@inproceedings{CTT100901503,
  author = {白井瑞貴 and 森口草介 and 渡部卓雄},
  title = {同期的データフロープログラミングにおける逆計算の構成方式},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100901504,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100897801,
  author = {鈴木豪 and 横山陽彦 and 森口草介 and 渡部卓雄},
  title = {対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100893576,
  author = {十河健人 and 辻裕太 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価},
  booktitle = {情報処理学会研究報告},
  year = 2023,
}

@inproceedings{CTT100885502,
  author = {Go Suzuki and Takuo Watanabe and Sosuke Moriguchi},
  title = {Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices},
  booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming},
  year = 2023,
}

@inproceedings{CTT100885490,
  author = {鈴木豪 and 渡部卓雄 and 森口草介},
  title = {REPLをサポートする小規模組込み機器向けFRP言語処理系の実装と評価},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885489,
  author = {十河健人 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における離散イベント機構の実装とその評価},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885507,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885488,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100884356,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Responsibilities of Responses in Functional Reactive Programming},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100882649,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100881149,
  author = {Ju Guiyuan and Sosuke Moriguchi and Takuo Watanabe},
  title = {A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100878380,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討},
  booktitle = {情報処理学会研究報告},
  year = 2022,
}

@inproceedings{CTT100865663,
  author = {白井瑞貴 and 横山陽彦 and 森口草介 and 渡部卓雄},
  title = {サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100865664,
  author = {内野駿亮 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100865528,
  author = {横山 陽彦 and 森口 草介 and 渡部 卓雄},
  title = {小規模組込みシステム向けFRP言語における非同期タスク処理機構},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100860442,
  author = {辻裕太 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語における周期的タスクの記述方式},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100860441,
  author = {白鳥佑弥 and 森口草介 and 渡部卓雄},
  title = {関数リアクティブプログラミングにおける時変値の初期化手法の提案},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100853677,
  author = {内藤博 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証},
  booktitle = {情報処理学会研究報告},
  year = 2021,
}

@inproceedings{CTT100853674,
  author = {白鳥佑弥 and 森口草介 and 渡部卓雄},
  title = {関数リアクティブプログラミングにおける時変値の初期値の自動決定},
  booktitle = {情報処理学会研究報告},
  year = 2021,
}

@inproceedings{CTT100853675,
  author = {堀紗知子 and 森口草介 and 渡部卓雄},
  title = {関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式},
  booktitle = {情報処理学会研究報告},
  year = 2021,
}

@inproceedings{CTT100844058,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語のための再帰データ型},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100841919,
  author = {Yoshitaka Sakurai and Sosuke Moriguchi and Takuo Watanabe},
  title = {Functional Reactive Programming for Embedded Systems with GPGPUs},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100836142,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Bounded-Construction-Types for Functional Reactive Programming},
  booktitle = {Philippine Computing Journal},
  year = 2020,
}

@inproceedings{CTT100853678,
  author = {後藤司 and 森口草介 and 渡部卓雄},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {日本ソフトウェア科学会第37回大会講演論文集},
  year = 2020,
}

@inproceedings{CTT100827063,
  author = {辻裕太 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装},
  booktitle = {情報処理学会研究報告},
  year = 2020,
}

@inproceedings{CTT100820152,
  author = {櫻井義孝 and 森口草介 and 渡部卓雄},
  title = {FRPによるGPU上の計算の実現},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820156,
  author = {後藤司 and 森口草介 and 渡部卓雄},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820155,
  author = {白鳥佑弥 and 森口草介 and 渡部卓雄},
  title = {出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820154,
  author = {辻裕太 and 森口草介 and 渡部卓雄},
  title = {内部DSLとしての関数リアクティブプログラミング言語の実装手法},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100815513,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語に対する再帰的データ型の導入},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100806953,
  author = {中西 瑠海 and 森口 草介 and 高橋 和子},
  title = {論理型言語PROLEG から双極議論フレームワークへの変換のCoqによる形式化と証明},
  booktitle = {第81回全国大会講演論文集},
  year = 2019,
}

@inproceedings{CTT100837570,
  author = {Kawasaki, T. and Moriguchi, S. and Takahashi, K.},
  title = {Hybrid Reasoning on a Bipolar Argumentation Framework},
  booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  year = 2019,
}

@inproceedings{CTT100837571,
  author = {Tosue, M. and Moriguchi, S. and Takahashi, K.},
  title = {Operations for shape transformations based on angles},
  booktitle = {ICAART 2019 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence},
  year = 2019,
}

@inproceedings{CTT100837572,
  author = {Kawasaki, T. and Moriguchi, S. and Takahashi, K.},
  title = {Reasoning by a Bipolar Argumentation Framework for PROLEG},
  booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  year = 2019,
}

@inproceedings{CTT100837574,
  author = {Kawasaki, T. and Moriguchi, S. and Takahashi, K.},
  title = {Transformation from PROLEG to a bipolar argumentation framework},
  booktitle = {CEUR Workshop Proceedings},
  year = 2018,
}

@inproceedings{CTT100837573,
  author = {Moriguchi, S. and Takahashi, K.},
  title = {Expressing the characteristics of a argumentation framework},
  booktitle = {CEUR Workshop Proceedings},
  year = 2018,
}

@inproceedings{CTT100806955,
  author = {森口 草介},
  title = {プログラム操作のためのホーア論理の拡張},
  booktitle = {日本ソフトウェア科学会大会論文集},
  year = 2017,
}

@inproceedings{CTT100837575,
  author = {Kato, T. and Moriguchi, S. and Takahashi, K.},
  title = {Superposition of qualitative rectangles using a quantitative model},
  booktitle = {ICAART 2017 - Proceedings of the 9th International Conference on Agents and Artificial Intelligence},
  year = 2017,
}

@inproceedings{CTT100806958,
  author = {森嶋 崇 and 後藤 瑞貴 and 森口 草介 and 高橋 和子},
  title = {Coqを使ったツリー型ネットワークトポロジ上でのCCNのモデル化と検証について},
  booktitle = {情報処理学会論文誌プログラミング（PRO）},
  year = 2015,
}

@inproceedings{CTT100806957,
  author = {後藤 瑞貴 and 森口 草介 and 高橋 和子},
  title = {定性空間表現のCoqによる形式化およびその平面性の証明},
  booktitle = {情報処理学会論文誌プログラミング（PRO）},
  year = 2015,
}

@inproceedings{CTT100837576,
  author = {Moriguchi, S. and Morishima, T. and Goto, M. and Takahashi, K.},
  title = {Formalization of the behavior of content-centric networking},
  booktitle = {Procedia Computer Science},
  year = 2015,
}

@inproceedings{CTT100806959,
  author = {森口 草介 and 高橋 和子},
  title = {対話的修正と対象プログラムとの合成手法},
  booktitle = {日本ソフトウェア科学会大会論文集},
  year = 2014,
}

@inproceedings{CTT100806961,
  author = {安原 由貴 and 森口 草介 and 渡部卓雄},
  title = {実時間システム向け文脈指向言語ProcneJ},
  booktitle = {情報処理学会論文誌プログラミング（PRO）},
  year = 2013,
}

@inproceedings{CTT100682073,
  author = {森口草介 and 渡部卓雄},
  title = {検証付きプログラムに対する対話的修正の合成},
  booktitle = {レクチャーノート/ソフトウェア学},
  year = 2013,
}

@inproceedings{CTT100652448,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {An Interactive Extension Mechanism for Reusing Verified Programs},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100700998,
  author = {安原由貴 and 森口草介 and 渡部卓雄},
  title = {実時間システム向け文脈指向言語ProcneJ},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100701001,
  author = {安原由貴 and 森口草介 and 渡部卓雄},
  title = {組込みシステムのための文脈指向仕様記述に向けて},
  booktitle = {},
  year = 2012,
}

@inproceedings{CTT100700999,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Abstraction of Operations of Aspect-Oriented Languages},
  booktitle = {Theory and Practice of Computation, Proceedings in Information and Communications Technology},
  year = 2012,
}

@inproceedings{CTT100711036,
  author = {森口草介 and 渡部卓雄},
  title = {Coqのための対話的修正機構を用いた変更の織り込み手法},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100711039,
  author = {山田一宏 and 渡部卓雄 and 森口草介 and 西崎真也},
  title = {証明支援系を用いたMorrisの二分木走査アルゴリズムの検証},
  booktitle = {情報処理学会研究報告ソフトウェア工学},
  year = 2011,
}

@inproceedings{CTT100711038,
  author = {渡部卓雄 and 森口草介 and 山田一宏 and 西崎真也},
  title = {プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ},
  booktitle = {信学技報},
  year = 2011,
}

@inproceedings{CTT100860753,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {A Calculus for Advice Weaving Mechanisms},
  booktitle = {},
  year = 2008,
}