BSP(Bulk Synchronous Parallel)モデル再訪--BSPによるマルチコアプログラミングと大規模グラフフレームワーク--