【論理的回答求む】 ドクターマリオというゲームがあります。 いわゆる落ちゲーで、同じ色がタテまたはヨコに4つ揃うと消えるゲームです。 最近だとDSでもっと脳を鍛えるゲームのオマケに細菌撲滅として入っています。 4つそろえれば消えるのはタテもヨコも同じなので、消えやすさは同じはずなのですが、 僕は何故かタテのほうが消しづらく、ヨコのほうが消しやすい気がします。 そこで、本当にタテのほうが消しづらいのか、 やはり両方同じ消しやすさなのか、 【論理的】または【数学的】に回答してください。
田中哲朗 株式会社バンダイの発売している瞬間決着ゲームシンペイという ゲームを後退解析(retrograde analysis)で解くプログラムを作りました. Opteron 252(2.6GHz), memory 12GBのマシンで実行したところ,12分で計算が終わ り,このゲームが先手必敗であることがわかりました. 局面検索アプレット 任意の(駒数がそれぞれ4以下で駒数の差が1以下)の局面から最善の手 勝ち局面では一番手数が短い勝ち手 負け局面では一番手数が長い負け手 引き分け局面では適当な引き分け手 を検索するアプレットです. ゲーム情報学研究会での発表について 2006年3月7日に開催された第15回ゲーム情報学研究会で発表した際の資料と,プレゼンテーション資料を置きます.資料に関しては,原稿提出後に見つかった数字の誤りを訂正したものになっています.
Cryptologic Protocol Theory Ivan Damgård and Jesper Buus Nielsen This is the 2010 version of the course - Please go to the The new home page This is the home page of the course in Cryptologic Protocol Theory We cover the basic concepts in protocol theory and look at a set of practical applications. More details in the course plan below. Time and Place Monday 11-13 and Wednesday 12-14, Shannon 159
2006-02-23 「アルゴリズム」って? 「プログラマ」って? 雑記/備忘 メモ編に対してですが、id:sumiiさんから、「アルゴリズム」という言葉の意味と使い方に関して、以下のコメントをいただきました: 通常の定義では、「アルゴリズム」といったら(特に断らなければ)任意の有効な入力について停止せねばならず、停止しない(… 2006-02-23 停止しないアルゴリズム、停止してはいけないアルゴリズム 雑記/備忘 前のエントリーの続きのようなもの。世の中には、無限に走行してサービスを提供し続けるタイプのプログラムがありますよね(リアクティブシステムとか呼ぶらしい)。例えば: /* 門番さんのお仕事 */while (true) { while (客が来ている) { 門を(それが閉じ… 2006-02-23 なんだかスゴイような、変なような“教育” 日常 sumiiさん、一日に何度も話題
The Blog of Scott Aaronson If you take nothing else from this blog: quantum computers won't solve hard problems instantly by just trying all solutions in parallel. Also, next pandemic, let's approve the vaccines faster! Tomorrow at 1:30pm US Central time, I’ll be doing an online Q&A with Collective[i] Forecast about quantum computing (probably there will also be questions about AI safety). It’s op
Project Description: Please provide a description of the project.
「プログラマのためのJavaScript」の番外シリーズ -- いやっ、ホントに。 これはシリーズのハブエントリーです。番号を(0じゃなくて)1にしたのは、全体目次だけじゃなくて内容が含まれるから。 ※ 印刷時にはサイドバーは消えるはずです、お試しください。 シリーズ全体目次(予定) (この記事;総論) 速攻速習編 自己適用からゲーデル化へ 「展望」への緊急パッチ(オハナシだよ) Reflective JavaScript 停止問題の構造 不完全性定理の構造 今回の内容: ゲーデルの不完全性定理とプログラミング ゲーデルが示したこと 不完全性定理の兄弟 -- 停止問題 JavaScript使うんだもんね 関連する記事(参考) 次の記事 速攻速習編 ●ゲーデルの不完全性定理とプログラミング 「ゲーデル」(人名;Kurt Godel、'o'の上に点々が付いてる)や彼の「不完全性定理」とかって、
With accessibility legislation requiring videos to be captioned by September 23, 2020, and with our teaching being online, I've been thinking about getting LaTeX into captions for videos. What follows is a bit of a hack, but it seems to work! It only works for open captions, which are burned into the video, and I would be very interested to hear of solutions for closed captions. Here is the workfl
Introduction Welcome to the Complexity Zoo... There are now 488 classes and counting! This information was originally moved from http://www.complexityzoo.com/ in August 2005, and is currently under the watchful eyes of its original creators: Zookeeper: Scott Aaronson Veterinarian: Greg Kuperberg Tour Guide: Christopher Granade Errors? Omissions? Misattributions? Your favorite class not here? The
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く