IBMのワトソン(Watson)も、Prologで動いている＼(^O^)／ ― 2014年07月29日 09時54分30秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2014/07/28/7400231
ドコモは、Prologで動いている＼(^O^)／
に、神戸大学の田村直之さんから、コメントがあった。
--- ここから ---
田村直之 ― 2014年07月28日 19時50分51秒
はじめまして．神戸大学の田村直之と申します．
IBM Watsonの自然言語処理でもPrologが利用されたそうです．
http://www.cs.nmsu.edu/ALP/2011/03/natural-language-processing-with-prolog-in-the-ibm-watson-system/
--- ここまで ---
学生さん？などと思って調べたら、どひー、教授でした。m(>o<)m
わざわざ、コメントありがとうございます。
田村先生が紹介してくださった論文にあるPrologの使い方は、知識ベースを
Prologの単一化(ユニフィケーション)とバックトラックでパターンマッチして
いくという、一番王道の使い方ですね。
ユニフィケーションを、正規表現のパターンマッチくらいに思っている人が
いたら、認識を改めないと大ボケかましますよ。それくらい、ユニフィケーシ
ョンとバックトラックは強力。強力すぎて、カットでパワーを制限しないと、
何が起こっているかわからなくなる。＼(^O^)／
神戸大学といえば、思い出すのは、Prologマシンですね。
神戸大学のPrologマシンは、
http://iiyu.asablo.jp/blog/2007/01/11/1107622
全文検索とSBCによるサムネイル化デモ
で、
--- ここから ---
今回、一番掘り出し物だと思ったのが、神戸大学のLispマシンとPrologマシ
ンの話。
高水準言語マシンを知らない人は、ご一読を。
http://www.ipsj.or.jp/katsudou/museum/paper/magazine/IPSJ-MGN430205.pdf
神戸大 LISP マシン、PROLOG マシン
古本屋ですごい掘り出し物をみつけた気分。
いやあ、楽しいなあ。
--- ここまで ---
と書いているが、残念ながら、いま、調べたら、情報処理学会のリンクは、リ
ンク切れでした。このPDFも保存してないみたい。残念。
いまの若い人は、高水準言語マシンのことを知らない人が多いですね。
いまから35年くらい前、ぼくが学生のころには、ハードウェアが直接、プロ
グラミング言語を実行するマシンの研究が、けっこうあった。
高水準言語マシンで一番有名で実用化されたのは、Lispマシン。ほかには、
ALGOLマシンやらいろいろありました。
http://iiyu.asablo.jp/blog/2012/02/17/6338286
第１回クラウド勉強会、クラウドコンピューティングの未来形、サーバレス・
プログラミング、EXAGEN, Dripcast, Hadoop, Spark, Bagel, Lisp, Prolog,
Java, Scala, AS/400, SLS(単一レベル記憶)
で書いた、バローズのダイナミックマイクロプログラミグのマシンは、論文や
記事でしか知らなかったが、プロセスが切り替わると、別の高水準言語マシン
に返信するんだから、たまがったよ。
で、Prologマシンもあり、第５世代コンピュータプロジェクトは、さらに高
速なPrologの並列マシンを作るプロジェクトでもありました。
最近だと、Javaを直接実行するJavaチップがあったけど、流行りませんでし
たね。
いま、JavaScriptは、2010年代のアセンブラといわれて、なんでもかんでも、
JavaScriptにコンパイルして実行するのが流行っているので、JavaScriptマシ
ンのチップが出てきたりしてね。^^;
1個10円なら、スマホやタブレットに入る？
関連：
http://iiyu.asablo.jp/blog/2014/07/28/7400231
ドコモは、Prologで動いている＼(^O^)／
http://iiyu.asablo.jp/blog/2008/03/23/2813545
日本のLispマシン
http://iiyu.asablo.jp/blog/2007/01/11/1107622
全文検索とSBCによるサムネイル化デモ
http://iiyu.asablo.jp/blog/2008/01/02/2541270
Erlang, Oz/Mozart, Prolog, 単一化
http://iiyu.asablo.jp/blog/2012/02/17/6338286
第１回クラウド勉強会、クラウドコンピューティングの未来形、サーバレス・プログラミング、EXAGEN, Dripcast, Hadoop, Spark, Bagel, Lisp, Prolog, Java, Scala, AS/400, SLS(単一レベル記憶)
---
http://iiyu.asablo.jp/blog/2014/07/28/7400231
ドコモは、Prologで動いている＼(^O^)／
に、神戸大学の田村直之さんから、コメントがあった。
--- ここから ---
田村直之 ― 2014年07月28日 19時50分51秒
はじめまして．神戸大学の田村直之と申します．
IBM Watsonの自然言語処理でもPrologが利用されたそうです．
http://www.cs.nmsu.edu/ALP/2011/03/natural-language-processing-with-prolog-in-the-ibm-watson-system/
--- ここまで ---
学生さん？などと思って調べたら、どひー、教授でした。m(>o<)m
わざわざ、コメントありがとうございます。
田村先生が紹介してくださった論文にあるPrologの使い方は、知識ベースを
Prologの単一化(ユニフィケーション)とバックトラックでパターンマッチして
いくという、一番王道の使い方ですね。
ユニフィケーションを、正規表現のパターンマッチくらいに思っている人が
いたら、認識を改めないと大ボケかましますよ。それくらい、ユニフィケーシ
ョンとバックトラックは強力。強力すぎて、カットでパワーを制限しないと、
何が起こっているかわからなくなる。＼(^O^)／
神戸大学といえば、思い出すのは、Prologマシンですね。
神戸大学のPrologマシンは、
http://iiyu.asablo.jp/blog/2007/01/11/1107622
全文検索とSBCによるサムネイル化デモ
で、
--- ここから ---
今回、一番掘り出し物だと思ったのが、神戸大学のLispマシンとPrologマシ
ンの話。
高水準言語マシンを知らない人は、ご一読を。
http://www.ipsj.or.jp/katsudou/museum/paper/magazine/IPSJ-MGN430205.pdf
神戸大 LISP マシン、PROLOG マシン
古本屋ですごい掘り出し物をみつけた気分。
いやあ、楽しいなあ。
--- ここまで ---
と書いているが、残念ながら、いま、調べたら、情報処理学会のリンクは、リ
ンク切れでした。このPDFも保存してないみたい。残念。
いまの若い人は、高水準言語マシンのことを知らない人が多いですね。
いまから35年くらい前、ぼくが学生のころには、ハードウェアが直接、プロ
グラミング言語を実行するマシンの研究が、けっこうあった。
高水準言語マシンで一番有名で実用化されたのは、Lispマシン。ほかには、
ALGOLマシンやらいろいろありました。
http://iiyu.asablo.jp/blog/2012/02/17/6338286
第１回クラウド勉強会、クラウドコンピューティングの未来形、サーバレス・
プログラミング、EXAGEN, Dripcast, Hadoop, Spark, Bagel, Lisp, Prolog,
Java, Scala, AS/400, SLS(単一レベル記憶)
で書いた、バローズのダイナミックマイクロプログラミグのマシンは、論文や
記事でしか知らなかったが、プロセスが切り替わると、別の高水準言語マシン
に返信するんだから、たまがったよ。
で、Prologマシンもあり、第５世代コンピュータプロジェクトは、さらに高
速なPrologの並列マシンを作るプロジェクトでもありました。
最近だと、Javaを直接実行するJavaチップがあったけど、流行りませんでし
たね。
いま、JavaScriptは、2010年代のアセンブラといわれて、なんでもかんでも、
JavaScriptにコンパイルして実行するのが流行っているので、JavaScriptマシ
ンのチップが出てきたりしてね。^^;
1個10円なら、スマホやタブレットに入る？
関連：
http://iiyu.asablo.jp/blog/2014/07/28/7400231
ドコモは、Prologで動いている＼(^O^)／
http://iiyu.asablo.jp/blog/2008/03/23/2813545
日本のLispマシン
http://iiyu.asablo.jp/blog/2007/01/11/1107622
全文検索とSBCによるサムネイル化デモ
http://iiyu.asablo.jp/blog/2008/01/02/2541270
Erlang, Oz/Mozart, Prolog, 単一化
http://iiyu.asablo.jp/blog/2012/02/17/6338286
第１回クラウド勉強会、クラウドコンピューティングの未来形、サーバレス・プログラミング、EXAGEN, Dripcast, Hadoop, Spark, Bagel, Lisp, Prolog, Java, Scala, AS/400, SLS(単一レベル記憶)
コメント
_ 金行秀 ― 2014年07月29日 11時15分08秒
_ 田村直之 ― 2014年07月30日 06時09分55秒
神戸大学の田村直之です．
コメント紹介ありがとうございました．うれしくなって，再度コメントさせていただきます (^_^) よろしくお願いします．
実は，学生の時にそのPrologマシンを作っていました．Lispマシン, Forthマシンなどと合わせて以下で紹介しています．
http://bach.istc.kobe-u.ac.jp/s4-machines/
ついでに紹介です．Android開発等で利用されているコードレビューシステム Gerrit には，同僚の番原さんが開発したJava版Prolog (Prolog Cafe)が使われています．Project configuration の記述に利用されているようです．
https://code.google.com/p/gerrit/
https://gerrit-documentation.storage.googleapis.com/Documentation/2.9/prolog-cookbook.html
http://kaminari.istc.kobe-u.ac.jp/PrologCafe/
コメント紹介ありがとうございました．うれしくなって，再度コメントさせていただきます (^_^) よろしくお願いします．
実は，学生の時にそのPrologマシンを作っていました．Lispマシン, Forthマシンなどと合わせて以下で紹介しています．
http://bach.istc.kobe-u.ac.jp/s4-machines/
ついでに紹介です．Android開発等で利用されているコードレビューシステム Gerrit には，同僚の番原さんが開発したJava版Prolog (Prolog Cafe)が使われています．Project configuration の記述に利用されているようです．
https://code.google.com/p/gerrit/
https://gerrit-documentation.storage.googleapis.com/Documentation/2.9/prolog-cookbook.html
http://kaminari.istc.kobe-u.ac.jp/PrologCafe/
_ 中村(show) ― 2014年08月28日 09時34分25秒
金行秀さん。本文で示唆したように、ちょっと探したけど、もうわかりませんでした。
_ 中村(show) ― 2014年08月28日 10時10分38秒
金行秀さん。田村直之さんがコメントで紹介したくださった
http://bach.istc.kobe-u.ac.jp/s4-machines/
の中に、情報処理学会の論文へのリンクがありました。たぶん、これだったと思います。PDFもダウンロードできます。
http://ci.nii.ac.jp/naid/110002764245
神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
http://bach.istc.kobe-u.ac.jp/s4-machines/
の中に、情報処理学会の論文へのリンクがありました。たぶん、これだったと思います。PDFもダウンロードできます。
http://ci.nii.ac.jp/naid/110002764245
神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
コメントをどうぞ
※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。
※なお、送られたコメントはブログの管理者が確認するまで公開されません。
※投稿には管理者が設定した質問に答える必要があります。
トラックバック
_ ホットコーナーの舞台裏 - 2014年08月28日 11時05分47秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2014/07/29/7400910
IBMのワトソン(Watson)も、Prologで動い
---
http://iiyu.asablo.jp/blog/2014/07/29/7400910
IBMのワトソン(Watson)も、Prologで動い
_ ホットコーナーの舞台裏 - 2014年10月14日 10時18分52秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
AI(人工知能)関係のネタ、一般の記事でも増えてきたね。
http://www.n
---
AI(人工知能)関係のネタ、一般の記事でも増えてきたね。
http://www.n
_ ホットコーナーの舞台裏 - 2014年11月15日 21時27分09秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2014/11/06/7484259
オライリー・ジャパンは、データサ
---
http://iiyu.asablo.jp/blog/2014/11/06/7484259
オライリー・ジャパンは、データサ
_ ホットコーナーの舞台裏 - 2015年02月10日 11時00分01秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
やっぱ、こういう会社、日本にもあるんですね。
http://itpro.nikkeibp.co
---
やっぱ、こういう会社、日本にもあるんですね。
http://itpro.nikkeibp.co
_ ホットコーナー - 2017年09月13日 09時25分05秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
「Reactビギナーズガイド」のお買い上げがあって、JavaScriptのReact(いろんなReactがあるので、ReactJSと書くことにする)関係、そして、Reacti
---
「Reactビギナーズガイド」のお買い上げがあって、JavaScriptのReact(いろんなReactがあるので、ReactJSと書くことにする)関係、そして、Reacti
_ ホットコーナー - 2018年01月08日 02時11分42秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
http://iiyu.asablo.jp/blog/2018/01/04/8761983
Interface(インターフェース) 2018年02月号は、AIチップ/AIプロセッサ大特集
で紹介した
https://www.amazon.co.j
---
http://iiyu.asablo.jp/blog/2018/01/04/8761983
Interface(インターフェース) 2018年02月号は、AIチップ/AIプロセッサ大特集
で紹介した
https://www.amazon.co.j
_ ホットコーナー - 2021年03月27日 03時18分00秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
ぼくがちょくちょく本を買うManningは、今日は何の日？をやっている。3月15日に、
---
ぼくがちょくちょく本を買うManningは、今日は何の日？をやっている。3月15日に、
上のリンク、サイトリニューアルで移動してしまったそうです。現在のURLが判れば、お教えください。