Logo
Главная страница
Уроки
Блокнот
Словарь
JLPT тест
Видео
Обновить
Отзыв
Logo
Главная страница
Уроки
Блокнот
Словарь
JLPT тест
Видео
Обновить
Отзыв
Todaii Japanese
Switch language – current: ru
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

О Todaii Japanese

История брендаЧасто задаваемые вопросыРуководство пользователяУсловия и политикаИнформация о возврате

Социальная сеть

Logo facebookLogo instagram

Версия приложения

AppstoreGoogle play

Другие приложения

Todaii German
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

Авторские права принадлежат eUp Technology JSC

Copyright@2026

Словарь

Детали слова

帰納的可算言語

Language）とも呼ぶ。形式言語のチョムスキー階層におけるタイプ-0言語に相当する。全ての帰納的可算言語は複雑性クラス RE に属する。 帰納的可算言語には以下の3つの等価な定義がある。 帰納的可算言語は、形式言語のアルファベットから生成可能な全ての単語の集合のうち、帰納的可算な部分集合である。 帰納的可算言語は、その言語

Связанные слова

帰納的可算集合

全ての帰納的集合は帰納的可算だが、全ての帰納的可算集合が帰納的（集合）とは言えない。 帰納的可算言語は形式言語の帰納的可算な部分集合である。 帰納的可算な公理系から導かれる全ての文の集合は帰納的可算集合である。 マチャセビッチの定理によれば、全ての帰納的可算集合はディオファントス集合である（逆も明らかに真）。

帰納言語

帰納言語（きのうげんご、英: Recursive language）は、数学・論理学・計算機科学における形式言語の一種である。決定性言語(Decidable Language)、チューリング決定性言語(Turing-decidable Language)とも呼ぶ。全ての帰納言語の属する複雑性クラスをRと呼ぶが、RPクラスを

帰納的

推論の手続きが帰納によっているさま。

原始帰納的算術

S(x)=S(y)~\to ~x=y,} それと原始帰納的関数の定義式すべてである。例えば原始帰納的関数の最も一般的な特徴付けは、ゼロと後者を含み、射影、関数合成、原始再帰で閉じている、というものである。そこで、(n+1)-変数関数（を表す記号, 以下省略） f が原始再帰によって n-変数の基底関数 g と

帰納的集合

指示関数が帰納的関数となるような集合を帰納的集合（きのうてきしゅうごう）という。 端的に言えば、決定可能な集合であり、チャーチのテーゼを認めるならば、計算可能な集合である。 たとえば、素数の集合は、帰納的集合である。一方で停止性問題（実行すると停止するプログラムと入力の組の集合）は帰納的でない。 帰納的関数

帰納

(1)〔induction〕 個々の特殊な事実や命題の集まりからそこに共通する性質や関係を取り出し， 一般的な命題や法則を導き出すこと。 ⇔ 演繹 (2)反切によって漢字の音を導き出すこと。

数学的帰納法

なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。2 により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見えるためこのような名前がつけられた。ジョン・ウォリスによって、彼の著作Arithmetica

構造的帰納法

帰納法と関係を持つ。 構造的帰納法は、（リストや木構造のように）再帰的に定義された構造のある種の x に関する全称命題 ∀x. P(x) を証明する手法である。そのような構造の上には、整礎な半順序が定義できる。（リストに対する「部分リスト」、木構造に対する「部分木」など。）　構造的帰納法による証明

納言

日本の歴史上の官名 天武天皇期に置かれた大臣に次ぐ官職。また、後にこの職を分割して成立した大納言・中納言・少納言の総称 正院におかれた官職 納言 (お笑いコンビ) 「納言」で始まるページの一覧 タイトルに「納言」を含むページの一覧 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職

計算言語学

計算言語学（けいさんげんごがく、英: computational linguistics）または計算論的言語学とは、形式性を重視する言語学の一分野である。自然言語処理と共に「理科系言語学」と称される。 類似名称の言語学分野に計量言語学があるが、計量言語学は統計的な手法により自然言語

帰納プログラミング

た行動系列，得られるプログラムの計算量を考慮した制約，種々の背景知識が挙げられる．背景知識としては，標準的なデータ型，使用する定義済み関数，データの流れや意図したプログラムを記述するプログラムの概形あるいはテンプレート，解の探索を誘導するヒューリスティクスやその他のバイアスが挙げられる．

帰一算

帰一算（きいちざん）は算数の文章題の一種。のべ算とも呼ばれる。仕事算で特に、同じ仕事を同一人物が複数回仕事をする場合について扱う。 ある仕事を終えるのにかかる時間が異なる人が数人集まって共同作業をしたときに、仕事を終えるまでに要する時間はいくらかを求める問題。 のべの数量を使って解いていく。

動的プログラミング言語

ではプログラムをS式として解析可能である。 動的プログラミング言語の中には、コードのイントロスペクションと eval 機能を組み合わせてマクロと呼ばれる機能を提供するものもある。C言語やC++におけるマクロは、プログラム内の文字列を置換するサブセット的かつ静的な機能でしかない。これに対し動的

総合的言語

総合的言語（そうごうてきげんご、英: Synthetic language）とは、言語類型論における言語の分類で、単語が複数の形態素から構成される言語をいう。構成的言語、統合的言語などともいう 形態素の使用法に基づく分類（屈折語、膠着語など）とは別の分類だが、多くの膠着語（日本語、朝鮮語、アルタイ語

動的言語ランタイム

動的言語ランタイム（どうてきげんごランタイム、英語: Dynamic Language Runtime、略称 : DLR）は、共通言語ランタイムの上で動作する、様々な異なる動的言語のために次のような言語機能を提供するためのマイクロソフトによる技術である。 動的型システム 動的メソッドディスパッチ 動的コード生成

私的言語論

はなく物品の数と結びつけて考えるということはどのように起こるのだろうか?一つの結論としては、これは、関係するためには直示的定義が「生活形式」に必然的に伴う過程や文脈を理解していることが前提とされるということだとされる。もう一つの結論としては、「直示的定義は『あらゆる』場合に異なった意味で解釈され得る」ということがある。

哲学的言語

哲学的言語（てつがくてきげんご、英語: philosophical language）、理想言語（りそうげんご、英語: ideal language）またはアプリオリ言語（アプリオリげんご、英語: a priori language）は、論理的言語のように、第一原理から作られたあらゆる人工言語であるが、絶対完全や飛び

第二可算的空間

数学の位相空間論おける第二可算空間（だいにかさんくうかん、英: second-countable space）とは、第二可算公理を満たす位相空間のことである。空間が第二可算公理を満たすとは「その位相が可算な開基を持つ」ということを言う。つまり、位相空間 T が第二可算的であるとは、T の可算個の開集合からなる族

第一可算的空間

ω1) がある。第一可算的空間はコンパクト生成空間である。 第一可算的空間の部分空間は第一可算的である。第一可算的空間の可算個の直積は第一可算的であるが、非可算個の積については必ずしもそうならない。 第二可算的空間 可分空間 Hazewinkel, Michiel, ed. (2001), “first