@article{weko_6458_1, author = "玉井,哲雄 and 福永,光一", title = "記号実行システム", journal = "情報処理", year = "1982", volume = "23", number = "1", month = "jan" }