)に転載したものから。単一化に「或るダメ学生さん」からコメントがついていた。慶応でもLispやPrologの講義があるけど、学生さん、見向きもしないんだって。\(^O^)/あとになって、わかる。おれなんか、http://iiyu.asablo.jp/blog/2008/03/11/2727866留数に書いたけど、習って30年経って、留数、フーリエ解析やテイラー展開やらのすごさがわかってきた。仕事とは全然関係ないんだけど、こりゃ、すごい考え方だなあと。これらの発想は、それ以前の数学への批評としても読めるし、知的作業です。「それが面白くて(難解すぎてあまり理解できませんでしたが)僕は毎回ちゃんと出席していました」でいいんです。心の片隅にでもちゃんと残っていれば、いつか役に立つ日が来る。役に立たなくても人生のある日に、ああ、あのときのあれはそういうことだったのかと、一気に視界が開けるときが来ますって。わからなくても、細々とでもしがみついているのが大事です。いう時間的余裕があるのは、学生時代だけですから。安村通晃先生や向井国昭先生から直接LispやPrologを教わるなんて、すごい贅沢ですよ。両先生とは、ぼくはもちろん面識はないですが。^^;「しかし、学事やコンピュータ・サイエンスに無理解な他の先生から「論理プログラミング」の授業を止めろ、と言われたりするそうです」そういうのは、どこにでもあります。バイオでさえ、金がかかる割には結果が出ないなんていわれて、研究費を化学など他の分野に投入しろという話もあるそうですし。そこを踏ん張ってどう伝えていくかでしょうね。Prologの2つのリンク。論理プログラミング」の内容をみると、素晴らしいじゃないですか。現,推論とメタプログラミングなどなど、これからの時代にこそ求められる話がてんこ盛り。おれ、聴講に行きたいくらい。\(^O^)/こんなのを教わる機会があるとは、贅沢。社会人になって、独学しようと思うと大変だよ。どこかの勉強会でみんなでやるくらいしかないからね。Prolog」も、どれも面白そうなのばっかり。改訂版)」は、視覚的にもいいですね。JavaScriptからサーバ側のPrologを呼べるようにしてあるんですね。話変わるけど、Prologなど宣言的な、論理型言語で実用的なものを書けるのかという疑問があると思うけど、何度か名前を出す九工大の梅田先生(もう呼び捨てにも君付けしません^^;)は、昔から医療関係の実用的なシステムをやっているし、最近、知って驚いたのは、ある世界中に販売されているソフトが、Mercuryを使って書いてあること。Mercuryは、論理型関数型の言語です。Projectをどうぞ。[コメント(0)|トラックバック(6)]佐渡裕さんが司会に。)に転載したものから。---4月から、テレビ朝日系の「題名のない音楽会」がリニューアルして、エンカウンターのトリノライブhttp://www.amazon.co.jp/exec/obidos/ASIN/B000WZO5XG/showshotcorne-22/山下洋輔/ピアノ協奏曲(エンカウンター)+山下洋輔のボレロで、ヤノピ様との共演もなさっている佐渡裕さんが司会者になるんですね。45年目の再出発をどうぞ。)に転載したものから。---早く紹介しないと来月号になっちゃうので。^^;http://www.amazon.co.jp/exec/obidos/ASIN/B00143XRKM/showshotcorne-22/将棋世界2008年4月号の特集は、「勝又教授のこれならわかる!最新戦法講義スペシャル」です。識を覆す戦法もプロが熱心に指してますね。近藤正和六段のゴキゲン中飛車はブームで、対策もいろいろ出て研究が発展しているし、超急戦は新手がいろいろ出てますよね。手5四歩)、さらに羽生二冠の羽生新手(先手9六角)。この戦形で最近注目は、久保八段が羽生二冠に負け続けても意地を張って、ゴキゲン中飛車超急戦を挑み続け、羽生二冠も喜んで応じていることですね。その中で羽生新手も出たんですが。法の解説ですが、研究が進むにつれ、どんどん定跡が変化してきたのがよくわかります。それはわかるんだけど、変化そのものはおれには難しすぎる。\(^O^)/特集では、阪口悟四段のワンパク中飛車も出ているし、何がなんだかわからないまだ未踏の領域に思える相振り飛車の話も出ています。化していることがわかります。いえば、特集ではありませんが、2手目3二飛というものすごい手があるんですが、これを公式戦で初めて指した長岡裕也四段の解説もあります。この前の銀河戦では、長岡四段はこれを採用して強豪阿久津六段を破りました。観」でも、この2手目3二飛を採り上げています。この企画、トッププロ6人に同じ局面をみせて、どう思うか聞いているんですが、いろいろ考え方があって面白い。人によって評価が正反対のときも珍しくない。羽生さんは、2手目3二飛について、序盤にはいろんな可能性がありますよねってな短いコメントだけでそっけない。本書の解説執筆時の公式戦で3局、先の銀河戦を入れても4局しかないうちの1局を羽生さんは公式戦で指しているんですけど。^^;このそっけなさは、実は、この戦法を深く研究してまたやってみようと思っているからなのでは。\(^O^)/森内名人は、これは重大な発見になるかもしれないという意見です。解説によると、この作戦、関西奨励会の今泉健司三段の発案が久保八段経由で関東の長岡四段に伝わったものだそうです。出演して、囲碁と将棋を語ってました。米長流というか、囲碁の局面評価には独特の尺度をもっているんですね。いう考え方なのかと思いました。子でも勝てないが、三子でも勝つ秘術をもっていると。それで趙治勲さんに勝った。その秘術がすごかった。(著)の中で書いていたと思うが、渡辺竜王がいうように、コンピュータ将棋が人間の名人に、一度や二度は勝っても、常に勝つのは非常に難しいんじゃないか。ハードウェアの進化があっても、よほどのブレークスルーがないとあと10年で人間の名人に常に勝つようになるとは、あまり、考えられない。プロが指した棋譜から統計的な学習や強化学習をする手法だと、どうしてもプロの後追いにしかならない。造性や創発性はないから、対策を思いつくことがない。命を起こしたモンテカルロ法による手法も人間の名人級に常に勝つには難しい。この辺は、1980年代までのAI(人工知能)をかじった人なら、その限界が容易にみえると思うので、なんか、ブレークスルーがないとね。目からウロコ、コロンブスの卵みたいな発見かもしれないけれど。量子コンピュータを完成させて囲碁や将棋の全局面を計算してしまわないとだめなのかも。^^;量子コンピュータは、実用化されて普及するには、少なくともあと50年はかかると思うのね。おれが生きているうちは無理でしょう。