リアクティブプログラムの意味=ストリームからストリームへの関数