{
    "@context": "https://id.ndl.go.jp/auth/context.json",
    "uri": "http://id.ndl.go.jp/auth/ndlsh/00565849",
    "type": {
        "uri": "http://www.w3.org/2004/02/skos/core#Concept"
    },
    "modified": "2025-01-06T11:38:52",
    "created": "1980-06-20",
    "prefLabel": {
        "literalForm": "帰納的関数",
        "transcription": "キノウテキカンスウ",
        "transcription-l": [
            {
                "@value": "キノウテキカンスウ",
                "@language": "ja-Kana"
            },
            {
                "@value": "Kinotekikansu",
                "@language": "ja-Latn"
            }
        ]
    },
    "label": "帰納的関数",
    "altLabel": [
        {
            "literalForm": "リカーシブ関数",
            "transcription": "リカーシブカンスウ",
            "transcription-l": [
                {
                    "@value": "リカーシブカンスウ",
                    "@language": "ja-Kana"
                },
                {
                    "@value": "Rikashibukansu",
                    "@language": "ja-Latn"
                }
            ]
        },
        {
            "literalForm": "Recursive functions"
        }
    ],
    "source": [
        "計算の理論 / M. デーヴィス 著 ; 渡辺茂, 赤摂也 訳",
        "岩波数学辞典"
    ],
    "exactMatch": [
        {
            "uri": "http://id.ndl.go.jp/auth/bsh4/00204000"
        }
    ],
    "inScheme": {
        "uri": "http://id.ndl.go.jp/auth#topicalTerms"
    },
    "sameAs": {
        "uri": "http://id.ndl.go.jp/auth/ndlsh/帰納的関数"
    },
    "relatedMatch": [
        {
            "uri": "http://id.ndl.go.jp/class/ndlc/MA41"
        },
        {
            "uri": "http://id.ndl.go.jp/class/ndc10/410.9"
        },
        {
            "uri": "http://id.ndl.go.jp/class/ndc9/410.9"
        }
    ],
    "broader": [
        {
            "uri": "http://id.ndl.go.jp/auth/ndlsh/00564960",
            "label": "関数"
        }
    ],
    "closeMatch": [
        {
            "uri": "http://id.loc.gov/authorities/subjects/sh85112014"
        }
    ],
    "related": [
        {
            "uri": "http://id.ndl.go.jp/auth/ndlsh/00565667",
            "label": "決定問題"
        }
    ]
}