「Recursive set」を解説文に含む見出し語の検索結果(1~10/80件中)
タブ文字列トークンを使用して、新しい行にインデントを設定できるテキスト ライタを提供します。名前空間: System.CodeDom.Compilerアセンブリ: System (system.dll...
タブ文字列トークンを使用して、新しい行にインデントを設定できるテキスト ライタを提供します。名前空間: System.CodeDom.Compilerアセンブリ: System (system.dll...
フリードバーグ・ナンバリング(英: Friedberg numbering)は帰納的関数や帰納的可算集合の単射なナンバリング(枚挙)をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
フリードバーグ・ナンバリング(英: Friedberg numbering)は帰納的関数や帰納的可算集合の単射なナンバリング(枚挙)をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
数学の特に圏論におけるF-代数(エフだいすう、英: F-algebra)は、(自己)関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
数学の特に圏論におけるF-代数(エフだいすう、英: F-algebra)は、(自己)関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
以下の定数が定義されています。この関数の拡張モジュールが PHP 組み込みでコンパイルされているか、実行時に動的にロードされている場合のみ使用可能です。 XML_ERROR_NONE (integer...
以下の定数が定義されています。この関数の拡張モジュールが PHP 組み込みでコンパイルされているか、実行時に動的にロードされている場合のみ使用可能です。 XML_ERROR_NONE (integer...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/12 13:46 UTC 版)「エンタープライズモデリング」の記事における「エンタープライズモデル」の解説エンタープラ...
数学において、始代数 (しだいすう、英: initial algebra) とは、与えられた自己関手 F に対する F-代数の圏における始対象を言う。始代数の持つ始対象性 (initiality) は...
< 前の結果 | 次の結果 >