@article{oai:ycc.repo.nii.ac.jp:00001230,
 author = {高橋, 信行 and Takahashi, Nobuyuki},
 issue = {1},
 month = {2016-03-09},
 note = {10, KJ00004472991, 論文, Article},
 pages = {132--155},
 title = {有限オートマトンによる実数の定義可能性},
 volume = {12},
 year = {},
 yomi = {タカハシ, ノブユキ}
}