ログイン

言語論 English

言語論 English
34問 • 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

    最汎単一子

  • 物理

    物理

    ユーザ名非公開 · 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

    最汎単一子