論文

• 瀧本哲史, 森口草介, 渡部卓雄. 組込みシステム向け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.
• Go Suzuki, Takuo Watanabe, Sosuke Moriguchi. Co-operative JIT Compilation for Resource-Constrained Low-Power Coprocessors, 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR 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.

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

• 鈴木豪, 渡部卓雄, 森口草介. 8KiB程度の省電力コプロセッサで動くmruby/copro, 第27回 組込みシステム技術に関するサマーワークショップ(SWEST27), Aug. 2025.
• 宮下湧輔, 森口草介, 渡部卓雄. 組込みシステム向けFPGA・CPU SoC による疎行列に着目したCNNの協調計算手法, 情報処理学会第69回組込みシステム研究会(SIGEMB69), 情報処理学会研究報告, 情報処理学会, Vol. 2024-EMB-69, No. 2, July 2025.  公式リンク  
  
• 鈴木豪, 渡部卓雄, 森口草介. 組込みデバイスのメモリ保護ユニットを活用したメモリ管理手法に向けた事前評価, 日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025), Mar. 2025.
• 瀧本哲史, 森口草介, 渡部卓雄. 定理証明支援系のためのライブラリ検索システム作成に向けて, 日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025), Mar. 2025.

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