大規模並列環境におけるグラフ最良優先探索の効率的な仕事分配手法
陣内佑(東京大学 総合文化研究科)