タグ

ブックマーク / yaneuraou.yaneu.com (4)

  • 小林秀雄の言う常識www | やねうら王 公式サイト

    大学受験ときに現代文のための勉強として、小林秀雄『考えるヒント』や柄谷行人『隠喩としての建築』などを誰もが読んだと思います。批評家や哲学者というのは、すぐれた思考を出来るはずの人ですが、時として結論を間違えます。 例えば、『考えるヒント』には次のようにあります。 (全知の存在が二人で勝負したら、将棋という遊戯は成立しなくなる、という中谷宇吉郎との対話の後で) ポオの常識は、機械には、物を判断する能力はない、だから機械には将棋は差せぬ、と考へた。(略) (電子計算機の原理や構造についても)ポオの原理で間に合う話だ。(略)ほんの少しでも、あれかこれかを判断し選択しなければならぬ要素が介入して来れば、機械は為すところを知るまい。これは常識である。常識は、計算することと考へることとを混同してはゐない。将棋は、不完全な機械の姿を決して現してはゐない。熟慮断行といふ全く人間的な活動の純粋な型を表してゐ

  • 詰将棋アルゴリズムdf-pnのすべて | やねうら王 公式サイト

    将棋AIで用いている詰将棋ルーチンにdf-pnというアルゴリズムがある。 これは、proof number(証明数)、disproof number(非証明数)を用いて効率的に探索を行い、その局面が詰むか、詰まないかを判定できるとても強力なアルゴリズムである。 将棋ファンなら『脊尾詰』と言う「ミクロコスモス」(1525手詰)を解く詰将棋専用ソフトについて一度ぐらいは聞いたことぐらいあるだろう。これは、脊尾さんが大学時代に作成されたプログラムである。そこに使われていたのが脊尾さんが考案されたdf-pnというアルゴリズムである。 df-pnに関しては、脊尾さん自身の論文(1998年)があるものの、要点しか書かれておらず、いまのようにGitHubにソースコードがあるわけでもなく、その詳細については長らく謎に包まれたままであった。(この脊尾さんの論文では、証明数のみを用いており、非証明数は陽には出

  • Winnyの金子さんのED法について | やねうら王 公式サイト

    Winnyの金子勇さんが考案された機械学習アルゴリズムED法を再現して実装した人がいていま話題になっている。 『Winny』の金子勇さんの失われたED法を求めて…いたら見つかりました https://qiita.com/kanekanekaneko/items/901ee2837401750dfdad いまから書くことは私の記憶頼りなので間違ってたらコメント欄で教えて欲しい。 1998年ごろだと思うのだが、私はWinnyの金子勇さんのホームページの熱心な読者だった。(ページも全部保存してたので私のHDDを漁れば出てくると思うが、すぐには出せない。) Winnyのβ版が発表されたのが2002年なのでそれよりはずいぶん前である。 当時、金子さんはNekoFightという3D格闘ゲームを公開されていた。そのゲームには、自動的に対戦から学習するAIが搭載されていた。 当時の金子さんのホームページの

  • クラウド最安のGPUについて | やねうら王 公式サイト

    渡辺名人が購入した130万円のパソコン、クラウドでそれと同じ性能のもの、1時間50円で使えるよとツイートしたらえらくバズった。 上のツイートは、決して渡辺名人の研究を揶揄するものではなく、書き方次第で最低にも最高にも聞こえるという、そういう物事の二面性みたいなのって面白いよねという意味でツイートしたわけである。 しかし「クラウドの料金そんなに安くねーだろ」「それってGPUだけの値段ですよね?」「値段一桁間違えてない?」「クラウド使ったことない奴の妄想乙」みたいなツッコミをたくさん頂戴している。

  • 1