「Recursive」を解説文に含む見出し語の検索結果(131～140/587件中)
ナビゲーションに移動検索に移動再帰的定義（Recursive Definition）は、再帰的な定義、すなわち、あるものを定義するにあたってそれ自身を定義に含むものを言う。無限後退を避けるため、定義に...
奥 宏史（おく ひろし）は、日本の電子制御工学・システム工学者。大阪工業大学工学部電子情報システム工学科教授。工学博士（東京大学）。国際自動制御連盟（IFAC）SYSID2021国際プログラム委員。専...
清水 洋平（しみず ようへい）は、日本の作曲家、プログラマ。2001年までコナミ株式会社（現・コナミデジタルエンタテインメント）に所属していた。コナミ退社後はポリフォニー・デジタルを経て、ソニー・コン...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/03 13:45 UTC 版)「逆数学」の記事における「2階算術の5つの基本的部分体系(Big Five)」の解説2階...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「チューリング計算可能性」の解説再帰理論における計算可能性の研...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 20:23 UTC 版)「チューリングマシン」の記事における「形式的な定義」の解説この節では、チューリング機械を...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「計算可能集合と計算不可能集合」の解説再帰理論は、1930年代...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/01/09 13:48 UTC 版)「チョムスキー階層」の記事における「階層」の解説チョムスキー階層は以下のレベルから構成さ...
KRCパラダイム関数型、宣言型登場時期1981年設計者デビッド・ターナー型付け動的型付け影響を受けた言語SASL影響を与えた言語Miranda、Orwell (OL)、Haskellウェブサイトkrc...
ギャップ定理（ギャップていり、英: Gap theorem）またはボロディン-トラクテンブロートのギャップ定理は計算可能関数の複雑性に関する重要な定理である。[1]これは本質的...