関数型パラダイムで実現する B5G 時代の資源透過型広域分散コンピューティング環境　〜成果の達成度と今後の展望〜

高瀬英希, 細合晋太郎, 大川猛, 菊池豊, 中川郁夫, 西内一馬, 大崎充博, 菊地俊介, 柏崎礼生