Similar to 理論計算機科学
アインシュタインの縮約記法
Einstein notation
M系列
Maximum length sequence
アルゴリズム
Algorithm
計算論的哲学
Computational philosophy
Mizar
Mizar system
数学
Mathematics
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/100
Hundredth
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
第七号掃海艇 (3代)
Japanese minesweeper No. 7 (1938)
第七潜水艇
第八号掃海艇 (3代)
Japanese minesweeper No. 8 (1938)
第九号掃海艇 (3代)
第十号掃海艇 (3代)
Japanese minesweeper No. 10 (1938)
第11SS装甲偵察大隊
第十一号掃海艇 (2代)
第12SS装甲師団
12th SS Panzer Division Hitlerjugend第十二号掃海艇 (2代)
第十三号掃海艇
第13師団 (日本軍)
13th Division (Imperial Japanese Army)第十四号掃海艇
第十五号掃海艇
第十六号掃海艇