Similar to カリー＝ハワード同型対応

• 

  0

  0
  
• 

  5

  5
  
• 

  Android (オペレーティングシステム)

  Android (operating system)
  
• 

  B-52 (航空機)

  Boeing B-52 Stratofortress
  
• 

  BASIC

  BASIC
  
• 

  アーベル群

  Abelian group
  
• 

  アーベル多様体

  Abelian variety
  
• 

  I号戦車

  Panzer I
  
• 

  III号突撃砲

  Sturmgeschütz III
  
• 

  V号戦車パンター

  Panther tank
  ▲1 trends

  
• 

  AppleScript

  AppleScript
  
• 

  B-24 (航空機)

  Consolidated B-24 Liberator
  
• 

  B-36 (航空機)

  Convair B-36 Peacemaker
  
• 

  Common Gateway Interface

  Common Gateway Interface
  
• 

  10世紀

  10th century
  
• 

  11世紀

  11th century
  
• 

  11の新しいバガテル

  Bagatelles, Op. 119 (Beethoven)
  
• 

  12世紀

  12th century
  
• 

  13世紀

  13th century
  
• 

  14世紀

  14th century
  
• 

  15世紀

  15th century
  
• 

  16世紀

  16th century
  
• 

  17世紀

  17th century
  ▲1 trends

  
• 

  1848年のフランス革命

  French Revolution of 1848
  
• 

  1851年12月2日のクーデター

  1851 French coup d'état
  
• 

  18世紀

  18th century
  
• 

  1964年公民権法

  Civil Rights Act of 1964
  
• 

  19世紀

  19th century
  ▲1 trends