@techreport{weko_101425_1, author = "西村,俊二 and 尼崎,太樹 and 末吉,敏則", title = "圏論を用いた同期回路-ステー卜マシン対応の一般化", year = "2014", institution = "熊本大学大学院自然科学研究科, 熊本大学大学院自然科学研究科, 熊本大学大学院自然科学研究科", number = "12", month = "may" }