論文

• 瀧本哲史, 森口草介, 渡部卓雄. 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御, コンピューターソフトウェア, 日本ソフトウェア科学会, Vol. 42, No. 1, pp. 40-53, Jan. 2025.

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

• Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe. Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search, 10th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2025), (to appear), Oct. 2025.
• 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), Atlantis Press, pp. 7-19, Apr. 2025.

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

• 瀧本哲史, 森口草介, 渡部卓雄. 定理証明支援系のためのライブラリ検索システム作成に向けて, 日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025), Mar. 2025.

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