Similar to リテラル
合同否定
シークエント計算
Sequent calculus
自由変数と束縛変数
Free variables and bound variables
垂直記号
Up tack
全称記号
Universal quantification
ダイヤ (シンボル)
Diamonds (suit)
ダウンタック記号
Tee (symbol)
チルダ
Tilde
バーティカルバー
Vertical bar
否定記号
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic無矛盾
Consistency
メタ変数
Metavariable
矢印
Arrow (symbol)
ロズンジ
論理的帰結
Logical consequence
19世紀フランスのフィロキセラ禍
Great French Wine Blight
2012年ロンドンオリンピックの開会式の入場行進
2012 Summer Olympics Parade of Nations
.260レミントン
.260 Remington
3DCGソフトウェアの歴史
3次元コンピュータグラフィックス
3D computer graphics
Acronis True Image
Acronis True Image
AGM-28 (ミサイル)
AGM-28 Hound Dog
AIアライメント
AI alignment
Alto
Xerox AltoAMule
AMule
