Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索

Prologで飯を食ってる、ビジネスにしている会社。その他Prologネタ2011年02月03日 06時01分13秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2011/02/02/5659367
NHKスペシャル「私たちは核兵器を作った」の関連

--- ここから ---
 Prologのことで、さっき探したら、去年くらいのメモが出てきた。ちゃんと
Prologで飯を食ってる、ビジネスをにしている会社があるのね。それもヨーロ
ッパならわかるけど、日本で。
http://iiyu.asablo.jp/blog/2008/03/11/2725366
電子工作、回路図エディタ、基板エディタ
http://iiyu.asablo.jp/blog/2011/01/03/5620942
テキストマイニングで広がる看護の世界に、著者の服部兼敏さんからコメント

で紹介した、なうデータ研究所じゃなくて。
 明日か、あさってにも書くわ。
--- ここまで ---

 ということで、珍しくすぐ書く。
 まず、Prologそのものじゃなくて、Prologをベースに開発された「NaU DSP」
だけど、まあ、Prologで飯を食ってるといってしまおうな「なうデータ研究所」
は、
http://www.nau.co.jp/
なうデータ研究所

 メモにあったという会社が、ソフネック。
http://www.sofnec.co.jp/
ソフネック

 以前、Prologの処理系を検索していたら、
http://www.sofnec.co.jp/az-demo/cgi-bin/otameshi.cgi
おためしAZ-Prologインタプリタ/コンパイラ
が出てきた。
 国産のPrologでしかもいまだにバージョンアップしているのがすごい。ずっ
とやって、これで飯を食っているんだと思ったわけ。

http://www.sofnec.co.jp/
ソフネック

http://www.sofnec.co.jp/company/history.html
沿革
をみると、「1997.07に佐賀市に開発室を設置」とあるね。どういうことなん
だろう。まさか、「つっくん」(本名 津田君)とかいるんじゃないだろうな。^^;

 AZ-Prolog専用のサイトがあります。
http://www.az-prolog.com/
AZ-Prolog

http://www.az-prolog.com/modules/smartsection/item.php?itemid=23
AZ-Prolog Ver.6 for Windows 性能評価
SWI-Prolog 64bitバージョン最新版との性能比較
をみると、よく使われているSWI-Prologよりこんなに優秀と威張ってますね。

http://www.az-prolog.com/modules/mylinks/
リンク
からリンクされている
http://www.geocities.jp/m_hiroi/prolog/
広井誠 (Makoto Hiroi)さんによる「お気楽 Prolog プログラミング入門」
はいいですね。
 また、
http://bach.istc.kobe-u.ac.jp/prolog/
神戸大学 Prolog ホームページ
からリンクされている
http://kaminari.istc.kobe-u.ac.jp/PrologCafe/
Prolog Cafe: A Prolog to Java Translator System
は、面白そうですね。

 以前、
http://iiyu.asablo.jp/blog/2008/01/02/2541270
Erlang, Oz/Mozart, Prolog, 単一化
で、名前を出したことがあるのが、次の2社。

http://www.kprolog.com/KLS/
株式会社KLS研究所について
 K-Prologという処理系を作って売っている。
http://www.kprolog.com/
K-Prologについて
 もう1つが、イフコンピュータ。
http://www.ifcomputer.co.jp/
イフコンピュータ
 IF/Prologやその進化形MINERVAがある。
http://www.ifcomputer.com/IFProlog/home_jp.html
IF/Prolog
http://www.ifcomputer.co.jp/MINERVA/home_jp.html
MINERVA

 河井君、Prologで飯を食いたいなら、これらの会社か、九州でよければ、な
うデータ研究所に転職したら。\(^O^)/
 相変わらず、テキトー、無責任やのぉ。

 何度も書いたが、おれらの世代というべきか、おれらにとっては、関数型言
語を知っていて、論理型言語を知らないなんてあり得ない。大学で、関数型を
教えて論理型を教えないなんてのもあり得ない。
 そういうもんでしたけどね。だから、
http://iiyu.asablo.jp/blog/2008/01/02/2541270
Erlang, Oz/Mozart, Prolog, 単一化
の最後にある「或るダメ学生」さんのコメントの世界なんて、あり得なかった
けどね。慶応でもその程度になっちゃったのかと思いましたね。
 GoogleやAmazonが有名だが、IT系の企業じゃなくても、製造業でもサービス
業でも、先進的な企業は、かつてAI(人工知能)といわれた技術をあれこれ使っ
ているのにね。
 日本、だめになるわけだね。
 ということで、勉強したい人向けに本など。

 以下、Prolog本。
 おれは、日本語で解説が丁寧な
http://www.amazon.co.jp/exec/obidos/ASIN/4320022378/showshotcorne-22/
Prologプログラミング入門 (単行本)
安部 憲広 (著)
がいいと思う。
 本格的には、
http://www.amazon.co.jp/exec/obidos/ASIN/0201403757/showshotcorne-22/
Prolog Programming for Artificial Intelligence (International Computer
Science Series) (ペーパーバック)
Ivan Bratko (著)

http://iiyu.asablo.jp/blog/2008/11/26/3975922
Lisp, Prologネタその2
を書いたときからすると、中古の本の値段が上がったりしてるね。
 前回、おれが書いたからだろう。
 おれが書いたら、Lisp本バブルになったが、今回で、Prolog本はバブルにな
るね。
 まあ、好きにそう思わせてやってください。

 面白い現象がある。
