2026-06-12T08:39:56Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00211700 2025-01-19T17:42:44Z 1164:2822:10563:10614

関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式 堀, 紗知子 森口, 草介 渡部, 卓雄 プログラミング言語 本研究では，小規模組込みシステム向け関数リアクティブプログラミング言語 Emfrp において時間制約のあるイベントを検出する際の記述方式を提案する．例えばボタンを短く 1 回押す，ダブルクリックする，長押しするといった，ある事象が時間制約付きで複数回発生するようなイベントを検出することを考える．イベントに含まれる事象の回数を変更したり，同じ事象を観察する異なるイベントを区別して検出しようとすると，コードが複雑化し，かつ既存のコードへの変更が必要になる．このような問題の解決を目的とした時間制約付きイベントの記述方式と，その記述から Emfrp のコードを生成する手法を提案する．例題の記述を通して提案手法を利用したときの定義や変更のしやすさについて議論する． 情報処理学会 2021-06-21 jpn technical report https://ipsj.ixsq.nii.ac.jp/records/211700 2188-868X AA12149313 研究報告組込みシステム（EMB） 2021-EMB-57 3 1 2 https://ipsj.ixsq.nii.ac.jp/record/211700/files/IPSJ-EMB21057003.pdf application/pdf 840.8 kB 2023-06-21