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

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

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