--- ここから ---
 しかし、驚くべきことに、原書はもう第4版を予約受付中。
http://www.amazon.co.jp/exec/obidos/ASIN/0321417461/showshotcorne-22/
PROLOG Programming for Artificial Intelligence (International Computer
Science Series) (ペーパーバック)
Ivan Bratko (著)
 しっかし、あなた。これ、発売予定が2009年8月です。ほんと、出るんかいな。
--- ここまで ---
 上記は、2008/11/26に書いたが、発売予定が2009年8月どころか、第4版の予
約、いまだにやってる。\(^O^)/
 いまは、
出版社: Addison-Wesley Educational Publishers Inc; 4th Revised edition
版 (2011/5/27)
だって。
 出たあ、アメリカの出版社の商売!\(^O^)/
 2011年5月27日だって。もう3年近く予約中。

 次の2冊は、これまで紹介どころか名前も出してないね。
http://www.amazon.co.jp/exec/obidos/ASIN/4303716901/showshotcorne-22/
Prolog(プロログ)を学ぶ―文化とその実践 [単行本]
杉崎 昭生 (著)
 第一感、よさげですね。

 PrologはISO標準になっていて、そのPrologでプログラミングする本。第5版
だから、売れている本ですね。
http://www.amazon.co.jp/exec/obidos/ASIN/3540006788/showshotcorne-22/
Programming in Prolog: Using the ISO Standard [Paperback]
William F. Clocksin (Author), Christopher S. Mellish (Author)
Publisher: Springer; 5th edition (September 10, 2003)

 処理系は、上記、国産勢でもいいだろう。
 世界的に有名でよく使われているのは、
http://www.sics.se/isl/sicstuswww/site/index.html
SICStus Prolog
 有料の商品だが評価版がある。
 フリーなら、
http://www.swi-prolog.org/
SWI-Prolog's home
が有名で、よく使われている。
 その他のProlog処理系については、
http://lang.x0.com/logic/prolog/proc.htm
Prologリンク集:処理系
 Java版のPrologは死ぬほどある。Lispと同じでみんな作ってみるんだよね。
処理系を作ると一番その言語を理解できるから。
 リンク集は以下。
http://kaminari.istc.kobe-u.ac.jp/logic/jprolog.html
Links for Java Prolog

 ついでにだけど、上記、Prologリンク集の上位に
http://lang.x0.com/logic/index.html
論理型言語リンク集
があり、ゲーデル(Goedel)がある! でも、リンクが切れている。
 どうやら、ここみたい。
http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html
The Goedel Programming Language
http://en.wikipedia.org/wiki/Goedel_(programming_language)

 ま、これでめでたく、
http://iiyu.asablo.jp/blog/2011/02/02/5659356
ゲーデル 不完全性定理。対決シリーズ! 不完全性定理編も
と話がつながった。
 ちょっとちょっと、これ、
http://iiyu.asablo.jp/blog/2011/02/02/5659367
NHKスペシャル「私たちは核兵器を作った」の関連
のつながりなんですけど。
 細かいことは、どーでもいいや。\(^O^)/

関連:
http://iiyu.asablo.jp/blog/2008/11/26/3975861
Lisp, Prologネタ
http://iiyu.asablo.jp/blog/2008/11/26/3975922
Lisp, Prologネタその2
http://iiyu.asablo.jp/blog/2008/02/07/2607997
Java版Prologリンク集、Prolog、オントロジーなどのチュートリアル集

コメント

コメントをどうぞ

※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。

※なお、送られたコメントはブログの管理者が確認するまで公開されません。

※投稿には管理者が設定した質問に答える必要があります。

名前:
メールアドレス:
URL:
次の質問に答えてください:
一富士、二鷹、三は? ひらがなで。

コメント:

トラックバック

_ ホットコーナーの舞台裏 - 2011年03月04日 05時13分44秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 1週間1言語で、7週間で7つのプログラミング言語のエッセンス

_ ホットコーナーの舞台裏 - 2011年12月08日 07時17分59秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 お買い上げありがとうございます。
http://www.amazon.co.jp/exec/obidos/ASIN/0

_ ホットコーナーの舞台裏 - 2012年10月14日 12時22分01秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2012/10/03/6591288
週刊ダイヤモンド、日本を呑み込む

_ ホットコーナーの舞台裏 - 2012年10月26日 10時27分12秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2012/10/14/6602140
IT断食、アップルとの正しい付き合

_ ホットコーナーの舞台裏 - 2012年11月28日 05時31分30秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 お買い上げありがとうございます。なものや、翻訳が出たのに気づ

_ ホットコーナーの舞台裏 - 2014年05月22日 10時22分29秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 このブログ、だいぶ前にメモしていたが、メモを発見したので紹介

_ ホットコーナーの舞台裏 - 2014年05月22日 10時22分31秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 このブログ、だいぶ前にメモしていたが、メモを発見したので紹介

_ ホットコーナーの舞台裏 - 2014年07月10日 11時04分42秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 オーム社、がんばってくれてるよね。鹿野さんたち。
http://www.amazon.

_ ホットコーナーの舞台裏 - 2014年07月28日 10時45分44秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 6月に、九大(九州大学)に講義に行ったとき、中洲産業大学で厳粛に

_ ホットコーナーの舞台裏 - 2015年02月10日 11時00分02秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 やっぱ、こういう会社、日本にもあるんですね。
http://itpro.nikkeibp.co
Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索