スパコンで力任せに数独の難しい問題を作<del>る</del>ったつもりが簡単な問題だった件
どうやら人間の手で解いたら、簡単に解けてしまうようです。 ここでの難易度の定義に含めていない解法(n国同盟など)を使うと、難しくない問題になっているのかもしれません。 その後調べたところ、基本テクニックだけで解けてしまうことがわかりました。 Pencil Marksが唯一残ったものしか確定しない、というDeterministic Solverを使っていたのが原因で、 難しくない問題を「難しい」と誤判定してしまったようです。 3月13日版よりだいぶ難易度があがったはずです。 概要 スパコンを使って力任せに数独の難しい問題を作ってみたところ、 2013年3月現在、おそらく世界で一番難しい問題を作ることに成功した失敗した。 上図がスパコンを用いて作られた、おそらく世界で一番難しい問題(2013年3月現在)。 後述する難易度の定義では、深さが10、通常幅が183530、平均幅が約100571である
中国人女性とのデートで、「中華食べに行こうよ」がNG な理由 (Business Media 誠：Wu Yuの中国版“新人類”とうまく付き合う方法)
1980年7月7日生まれ。2004年7月、北京第二外国語大学日本語学部卒業後、日系PR会社で、日系電器メーカー広報部に出向。慶應義塾大学政策・メディア研究科修士課程を経て、PR会社「オズマピーアール」に入社。「中国コミュニケーション戦略室」で日本企業の中国コミュニケーションプランを立案している。 小学校から大学までバリバリの“陸上ガール”として過ごし、100メートル13秒の健脚を誇る。3度のメシより酒が好き。ビール、日本酒、紹興酒となんでもござれの酒豪でいくら飲んでも足取りはしっかりしているものの、重度の方向オンチがゆえにとんでもない方向の電車に乗ったりして、帰宅にはえらく時間がかかる。 30歳以上で結婚をしていない女性のことを、日本では「負け犬」なんて呼びますね。あまり納得できませんが、何を隠そう私もそのひとりです。 最初にこの言葉を聞いたときは、「結婚や出産で人の勝ち負けを決めるなんて
なつかしい未来『月は無慈悲な夜の女王』
とうとう読んでしまった、SFの最高傑作として名高い『月は無慈悲な夜の女王』。大事にとっといた一品を食べてしまった、充実感と喪失感で胸一杯なところ。 地球からの搾取に苦しむ月世界人が、地球を相手に独立宣言をするストーリーラインに、テクノロジー、ハードサイエンス、ヒューマンドラマから、政治・経済・文化をてんこ盛りにしてくれる。 不思議なことに、未読のはずなのに既読感が激しい。どこを切っても「なつかしい」が出てくるのだ。 たとえば、“自我”を持つコンピュータ。自ら学び、自己生成プログラムを走らせる。人とコミュニケートし、自分を守るためにプロテクトをかけるあたり、『2001年宇宙の旅』のHAL9000や『わたしは真悟』を思い出す。そのコンピュータがきっかけで、普通の主人公が革命に関わってゆく様は、典型的な巻き込まれ型＋召喚ヒーローもの。『マックス・ヘッドルーム』や『ジョウント』（スティーヴン・キン
革マル派家宅捜索、２年８カ月もの空白のナゼ！？ 佐々淳行氏「民主時代に…」 - 政治・社会 - ZAKZAK
警視庁公安部が先週、東京・新宿区にある過激派「革マル派」の活動拠点３カ所を１５０人態勢で捜索した。２０１０年７月以来の家宅捜索というが、国内外で情勢不安が指摘されるなか、どうして、これほど長期間も行われなかったのか。警備・公安のスペシャリストである、初代内閣安全保障室長の佐々淳行氏に聞いた。 公安部が６日、捜索したのは革マル派の本部「解放社」など。幹部活動家の男３人が１月、架空の名前や住所を使って大阪府内のホテルに宿泊したとして、４日に逮捕されたことを受けて行われた。 革マル派の正式名称は「日本革命的共産主義者同盟・革命的マルクス主義派」。共産主義革命を究極の目的とする極左暴力集団で、これまで対立セクトとの間での殺人事件など、多数の刑事事件を引き起こしている。 国家の安定と国民生活の安全を守る公安当局とすれば、定期的に活動実態の把握を進めるべきだが、なぜ、２年８カ月も家宅捜索が行われ
「ジオン公国」と姉妹都市提携を アニメ聖地へ大胆発言／予算特別委
人気アニメ機動戦士ガンダムに登場する「ジオン公国」と埼玉県が“姉妹州省提携”を結ぶ―。８日の県議会予算特別委員会で、こんな奇抜な提案があった。アニメを題材に観光振興を目指す県を後押ししようと、田村琢実県議（自民）が「いろいろな発想を持ち、観光政策を進めるべき」と提言。上田清司知事は「試す価値は十分あると思う」と、検討する考えを示した。 県内には「らき☆すた」や「クレヨンしんちゃん」など、アニメやマンガの舞台モデル地に恵まれ、それをモチーフにした地域振興が各地で行われている。今回の提案は「アニメに登場する仮想の国との姉妹提携など、何らかの理由付けをすればどんな人気アニメでも誘致でき、地域が活性化する」（田村県議）と大胆な発想の転換を求めた格好。ちなみにガンダムの原作者は新座市に３０年以上住んでいたという。 思い切った提案に委員会内は沸いたが、６０代の先生方はジオン公国に「？？？」の表情だった
大学の課題「Facebookアプリを作ること」→大成功する学生が続出、学校をやめて起業するケースも : らばQ
大学の課題「Facebookアプリを作ること」→大成功する学生が続出、学校をやめて起業するケースも 2007年のことですが、カリフォルニア州スタンフォード大学で、教授が「誰もが使えるFacebookアプリを製作すること」という課題を与えました。 結果は大きな収益を得る学生が続出し、学校をやめて会社を興す学生まで出たそうです。 のちにFacebook教室と呼ばれることになったのですが、元々は「アプリを作ってみよう」という、2007年秋の宿題に過ぎませんでした。 次に起こることは誰も予想もしてなかったのですが、何百万人が利用するフリーアプリが次々と誕生していったのです。 広告収入が入るようになり、幾人かは教授の給与より多額の収入が入るようになりました。 20人以上の学生と教授のキャリアや運命が、ほぼひと晩で好転したような感じだったと言います。 「ことは急激に起こったんだ」と、当時を振り返って語
法学の方が『理系』で、工学の方が『文系』という話 ～本当の理系と本当の文系について～ - 雪見、月見、花見。
理系と文系の本当の違い 理系の議論と文系の議論 - 脱社畜ブログ を読みました。 いずれも理系と文系の違いについて考え方や議論の仕方などの差違から紐解こうとする記事ですね。 理系と文系の違いの議論は昔からポピュラーで皆さんもしばしば目にされると思います。 お互いの短所をあげつらいバカにしあうものもあれば、お互いの長所を尊重して融和を図るものなど様々な意見の主張や議論がなされてきました。 この理系・文系の議論は、私も以前から書こうと頭の中で温めていたテーマで、せっかくの機会ですので、今回書いてみたいと思います。 結論的なものを先に述べておきますと、 「法学の方が『理系』で、工学の方が『文系』なので、文理の分類方法が適切じゃないんじゃない？」 ということです。 はい、相変わらず無茶言いますね、私は（笑） ま、そんな感じで、今日もボーッと考えていきましょう。 私たちを司る二種類の思考方法 理系・
一浪で受験に失敗した人の末路は
京大に落ちた。一浪で。 現役のときも京大工学部を受けた。結果は僅差で不合格。 早稲田など他の大学も不合格だったためになし崩し的に浪人に。 その後は一年間駿台に通った。模試の成績は伸びなかったが手応えはあった。 センター87％、慶應理工合格、現役時に比べればかなりいいところまでいったと思う。 しかし結果は不合格。数学英語の出来が悪かった。 僕は地方公立高校の出身で、元々浪人するのがとても嫌だった。 駿台に通う直前はゲロ吐きそうになったぐらいだ。 そんな僕が一浪京大落ちなんて事実を受け入れられるわけがない。 受け入れてしまったらアイデンティティが崩壊するような気がしてならない。 でももう一浪だ。家庭の事情もある。既に十分な大学にも受かっている。 それに今の僕にはもう一年やる体力も気力も無い。 一浪してダメな奴がもう一年やって受かる保証なんてどこにもない。 そんな中で二浪を決断するほどの意思の強
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
人間は、普通に暮らすと失敗するようにできている(山本一郎) - 個人 - Yahoo!ニュース
秘密の会合に潜入!? 日本を再起動させる10人の“マフィア”
http://bukupe.com/summary/8430