論文

• 瀧本哲史, 森口草介, 渡部卓雄. 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御, コンピューターソフトウェア (採択済), 日本ソフトウェア科学会, Vol. 42, Jan. 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), Nov. 2024.

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

• 瀧本哲史, 森口草介, 渡部卓雄. ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語, 日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024), Mar. 2024.
• 瀧本哲史, 森口草介, 渡部卓雄. 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御, 日本ソフトウェア科学会第40回大会, Sept. 2023.
• 瀧本哲史, 森口草介, 渡部卓雄. 入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討, 情報処理学会第60回組込みシステム研究会(SIGEMB60), 情報処理学会研究報告, 情報処理学会, Vol. 2022-EMB-60, pp. 1-6, July 2022.  公式リンク  
  

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