ソーカルさんのやったことは横紙破りというかルール違反な気もしないわけではないですが、あまりにもクリーンヒットが決まって痛快でした。(翻訳)山形浩生さんが、クラインの壺のことで、浅田彰を批判してたのも、山形さんのサイトかどこかで読んだのを思い出した。内容じゃなくて、そんなのがあったということを。お、http://ja.wikipedia.org/wiki/ソーカル事件には、出てますね。リンク先は、http://www.math.tohoku.ac.jp/~kuroki/FN/asada-klein.html浅田彰のクラインの壺についてここ、いろいろありますね。http://www.math.tohoku.ac.jp/~kuroki/Sokal/index-j.htmlソーカル事件と『知的詐欺』以後の論争http://www.math.tohoku.ac.jp/~kuroki/FN/『「知」の欺瞞』関連情報[コメント(0)|トラックバック(1)]Prologで飯を食ってる、ビジネスにしている会社。)に転載したものから。---Prologのことで、さっき探したら、去年くらいのメモが出てきた。Prologで飯を食ってる、ビジネスをにしている会社があるのね。それもヨーロッパならわかるけど、日本で。http://iiyu.asablo.jp/blog/2008/03/11/2725366電子工作、回路図エディタ、基板エディタhttp://iiyu.asablo.jp/blog/2011/01/03/5620942テキストマイニングで広がる看護の世界に、著者の服部兼敏さんからコメントがで紹介した、なうデータ研究所じゃなくて。明日か、あさってにも書くわ。---ということで、珍しくすぐ書く。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専用のサイトがあります。64bitバージョン最新版との性能比較をみると、よく使われているSWI-Prologよりこんなに優秀と威張ってますね。プログラミング入門」はいいですね。Systemは、面白そうですね。単一化で、名前を出したことがあるのが、次の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.htmlIF/Prologhttp://www.ifcomputer.co.jp/MINERVA/home_jp.htmlMINERVA河井君、Prologで飯を食いたいなら、これらの会社か、九州でよければ、なうデータ研究所に転職したら。\(^O^)/相変わらず、テキトー、無責任やのぉ。語を知っていて、論理型言語を知らないなんてあり得ない。大学で、関数型を教えて論理型を教えないなんてのもあり得ない。いうもんでしたけどね。単一化の最後にある「或るダメ学生」さんのコメントの世界なんて、あり得なかったけどね。慶応でもその程度になっちゃったのかと思いましたね。GoogleやAmazonが有名だが、IT系の企業じゃなくても、製造業でもサービス業でも、先進的な企業は、かつてAI(人工知能)といわれた技術をあれこれ使っているのにね。日本、だめになるわけだね。いうことで、勉強したい人向けに本など。以下、Prolog本。Prologネタその2を書いたときからすると、中古の本の値段が上がったりしてるね。前回、おれが書いたからだろう。おれが書いたら、Lisp本バブルになったが、今回で、Prolog本はバブルになるね。好きにそう思わせてやってください。---しかし、驚くべきことに、原書はもう第4版を予約受付中。(著)しっかし、あなた。これ、発売予定が2009年8月です。ほんと、出るんかいな。約、いまだにやってる。(2011/5/27)だって。出たあ、アメリカの出版社の商売!\(^O^)/2011年5月27日だって。次の2冊は、これまで紹介どころか名前も出してないね。(著)第一感、よさげですね。PrologはISO標準になっていて、そのPrologでプログラミングする本。第5版だから、売れている本ですね。2003)処理系は、上記、国産勢でもいいだろう。Prolog有料の商品だが評価版がある。homeが有名で、よく使われている。その他のProlog処理系については、http://lang.x0.com/logic/prolog/proc.htmPrologリンク集:処理系Java版のPrologは死ぬほどある。Lispと同じでみんな作ってみるんだよね。処理系を作ると一番その言語を理解できるから。