@techreport{weko_75628_1, author = "吉田,浩章 and 藤田,昌宏", title = "インクリメンタル高位合成に向けた設計記述間差分の計算手法", year = "2011", institution = "東京大学大規模集積システム設計教育研究センター(VDEC)/科学技術振興機構戦略的創造研究推進事業CREST, 東京大学大規模集積システム設計教育研究センター(VDEC)/科学技術振興機構戦略的創造研究推進事業CREST", number = "21", month = "mar" }