@article{weko_5053_1, author = "沢村,一", title = "非標準理論とその応用:適切さの論理", journal = "情報処理", year = "1989", volume = "30", number = "6", month = "jun" }