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

• 白鳥佑弥, 森口草介, 渡部卓雄. 関数リアクティブプログラミングにおける時変値の初期化手法の提案, 日本ソフトウェア科学会第38回大会, Sept. 2021.  公式リンク  
  
• 白鳥佑弥, 森口草介, 渡部卓雄. 関数リアクティブプログラミングにおける時変値の初期値の自動決定, 情報処理学会第57回組込みシステム研究会(SIGEMB57), 情報処理学会研究報告, 情報処理学会, Vol. 2021-EMB-57, No. 2, pp. 1-5, June 2021.  公式リンク  
  
• 白鳥佑弥, 森口草介, 渡部卓雄. 出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定, 日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020), Mar. 2020.  公式リンク  
  

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