関数リアクティブプログラミングにおける時変値の初期化手法の提案

白鳥佑弥; 森口草介; 渡部卓雄

論文・著書情報

タイトル

和文:	関数リアクティブプログラミングにおける時変値の初期化手法の提案
英文:

著者

和文:	白鳥佑弥, 森口草介, 渡部卓雄.
英文:	Yuya Shiratori, Sosuke Moriguchi, Takuo Watanabe.

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2021年9月1日

出版者

和文:
英文:

会議名称

和文:	日本ソフトウェア科学会第38回大会
英文:

開催地

和文:
英文:

公式リンク

https://jssst2021.wordpress.com/

アブストラクト

関数リアクティブプログラミング（FRP）は，時間とともに変化する値を時変値として抽象化することで，組込みシステム等のリアクティブシステムを時変値の更新計算として記述するプログラミングパラダイムである．更新計算に時変値の過去の値を用いることで，変化量や累積値などのシステムの状態に依存した動作を表現できるようになるが，システム起動時には過去の値は存在しないため，あらかじめ初期値を設定する必要がある．センサの計測値や現在時刻等，実行時に決定される値について不適切な初期値を用いた場合，システム起動直後の挙動が不安定になることがある．アプリケーションごとに適当な値を想定して初期値とするといったアドホックな方法は，プログラムのモジュール化を阻害する．本研究では組込みシステム向けFRP言語の時変値について，適切な初期値を自動的に決定する初期化手法について提案する．

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報