@article{oai:bunkyo.repo.nii.ac.jp:00003327,
 author = {鈴木, 昇一},
 journal = {情報研究, Information and Communication Studies},
 month = {1987-01-01, 2012-01-17},
 note = {A structural-fertilization pattern-recognition program of fixed-point type, FERT, proposed in a mathematical theory of recognizing patterns is represented in terms of a list -theoretic formalism, that is, by the use of five list-processing functions, i. e. head, tail, cons, null and if-then-else-fi.},
 pages = {1--12},
 title = {認識プログラムFERTのリスト論的形式体系における表現},
 volume = {8},
 year = {}
}