Similar to 数学基礎論
アスカリ・A10
Ascari A10
アズ・ザ・ワールド・ターンズ
As the World Turns
アスタチン
Astatine
フレッド・アステア&ジンジャー・ロジャース
Fred Astaire and Ginger Rogers
アステロイド (ゲーム)
Asteroids (video game)
アステロイドデー
Asteroid Day▲1 trendsアストライアー
Astraea
アストラゼネカ
AstraZeneca
アストラハン・タタール人
Astrakhan TatarsASTRO's PLAYROOM
Astro's Playroom
アストロターフィング
AstroturfingASTRONEER -アストロニーア-
Astroneer
理論計算機科学
Theoretical computer science
アルファベット (計算機科学)
Alphabet (formal languages)
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
形式言語
Formal language形式言語の階層
形式手法
Formal methods
形式的検証
Formal verification
公理的意味論
Axiomatic semantics
コンビネータ論理
Combinatory logic
失敗による否定
Negation as failure
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schank
述語変換意味論
Predicate transformer semantics
双模倣性
Bisimulation