@article{weko_65815_1, author = "岸本,章宏", title = "チェッカー解明秘話", journal = "情報処理", year = "2007", volume = "48", number = "11", pages = "1257--1263", month = "nov" }