タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

論理型言語に関するyuji1982のブックマーク (1)

  • Erlang, Oz/Mozart, Prolog, 単一化: ホットコーナー

    ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 標題: Erlang, Oz/Mozart, Prolog, 単一化 --- Erlangのこと、あれこれやってたから、弾さんのコメントがあった。 http://blog.livedoor.jp/dankogai/archives/50832431.html そろそろerlangについて一言いっとくか で、 --- ここから --- 変数束縛が Variable = Value. なのに、関数定義が function(Aargument) -> blah, blah, blah. てのはどうよ? --- ここまで

  • 1