@techreport{weko_68985_1, author = "泉,知論 and 吉川,寿広 and 荒木,大", title = "仕様記述言語SpecCによるサイクル精度記述の一試行", year = "2010", institution = "立命館大学理工学部/大学院理工学研究科/株式会社シンセシス, 株式会社インターデザイン・テクノロジー, 株式会社インターデザイン・テクノロジー", number = "17", month = "mar" }