ストリームを用いた コンカレントカーネルプログラミングと最適化