| 講演抄録/キーワード |
| 講演名 |
2015-05-11 13:00
小規模組み込みシステムにおけるFRPの応用に向けて ○澤田賢祐・鈴木康平・渡部卓雄(東工大) SS2015-1 |
| 抄録 |
(和) |
関数リアクティブプログラミング(FRP)は,入力に対する出力を宣言的に記述したモジュールを高階関数等を用いて組み合わせるプログラミング手法である.過去の研究において,ロボットの制御等の比較的規模の大きなシステムにおけるFRPの有用性がある程度示されてきた.本研究では,FRPのためのドメイン特化言語を提案し,OSを持たないような小規模なシステムにおいて提案手法が有効であることを例題を通して示す. |
| (英) |
In this paper, we show using examples that functional reactive programming (FRP) is beneficial for small-scale embedded systems. For this purpose, we designed a simple FRP language and implemented a compiler that generates C++ code that run on a bare-metal processor board. By comparing two implementations of the same application, one in our language and the other in C++, we show that FRP provides declarative, modular and clean manner of describing real-time and reactive behaviors of embedded systems. |
| キーワード |
(和) |
関数リアクティブプログラミング / FRP / 組み込みシステム / 実時間システム / / / / |
| (英) |
Functional Reactive Programming / FRP / Embedded Systems / Real-Time Systems / / / / |
| 文献情報 |
信学技報, vol. 115, no. 20, SS2015-1, pp. 1-5, 2015年5月. |
| 資料番号 |
SS2015-1 |
| 発行日 |
2015-05-04 (SS) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
SS2015-1 |
| 研究会情報 |
| 研究会 |
SS |
| 開催期間 |
2015-05-11 - 2015-05-12 |
| 開催地(和) |
熊本大学 |
| 開催地(英) |
Kumamoto University |
| テーマ(和) |
一般,研究スタートアップ |
| テーマ(英) |
|
| 講演論文情報の詳細 |
| 申込み研究会 |
SS |
| 会議コード |
2015-05-SS |
| 本文の言語 |
日本語 |
| タイトル(和) |
小規模組み込みシステムにおけるFRPの応用に向けて |
| サブタイトル(和) |
|
| タイトル(英) |
Towards Applications of FRP in Small-Scale Embedded Systems |
| サブタイトル(英) |
|
| キーワード(1)(和/英) |
関数リアクティブプログラミング / Functional Reactive Programming |
| キーワード(2)(和/英) |
FRP / FRP |
| キーワード(3)(和/英) |
組み込みシステム / Embedded Systems |
| キーワード(4)(和/英) |
実時間システム / Real-Time Systems |
| キーワード(5)(和/英) |
/ |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
澤田 賢祐 / Kensuke Sawada / サワダ ケンスケ |
| 第1著者 所属(和/英) |
東京工業大学 (略称: 東工大)
Tokyo Institute of Technology (略称: Tokyo Tech.) |
| 第2著者 氏名(和/英/ヨミ) |
鈴木 康平 / Kouhei Suzuki / スズキ コウヘイ |
| 第2著者 所属(和/英) |
東京工業大学 (略称: 東工大)
Tokyo Institute of Technology (略称: Tokyo Tech.) |
| 第3著者 氏名(和/英/ヨミ) |
渡部 卓雄 / Takuo Watanabe / ワタナベ タクオ |
| 第3著者 所属(和/英) |
東京工業大学 (略称: 東工大)
Tokyo Institute of Technology (略称: Tokyo Tech.) |
| 第4著者 氏名(和/英/ヨミ) |
/ / |
| 第4著者 所属(和/英) |
(略称: )
(略称: ) |
| 第5著者 氏名(和/英/ヨミ) |
/ / |
| 第5著者 所属(和/英) |
(略称: )
(略称: ) |
| 第6著者 氏名(和/英/ヨミ) |
/ / |
| 第6著者 所属(和/英) |
(略称: )
(略称: ) |
| 第7著者 氏名(和/英/ヨミ) |
/ / |
| 第7著者 所属(和/英) |
(略称: )
(略称: ) |
| 第8著者 氏名(和/英/ヨミ) |
/ / |
| 第8著者 所属(和/英) |
(略称: )
(略称: ) |
| 第9著者 氏名(和/英/ヨミ) |
/ / |
| 第9著者 所属(和/英) |
(略称: )
(略称: ) |
| 第10著者 氏名(和/英/ヨミ) |
/ / |
| 第10著者 所属(和/英) |
(略称: )
(略称: ) |
| 第11著者 氏名(和/英/ヨミ) |
/ / |
| 第11著者 所属(和/英) |
(略称: )
(略称: ) |
| 第12著者 氏名(和/英/ヨミ) |
/ / |
| 第12著者 所属(和/英) |
(略称: )
(略称: ) |
| 第13著者 氏名(和/英/ヨミ) |
/ / |
| 第13著者 所属(和/英) |
(略称: )
(略称: ) |
| 第14著者 氏名(和/英/ヨミ) |
/ / |
| 第14著者 所属(和/英) |
(略称: )
(略称: ) |
| 第15著者 氏名(和/英/ヨミ) |
/ / |
| 第15著者 所属(和/英) |
(略称: )
(略称: ) |
| 第16著者 氏名(和/英/ヨミ) |
/ / |
| 第16著者 所属(和/英) |
(略称: )
(略称: ) |
| 第17著者 氏名(和/英/ヨミ) |
/ / |
| 第17著者 所属(和/英) |
(略称: )
(略称: ) |
| 第18著者 氏名(和/英/ヨミ) |
/ / |
| 第18著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2015-05-11 13:00:00 |
| 発表時間 |
30分 |
| 申込先研究会 |
SS |
| 資料番号 |
SS2015-1 |
| 巻番号(vol) |
vol.115 |
| 号番号(no) |
no.20 |
| ページ範囲 |
pp.1-5 |
| ページ数 |
5 |
| 発行日 |
2015-05-04 (SS) |