WEKO3
アイテム
入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討
https://ipsj.ixsq.nii.ac.jp/records/218781
https://ipsj.ixsq.nii.ac.jp/records/2187818e4a5f69-6e26-451a-8b8f-805339203654
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-EMB22060001.pdf (774.4 kB)
|
Copyright (c) 2022 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-07-01 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | ソフトウェアプラットフォーム | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
| 資源タイプ | technical report | |||||||||||
| 著者所属 | ||||||||||||
| 東京工業大学情報理工学院情報工学系 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京工業大学情報理工学院情報工学系 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京工業大学情報理工学院情報工学系 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Department of Computer Science, School of Computing, Tokyo Institute of Technology | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Department of Computer Science, School of Computing, Tokyo Institute of Technology | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Department of Computer Science, School of Computing, Tokyo Institute of Technology | ||||||||||||
| 著者名 |
瀧本, 哲史
× 瀧本, 哲史
× 森口, 草介
× 渡部, 卓雄
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 関数リアクティブプログラミング (FRP) は，時間変化する値 (時変値) を組み合わせて反応的な振る舞いを記述するプログラミングパラダイムであり，組込みシステムはその応用例の一つである．組込みシステムにおいて，使用しないセンサの電源を切るなど，状況によって使用する入出力デバイスを切替えたい場合がある．しかし，従来の FRP ではそのような外部デバイスの有効無効を切替える表現が困難であった．その課題を解決するため，本研究では FRP 言語内で入出力の動的な切替えの表現を可能にする言語機構を検討する． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA12149313 | |||||||||||
| 書誌情報 |
研究報告組込みシステム（EMB） 巻 2022-EMB-60, 号 1, p. 1-6, 発行日 2022-07-01 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 2188-868X | |||||||||||
| Notice | ||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
