タグ

algorithmとlangに関するyuguiのブックマーク (4)

  • List は Array にあらず : 404 Blog Not Found

    2007年05月19日18:00 カテゴリLightweight Languages List は Array にあらず 無謀というより、もともと違うものを一緒にすることはないと思う。 Matzにっき(2007-05-07) こういうの(Lazy List)を将来のArrayクラスに突っ込みたいんだけど、無謀かなあ。 そう。もともとListとArrayは別物なのだから。 確かに、List(リスト)とArray(配列)には、Ordered Collection of Data -- 順番に並んだデーター --という共通点がある。この共通点があるが故に、特にLLにおいてはどちらも同じように扱われる場合が多いけれども、重要な違いが一つある。 Listが Sequentially Accessible なのに対し、 Array が Randomly Accessible だというのが、その違いだ。

    List は Array にあらず : 404 Blog Not Found
  • 並行論理プログラミングとは

    First Edition: 2001.7.24 Last Updated: 2001.12.27 並行論理プログラミングは、 書き換え規則に基づいて並行に記号処理を行う言語パラダイムである。 このパラダイムに属する言語を並行論理型言語と言い、 その言語で書かれたプログラムを並行論理プログラムと言う。 【栗色の文は、歴史的なしがらみを示している。】 ■ 論理プログラミングについて 論理プログラミング(logic programming) ゴール(goal)の書き換え規則の集まりをプログラムとし、 ゴールの書き換え(rewriting)によって処理を記述する計算パラダイム。 記号処理ができ、 論理変数を頼りにプログラムを宣言的に読むことができるという特徴を持つ。 【ゴールは、一階述語論理の原子論理式(atomic formula)として解釈されてきたため、 アトム(atom)と呼ばれてきた。

  • OBB vs AABB - Radium Software Development

    This domain may be for sale!

  • チョムスキー階層 - Wikipedia

    チョムスキー階層(チョムスキーかいそう、Chomsky hierarchy)は、形式言語を生成する形式文法の包含階層(形式言語の階層)で、句構造文法(phrase structure grammar)の階層」などともいう。1956年にノーム・チョムスキーが発表した。 形式文法の構成要素は、終端記号(terminal symbol)の有限集合(形式言語の単語で使われる文字)、非終端記号(nonterminal symbol)の有限集合、生成規則(production rule)の有限集合(各生成規則は右側と左側に記号列で構成される単語を含む)、開始記号(start symbol)から構成される。生成規則はある単語に適用され、規則の左側にある単語を右側にある記号列で置換する。導出は一連の規則適用過程である。このような文法で開始記号から始めて生成規則を適用していくことで、終端記号のみから構成され

    yugui
    yugui 2006/04/18
    type-0 帰納的可算言語 - type-3 正規言語
  • 1