@article{oai:ipsj.ixsq.nii.ac.jp:00005053,
 author = {沢村, 一 and Sawamura, Hajime},
 issue = {6},
 journal = {情報処理},
 month = {Jun},
 title = {非標準理論とその応用：適切さの論理},
 volume = {30},
 year = {1989}
}