@techreport{weko_31067_1, author = "Martin,Nilsson and Hidehiko,Tanaka", title = "ガード部を持つFGHC節からガード部を持たない節へのプログラム変換", year = "1988", institution = "東京大学電機工学科田中英彦研究室, 東京大学電機工学科田中英彦研究室", number = "50(1988-PRO-017)", month = "jul" }