言語論 English
問題一覧
1
(binary )演算子
二項
2
infix notation
中置記法
3
prefix notation
前置記法
4
postfix notation
後置記法
5
left associative
左結合
6
right associative
右結合
7
abstract syntax tree
抽象構文木
8
recursive
再帰的
9
linear recursive
線形再帰
10
tail recursive
末端再帰
11
winding phase
巻き取り段階
12
unwinding phase
巻き戻し段階
13
pure functional programming
純関数型プログラミング
14
meta-language
メタ言語
15
predicate
述語
16
list
リスト
17
empty list
空リスト
18
(higher order)関数
高階
19
iterator
繰り返し子
20
relation
関係
21
rule
規則
22
fact
事実
23
Horn clause
ホーン節
24
logic programming
論理プログラミング
25
variable
変数
26
atom
アトム
27
compound term
複合項
28
functor
ファンクタ
29
argument
引数
30
satisfiable
充足可能
31
instance
具体値
32
substitution
置換
33
unifier
単一子
34
most general unifier
最汎単一子
物理
物理
ユーザ名非公開 · 49問 · 2年前物理
物理
49問 • 2年前ユーザ名非公開
オートマトン
オートマトン
ユーザ名非公開 · 5問 · 1年前オートマトン
オートマトン
5問 • 1年前ユーザ名非公開
情報数学 English
情報数学 English
ユーザ名非公開 · 19問 · 1年前情報数学 English
情報数学 English
19問 • 1年前ユーザ名非公開
情報ネットワーク
情報ネットワーク
ユーザ名非公開 · 8問 · 1年前情報ネットワーク
情報ネットワーク
8問 • 1年前ユーザ名非公開
情報ネットワーク2
情報ネットワーク2
ユーザ名非公開 · 9問 · 1年前情報ネットワーク2
情報ネットワーク2
9問 • 1年前ユーザ名非公開
情報数学 英語2
情報数学 英語2
ユーザ名非公開 · 34問 · 1年前情報数学 英語2
情報数学 英語2
34問 • 1年前ユーザ名非公開
言語論
言語論
ユーザ名非公開 · 39問 · 1年前言語論
言語論
39問 • 1年前ユーザ名非公開
文脈自由文法 設計
文脈自由文法 設計
ユーザ名非公開 · 6問 · 1年前文脈自由文法 設計
文脈自由文法 設計
6問 • 1年前ユーザ名非公開
意味等
意味等
ユーザ名非公開 · 8問 · 1年前意味等
意味等
8問 • 1年前ユーザ名非公開
あ
あ
ユーザ名非公開 · 12問 · 1年前あ
あ
12問 • 1年前ユーザ名非公開
用語
用語
ユーザ名非公開 · 25問 · 1年前用語
用語
25問 • 1年前ユーザ名非公開
虫食い
虫食い
ユーザ名非公開 · 9問 · 1年前虫食い
虫食い
9問 • 1年前ユーザ名非公開
問題一覧
1
(binary )演算子
二項
2
infix notation
中置記法
3
prefix notation
前置記法
4
postfix notation
後置記法
5
left associative
左結合
6
right associative
右結合
7
abstract syntax tree
抽象構文木
8
recursive
再帰的
9
linear recursive
線形再帰
10
tail recursive
末端再帰
11
winding phase
巻き取り段階
12
unwinding phase
巻き戻し段階
13
pure functional programming
純関数型プログラミング
14
meta-language
メタ言語
15
predicate
述語
16
list
リスト
17
empty list
空リスト
18
(higher order)関数
高階
19
iterator
繰り返し子
20
relation
関係
21
rule
規則
22
fact
事実
23
Horn clause
ホーン節
24
logic programming
論理プログラミング
25
variable
変数
26
atom
アトム
27
compound term
複合項
28
functor
ファンクタ
29
argument
引数
30
satisfiable
充足可能
31
instance
具体値
32
substitution
置換
33
unifier
単一子
34
most general unifier
最汎単一子