@article{weko_12344_1, author = "笠晃一 and 岡出,高徳 and 弘中,大介 and 横田,将生", title = "条件の付加による到達可能性の改良について", journal = "情報処理学会論文誌", year = "2000", volume = "41", number = "4", pages = "1028--1037", month = "apr" }