Similar to ユニフィケーション

• 

  イェール射撃問題

  Yale shooting problem
  
• 

  帰納プログラミング

  Inductive programming
  
• 

  失敗による否定

  Negation as failure
  
• 

  フレーム問題

  Frame problem
  
• 

  プロダクションシステム

  Production system (computer science)
  
• 

  閉世界仮説

  Closed-world assumption
  
• 

  Guarded Horn Clauses

  
• 

  後者関数

  Successor function
  
• 

  順序回路

  Sequential logic
  
• 

  線形論理

  Linear logic
  
• 

  直観主義型理論

  Intuitionistic type theory
  
• 

  汎用ロジックIC

  Logic family
  ▼-1 trends

  
• 

  表示的意味論

  Denotational semantics
  
• 

  前向き連鎖

  Forward chaining
  
• 

  論理回路

  Logic gate
  ▼-1 trends

  
• 

  F* (プログラミング言語)

  F* (programming language)
  
• 

  タブローの方法

  Method of analytic tableaux
  
• 

  数学

  Mathematics
  
• 

  0.999...

  0.999...
  ▲1 trends

  
• 

  0次元

  Zero-dimensional space
  
• 

  0の0乗

  Zero to the power of zero
  
• 

  1次元

  One-dimensional space
  
• 

  1+1

  
• 

  1+1+1+1+…

  1 + 1 + 1 + 1 + ⋯
  
• 

  1+2+3+4+…

  1 + 2 + 3 + 4 + ⋯
  
• 

  1+2+4+8+…

  1 + 2 + 4 + 8 + ⋯
  
• 

  1の冪根

  Root of unity
  
• 

  1の補数

  Ones' complement