手続き集合とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Các từ liên quan tới 手続き集合

手続き

プロシージャ行政手続法

集合

しゅうごう

(1)いくつかのものを一か所に集めること。また，集まること。聚合。

手続き記憶

続き記憶は、時間をかけて学習した刺激応答などのパターンを反映することができる。一方、宣言的記憶は言葉にするのが容易である。手続き学習の例として、自転車の乗り方の練習、タイピングの練習、楽器の練習、水泳の練習がある。手続き記憶は永続性がある場合もある。

搭乗手続き

搭乗手続き（とうじょうてつづき）とは、航空機の搭乗券を受け取るための手続きである。チェックイン（英語: check in）とも呼ばれる。航空機に搭乗するには、航空券の購入に加えて搭乗券の受取が必要である。当日に空港の各航空会社のチェックインカウンターあるいは自動チェックイン機、当日以前にオンラインチェックインにて以下の手続きを行う。

手続き型プログラミング

プログラミング言語 >>他のプログラミング言語 ■カテゴリ / ■テンプレート手続き型プログラミング（てつづきがたプログラミング、英: Procedural programming）は、手続きの定義と呼び出しをプログラム全体を組み立てる土台にしたプログラミングパラダイムである。手続きは言語

点付き集合

多くの代数的構造が凡そ自明な仕方で点付き集合と見なすことができる。例えば、群は単位元を基点に選んで点付き集合と見れば、ちょうど群準同型が点付き写像となっていることが見て取れる。このような観察は、圏論的な言い方をすれば、群の圏から点付き集合の圏への忘却函手（英語版）があると言い換えられる。全ての点付き集合の成す類は、すべての点付き写像の成す類を伴って圏を成す。この圏

手続き的知識

手続き的知識（てつづきてきちしき、Procedural Knowledge）とは、何かをする際のハウツー的な知識。普通はノウハウ（Know-how）ともいう。人工知能、認知心理学、知的財産権における意味も合わせて解説する。ノウハウは宣言的知識などの他の知識とは異なる形式であり、何らかの作業に直接適用可能である。

手続き型生成

れば、技術デモとして見た場合はともかくとして「ゲームとしての側面に関する限り、それは完全な失敗でした（主な理由として、誰もゲームとしての側面に関して真底まで関与しなかったからです）。」 Naked Sky Entertainmentの『RoboBlitz』は手続き型生成を利用することで、当時のXbox