@techreport{weko_20311_1, author = "石川,英彦 and 有澤,博", title = "存在に関する意味制約の妥当性", year = "1994", institution = "横浜国立大学工学部電子情報工学科, 横浜国立大学工学部電子情報工学科", number = "62(1994-DBS-099)", month = "jul" }