原型(げんがた)は、鋳造やプレス加工などで、製品とほぼ同形の、最初に用意される雄型。正確には原型模型と呼ばれる。フィギュアについては「げんけい」とも読む。原型から、原型や製品と凹凸が逆の雌型(鋳型、金型、あるいは単に型などと呼ばれる)が作られ、雌型から製品が作られる。なお、原型→雌型→製品ではなく、原型→雌型→雄型→雌型→製品という工程をとる製法もある(レコードなど)。原型は製品とほぼ同形ではあるが、鋳造の場合、製品(鋳造品)の素材によっては固化時に収縮するため、鋳造品が原型より少しだけ小さくなるので、伸尺(のびじゃく)といって、収縮分を見越して大きくした物指しを昔は使用した。原型素材の例.原型は、最終製品と違い耐久性は必要ないので、柔らかく加工しやすい素材で作られる。また必要に応じて、複数の素材が併用される。原型を作るのではなく、人体、生物などすでにあるものを原型として利用することもある。その場合には、現型(げんがた)という漢字を用いる。プロトタイプカー北陸の海沿いの町のとある旧家を舞台に、行き倒れて記憶を失った女をめぐる大人たちの葛藤を、思春期の少女の視線で描く。再帰理論発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。これらの領域においては、再帰理論は証明論やエフェクティブ記述集合論()とも密接に関係する。再帰理論の根本的疑問は「自然数から自然数への関数が計算可能であるとはどういう意味か?」と、「計算不能関数は、その計算不能性のレベルに基づいて階層分けできるか?」である。これらの疑問への答えを探す過程で豊かな理論が生まれ、現在でも活発な研究が行われている。数理論理学における再帰理論の研究者がよく扱うのは、この記事で触れる相対的な計算可能性、還元性の概念、次数構造などである。これらは、計算機科学における計算可能性理論が、計算複雑性理論、形式手法、形式言語などを主な研究対象とすることと対照を成す。これら二つの研究コミュニティには知識と手法の面で重なる部分が多々あり、はっきりした境界を引くことは出来ない。計算可能集合と計算不可能集合.チューリング計算可能性.