検索結果

ページ名と一致

• 抽象データ型
  [[Category:抽象]] …
  8キロバイト (285 語) - 2024年10月25日 (金) 12:56

ページ本文と一致

• 抽象データ型
  [[Category:抽象]] …
  8キロバイト (285 語) - 2024年10月25日 (金) 12:56
• System F
  4キロバイト (236 語) - 2024年7月13日 (土) 15:00
• 共義語
  7キロバイト (311 語) - 2024年11月1日 (金) 15:44
• Catamorphism
  7キロバイト (489 語) - 2024年8月19日 (月) 00:45
• 線形探索
  3キロバイト (259 語) - 2024年6月22日 (土) 17:02
• 有理化
  抽象[[代数学]]的にはこの例は、<math>\mathbb Q</math> を有理数体、<math>d\in\mathbb Q</math> が有理数の …
  4キロバイト (280 語) - 2024年2月14日 (水) 09:44
• 剰余体
  …|スキーム]] ''X'' の各点 ''x'' に ''x'' の'''剰余体''' ''k''(''x'') が関連付けられる。少し大まかに言うと、抽象[[代数多様体]]の点の剰余体は、点の座標の「自然な領域」である。 …
  4キロバイト (183 語) - 2015年11月8日 (日) 13:31
• 不動点コンビネータ
  25キロバイト (1,427 語) - 2023年12月27日 (水) 01:35
• クロネッカー積
  15キロバイト (1,276 語) - 2023年11月22日 (水) 09:48
• F代数
  5キロバイト (287 語) - 2023年10月11日 (水) 16:51
• CEK機械
  10キロバイト (1,143 語) - 2024年2月23日 (金) 13:31
• 平衡二分探索木
  5キロバイト (126 語) - 2021年12月22日 (水) 07:36
• 数ベクトル空間
  6キロバイト (385 語) - 2024年7月16日 (火) 17:29
• カインド (型理論)
  8キロバイト (353 語) - 2022年5月5日 (木) 00:59
• ウィーナー過程
  7キロバイト (345 語) - 2025年2月21日 (金) 07:13
• 量子数
  7キロバイト (242 語) - 2023年6月28日 (水) 06:26
• リスト内包表記
  23キロバイト (1,494 語) - 2025年1月30日 (木) 15:20
• ギャップ定理 (計算複雑性理論)
  :<math>\Phi</math> を [[ブラムの公理|抽象（ブラム）複雑性測度]]とする。任意の全域計算可能関数 <math>g</math> で <math>g(x) \geq x</math> なるものに対 …
  8キロバイト (472 語) - 2024年6月2日 (日) 22:30
• 再帰データ型
  8キロバイト (286 語) - 2022年2月17日 (木) 17:10
• コンビネータ論理
  ''λv.E1''の形の項は「抽象」と呼ばれる。''v''はその抽象の仮引数、''E1''は本体と呼ばれる。''λv.E1''という項は、引数に適用されると''v''をその値に束縛し、' …
  62キロバイト (6,069 語) - 2024年6月1日 (土) 11:12