Similar to 計算複雑性理論
計算理論
Theory of computation
アッカーマン関数
Ackermann function
計算論的神経科学
Computational neuroscience
数学基礎論
Foundations of mathematics
不動点コンビネータ
Fixed-point combinator
Μ再帰関数
General recursive function
M系列
Maximum length sequence
アルゴリズム
Algorithm
アルファベット (計算機科学)
Alphabet (formal languages)
Mizar
Mizar system
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
2の12乗根
Twelfth root of two
Annals of Mathematics
Annals of Mathematics
Ba空間
Ba space
Calculus on Manifolds (書籍)
Calculus on Manifolds (book)
CFL条件
Courant–Friedrichs–Lewy condition
D-加群
D-module
GIMPS
Great Internet Mersenne Prime Search
Grundzüge der Mengenlehre
Grundzüge der Mengenlehre
Gδ集合
Gδ set
LaTeX
LaTeX
Mathematica
Wolfram Mathematica(19308) 1996 TO66
(19308) 1996 TO66
第2軍 (日本軍)
Second Army (Japan)