@techreport{weko_23132_1,
   author	 = "斉藤雄介 and 棟朝,雅晴 and 赤間,清",
   title	 = "制約充足問題を解く正当な並列プログラムの生成について",
   year 	 = "2006",
   institution	 = "北海道大学大学院 情報科学研究科 複合情報学専攻, 北海道大学 情報基盤センター 大規模計算システム研究部門, 北海道大学 情報基盤センター 大規模計算システム研究部門",
   number	 = "20(2006-ARC-167)",
   month	 = "feb"
}