Similar to 文脈自由文法
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
L-system
L-system
Mizar
Mizar system
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
インデクサ
Indexer (programming)
オフサイドルール
Off-side rule
クラス (コンピュータ)
Class (computer programming)
最適化 (情報工学)
Program optimizationソフトウェアトランザクショナルメモリ
Software transactional memory
同図像性
Homoiconicity
ドメイン固有モデリング
Domain-specific modeling
プログラミングパラダイム
Programming paradigm
予約語
Reserved word
ランタイムシステム
Runtime system
数学
Mathematics▼-1 trends
0.999...
0.999...▼-2 trends