@techreport{weko_62577_1, author = "宮永,照二", title = "データベースによるグラフとオートマトンのモデル化", year = "2009", institution = "大阪大学/産総研", number = "11", month = "jul" }