@techreport{weko_28470_1,
   author	 = "石浦菜岐佐 and 安浦寛人 and 河田哲郎 and 矢島脩三",
   title	 = "ベクトル計算機による高速論理シミュレーション",
   year 	 = "1985",
   institution	 = "京都大学工学部, 京都大学工学部, 京都大学工学部, 京都大学工学部",
   number	 = "66(1984-SLDM-025)",
   month	 = "feb"
}