Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
(1)〔induction〕
推論の手続きが帰納によっているさま。
た行動系列,得られるプログラムの計算量を考慮した制約,種々の背景知識が挙げられる.背景知識としては,標準的なデータ型,使用する定義済み関数,データの流れや意図したプログラムを記述するプログラムの概形あるいはテンプレート,解の探索を誘導するヒューリスティクスやその他のバイアスが挙げられる.
ベクトル空間の次元 - ベクトル空間において、一次独立(線型独立)な生成系の濃度。 多様体や代数多様体の次元 複体のホモロジー次元 可換環のクルル次元。次元論 (代数学)も参照。 環の大域次元 加群の次元(射影次元、移入次元、etc.) 位相次元(トポロジカル次元) ルベーグ被覆次元 帰納次元: 大きな帰納的次元
で添字付けられた対象の族、fij: Ai → Aj (i ≤ j) を準同型の族として、以下の条件 fii は Ai の恒等写像であり、 任意の i ≤ j ≤ k に対して fik = fjk ∘ fij が成立する。 が満たされるとき、対、⟨Ai, fij⟩ は I 上の帰納系と呼ばれる。 帰納系 ⟨Ai, fij⟩
帰納言語(きのうげんご、英: Recursive language)は、数学・論理学・計算機科学における形式言語の一種である。決定性言語(Decidable Language)、チューリング決定性言語(Turing-decidable Language)とも呼ぶ。全ての帰納言語の属する複雑性クラスをRと呼ぶが、RPクラスを
ゼロ次元(ゼロじげん)とは、1960年代から1970年代初頭にかけて活動していた前衛パフォーマンスアート集団。「人間の行為をゼロに導く」をコンセプトに過激な全裸パフォーマンスを繰り返したことから、ネオダダや九州派、時間派といった当時の反芸術運動の中でも最左派に位置づけられる。「儀式集団・ゼロ次元」(ぎしきしゅうだん・ゼロじげん)とも。
ホモロジー次元(ホモロジーじげん、英: homological dimension)はホモロジー代数におけるいくつかの関連する概念を意味する: 射影次元、射影分解に基づいたホモロジー次元 移入次元、移入分解に基づいたホモロジー次元 平坦次元、平坦分解に基づいたホモロジー次元 大域次元