@techreport{weko_44593_1,
   author	 = "永藤,直行 and 渡部,卓雄",
   title	 = "不干渉性の強制について",
   year 	 = "2006",
   institution	 = "東京工業大学大学院情報理工学研究科計算工学専攻, 東京工業大学大学院情報理工学研究科計算工学専攻",
   number	 = "81(2006-CSEC-034)",
   month	 = "jul"
}