並列処理向きプログラミング言語の研究