ドコモは、Prologで動いている＼(^O^)／: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 6月に、九大(九州大学)に講義に行ったとき、中洲産業大学で厳粛に執り行われた 馬刺し教授会で、ここでもたびたび言及している 「最近、関数型言語が現場でもやっと使われ始め、でも、Prologのような論理 型言語を知らない学生や技術者がいて、おれらの学生時代(今から30年から35 年前)、Lispのような関数
SWI-Prolog
実に様々なソフトウエアが無料で利用できるようになっています。そこで，主に「ソフトウエアを作る環境を楽しくするお役立ちフリーソフト」を集めて，1日1本のペースでご紹介します。 「SWI-Prolog」は「Prolog」という言語の処理系です。Prologは「Programming in Logic」の略で，1970年代にフランスで生まれた言語です。かつては人工知能の研究によく使われていました。 「論理型言語」と呼ばれ，まず「AはBである」「BならばCである」という具合に，複数のデータの関係を示す「命題」を記述しておきます。何かを問い合わせれば，命題の事実関係に矛盾しない答えを自動的に導き出してくれます。C言語のような手続き型言語とも，JavaやC＃などのオブジェクト指向言語とも，Haskellのような関数型言語とも違う考え方が基になっているので，ほとんどの方には不思議な言語に見えるかもしれま
第2回 Prologをご存じですか？ | gihyo.jp
官民創生の人工知能研究はムダじゃなかった！ 今からおよそ30年も前の1982年。日本の通商産業省（現在の経済産業省）は、ICOT（財団法人 新世代コンピュータ開発機構）を設立し、世界に先駆けて人工知能（AI:Artificial Intelligence）を実現する第5世代コンピュータの開発を目標に掲げたプロジェクトを開始しました。 ICOTのプロジェクトは、第4世代コンピュータを一気に飛び越えて第5世代コンピュータ開発を行うという新奇性や、10年以内に人間の知能をコンピュータで実現するとした宣伝と、またこの時期は日本が半導体産業でトップに躍り出ていたことやIBMへの産業スパイ事件などの背景もあって世界的な注目を浴びました。 しかし、1992年。10年の歳月と570億円（一説には1000億）の国家予算をかけたプロジェクトは、人間の知能を実現することはおろか産業界にも何ら影響を与えず、期待は
プログラミングと開発者のためのCodeZine：Rubyで作るProlog処理系（Ruby, Prolog, 記号処理, 自動推論）
はじめに 1970年代にヨーロッパを主な舞台として生まれ育ったプログラミング言語Prolog（programming in logic）は、事実とルールから一種の自動推論を行う点に特徴があります。その基本的な動作は200行ほどのRubyプログラムで実現できます。ここでは、筆者がRubyで作成したProlog処理系を解説します。 Prologによる簡単なプログラム例を下記に示します。 これは「ソクラテスは人間（human）である」「プラトンは人間である」という事実と、「人間ならばいつか死ぬ（mortal）」というルールを書いたものです。mortal(X) :- human(X)は、変数Xが実際には何であったとしても、もしもhuman(X)が成り立つならば（つまりXが人間ならば）、mortal(X)が成り立つ（つまり、Xはいつか死ぬ）という意味です。 簡略化のため、本処理系ではRubyの構文要
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
