数独の初期ヒント最小個数は「17」、それ未満では解けないと数学者が結論
by Miss_Bathory 日本だけではなく海外でも人気の高い数字パズル「数独(Sudoku)」。初期に配置するヒントの数は20個～30個ぐらいのものが多く、最小では17個のものが確認されていますが、問題として成立するのがいったいどのラインなのかは結論が出ていなかったのですが、アイルランドの数学者が「ヒントが16以下だと解けない」と結論を出しました。 Mathematician claims breakthrough in Sudoku puzzle : Nature News & Comment Gary McGuire's Minimum Sudoku Page, Sudoku Checker ユニバーシティ・カレッジ・ダブリンの数学者Gary McGuireさんは、数独においてヒントが16個以下のものは解法を持ちえないということを証明しました。このMcCuireさんの証明は、数学
祓 - Wikipedia
「払い」はこの項目へ転送されています。漢字の字体を構成する要素・書法については「筆画」、「永字八法」をご覧ください。 伊勢神宮内宮の年越大祓 祓（はらえ、はらい）は、神道の宗教行為で、天津罪・国津罪などの罪や穢れ、災厄などの不浄を心身から取り除くための神事・呪術である。 祓の神事を行うことを、修祓（しゅばつ、しゅうほつ）という。 一般に、神前での祈祷を、災厄除けの祈祷（本来の意味の「祓」）以外のものも含めて「お祓い」という。また、神社が頒布する災厄除けの神札も「お祓い」と呼ばれる。 位置づけ[編集] 祓は、神道の神事において、禊や斎戒の後に行われる、極めて重要な意義を持つ浄化の儀式である[1]。祓の意義は、神を迎え交流するための準備として、罪穢れのない清浄な空間をつくりあげるという点にある[1]。そして、罪穢れについては、神事に臨む個人のものだけではなく、この世界のあらゆる罪穢れを徹底的に
ケミカルライト - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ケミカルライト" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2014年2月） ケミカルライトスティック ケミカルライト (chemical light) は、化学発光による照明器具の総称である。 全般を指す通称としてサイリューム、シアリウム (CYALUME, Cyalume) と呼ばれるが、これらは登録商標であり、アメリカでは米オムニグロー・コーポレーション[1]、日本では薬剤・照明具としては米サイリューム・テクノロジーズ・インコーポレイテッド、釣具・玩具としては株式会社ルミカが保有している。ほか、株式会社ルミカ（旧 日本化学発光株
エレベーターの間引き運転 節電効果薄く不便を強いるだけ | ニコニコニュース
今年の夏の節電については、オフィスでは、エレベーターの間引き運転などの取り組みがされている。こういった節電法はどの程度効果があるのか。 秋田県庁は5月25～27日、本庁舎と第二庁舎で「節電実験」を実施し、結果を公表した。それによれば、もっとも効果が高かったのは「照明器具の全消灯（地下室除く）」で、8300本の照明器具をすべて消したところ、前年比で120kWの削減となった。 一方、節電量が少なく、効果を確認できなかったのが、「エレベーターの停止（本庁舎と第二庁舎で各1台ずつ）」、「自動販売機23台の停止」、「冷蔵庫96台を“弱”に設定」だった。 秋田県庁の生活環境部温暖化対策課課長・高橋訓之氏は、これらの節電法で効果が出なかった理由についてこう分析する。「エレベーターについては、秋田県庁は低層ビルなので、高層ビルの場合とは条件が異なりますし、実験の時間帯（12～13時）の利用者数にも影響を受
緊急通報とローミング | 無線にゃん
さて先日、良く海外にいらっしゃるという方から、緊急通報に関する疑問と言うのをいただきましたので、紹介してみたいと思います。 本意を失わない程度で端折って引用しますと、 １）韓国において、日本から持ち込んだドコモのケータイにＳＩＭを入れていない状態で緊急呼が可能なのはなぜ？そのとき回線はどう接続されているの？ ２）韓国携帯（ＳＩＭロック付）にドコモＳＩＭを入れ、日本で起動すると、一応ドコモに位置登録はされるが使えない状態、しかし１１０や１１９などは発信可能。ところが１１１にダイヤルすると「緊急呼接続ガイダンスです」とドコモでおなじみの人のトーキが流れ「警察は１消防は２海上保安庁は３をプッシュしてください」というガイダンスが日本語と英語で流れ、１１２（韓国警察）をダイヤルすると直接日本の警察に接続される、これらはなぜ？ 猫）うちにも、猫が５玉いて、極めて自立的に家の中をうろうろしています。 で
アスパラガス - Wikipedia
アスパラガス（石刁柏[1][4]、竜鬚菜[4]、英: asparagus、学名 : Asparagus officinalis）は、キジカクシ科（クサスギカズラ科）クサスギカズラ属（キジカクシ属）に属する多年生草本の単子葉植物で、野菜として食用にされる。和名はオランダキジカクシ[1][2]。クサスギカズラ属の別種を指してアスパラガスと呼ぶこともある[1]。特に園芸方面ではオオミドリボウキを指すことが多い。 クロンキスト体系ではユリ科に含まれていたが、APG分類体系ではユリ科は5目に分割され[5]、そのうちのキジカクシ目 Asparagales に属する[2]。雌雄異株である[1]。若い茎（シュート）が食用にされ、アスパラギンを含む[1]。アスパラギンの名はアスパラガスから初めて発見されたことに由来する[1]。栽培方法の違いにより、日光に当てたグリーンアスパラガスと、日光を遮断して軟白にした
お馴染みのあのコンピューターアイコン達にまつわる話
誰でも知ってるあのアイコン、一体どんな意味が？ 毎日毎日ガジェットと過ごしていると、たくさんのアイコンが目に入ります。電源アイコン、コマンドアイコン、BluetoothにUSB！ あまりにも当たり前になって気に留めてなかったアイコン達。一体それぞれのアイコンにはどんなストーリーがあるのでしょうか？ 電源コンピューターの電源オン／オフボタンのアイコン。ここを押せばスタートしますよ。TシャツになったりNYのコンドームパッケージデザインに選ばれたり、人気絶頂のお馴染みアイコン。 このアイコンのストーリーは、第2次世界大戦までさかのぼります。エンジニア達は各電源ボタンやスイッチをバイナリシステムを使ったラベルでタグづけしていました。1はオン、0はオフ。1973年、国際電気標準会議（International Electrotechnical Commission）にて、切れ目のある円の中にラインは
“Intel Inside” の和訳が「インテル入ってる」なのではなかった
知らなかったことは素直に知らなかったと書く方向で。 “Intel Inside” の和訳として「インテル入ってる」というのは なかなかいいのではないか、と思っていた。 ところが、これ逆だった。 s_shisui の人に教えてもらったのだが、 「インテル入ってる」の方が先だった。 tcd Branding 「インテル・インサイド・マーケティングプログラム」が米国のビジネススクールなどのケーススタディとして取り上げられ、日本発のアイデア「インテル入ってる」から始まったことを日本人留学生が知って驚くといったことが報告されていますが、 この「インテル入ってる」は最初 英語で “Intel In It” と表されたのだが、 “In It” は性的な意味に取られかねないということで “Intel Inside” になったとのこと。 （”in it” が性的というのは「アレ」とか「ナニ」とかいう言葉に通
うすた京介 on Twitter: "ペンネーム適当に台所にあるやつから付けちゃえってことで、ウスターソースから「うすた宗介」と言う名前で投稿しました。で、それが受賞した訳だけど発表ページ見たら誤植で「京介」になっていたのです。"
ペンネーム適当に台所にあるやつから付けちゃえってことで、ウスターソースから「うすた宗介」と言う名前で投稿しました。で、それが受賞した訳だけど発表ページ見たら誤植で「京介」になっていたのです。
知っておくといい豆知識
1 名前：以下、名無しにかわりましてVIPがお送りします：2009/12/23(水) 17:24:35.10 ID:WgitpvbS0 ファミコン並のCPUでロケットを制御できる 5 名前：以下、名無しにかわりましてVIPがお送りします：2009/12/23(水) 17:26:49.82 ID:p+Q0OTLAO 枝豆は熟する前の大豆 15 名前：以下、名無しにかわりましてVIPがお送りします：2009/12/23(水) 17:30:31.58 ID:UytvdpsE0 >>5 それっはｗｗｗｗｗｗｗｗｗｗｗ豆のｗｗｗｗｗｗｗ知識やｗｗｗｗｗｗｗｗｗｗｗｗ 115 名前：以下、名無しにかわりましてVIPがお送りします：2009/12/23(水) 18:18:30.94 ID:XgR2IqKv0 お湯の方が早く凍る 105 名前：以下、名無しにかわりましてVIPがお送りします：2009/12
「＠」の正式名称は「アットマーク」じゃない!? 意外と知らない記号の読み方｜トレンド｜無料動画 GyaO[ギャオ]｜
トレンドGyaO 「＠」の正式名称は「アットマーク」じゃない!? 意外と知らない記号の読み方 タグ パソコンプログラマー情報日本知識記号読み方豆知識 パソコンの普及で漢字の読み書き能力が衰えた感じる人はたぶん多いでしょう。では逆に、パソコンで使われる記号の読み書きに自信があるという人はいますか？ たとえば「†」の名前は？ あるいは「チルダ」ってどんなマーク？ パソコンで使う記号はなかなか読む機会が少ないこともあり、使っていても読めない記号が多いように思えます。また、知っている読み方が間違えてたなんてことも結構あったり…。 ぶっちゃけ、知らなくても間違っててもそんなに困らないのですが、いざ確認してみると意外なモノもあります。ここではそのいくつかご紹介しましょう。 【＠】 皆さんご存じの「アットマーク」。メールで使う機会が多いので、さすがこれが読めない人は少ないでしょう。しかしこの「ア
はじめよう！コンピューターミュージック - mixi engineer blog
iPhoneゲームの買い過ぎでついにアプリが7ページ目に突入してしまった bonar こと中野恭兵です。今のお気に入りは手軽に遊べる"frenzic"と本格派ファンタジーパズル"Aurora Feint" 。最高です。 普段はアプリケーション開発グループ ミュージック開発チームに所属していまして、仕事中は常に mixi Radio 付けっぱなしなわけですが（マイブームは"Monica Uranglass（音が出ます）"）、やっぱりコンピューターがある以上、聴くだけでなく自分でも作ってみたいと思うものです。 僕自身弾ける楽器が何もなく、音楽的な教養も無いのですが、まずは最初の一歩を踏み出したいと思い少し調べてみました。 音とは何か 音楽はいろんな音の複雑な合成物なので、音とは何かという部分から考える必要があります。 ご存知の通り、音とは空気の振動です。振動とはつまり一定の周期を持った規則的な
「食わず嫌い王決定戦」のテーブルセットは『台形』だった - テレビの土踏まず
遠近法でそう見えるわけじゃなく ちょっとした「気づき」がありましたので今回の更新はそこをお伝えします。 5 日放送のフジ系「とんねるずのみなさんのおかげでした」の「新・食わず嫌い王決定戦」のゲストは竹内結子と阿部寛。 途中、石橋貴明が同じチームの竹内結子の顔面をまじまじと見つめるや「きれい」だの「なかなかこの距離で竹内結子は見れない」だのとヨイショを展開する場面がありました。 いっぽうそのとき相手チームの木梨憲武は、竹内結子とのあいだにテーブルセットを挟んだ精神的ないし物理的な距離を感じたようで、石橋貴明のポジションがうらやましいみたいな嫉妬と羨望を抱きつつ、こんなことを言います。 「なんだ、この台形」 「台形」。 木梨憲武はテーブルを隔てて斜め向かいの席に座っている竹内結子に近づこうとも近づけないうっぷんからか、食わず嫌いなメニューの数々がならぶ手前のテーブルセットを指して、「なんだ、こ
ひよ子 - Wikipedia
ひよ子（ひよこ）は、1912年に福岡県飯塚市の𠮷野堂で生まれた、見上げているようなひよこの形をした菓子、また同商品を製造する株式会社ひよ子の社名でもある。大手亡（おおてぼ。大手芋とも）という白インゲン豆で作った黄身餡を小麦粉や卵などで作る皮で包んでいる。 来歴[編集] ひよ子饅頭 福岡県飯塚市本町のひよ子本舗𠮷野堂飯塚本店 元々は筑豊炭坑地帯であった飯塚の菓子である。かつて飯塚は長崎街道を通って本州へ運ばれる砂糖を比較的容易に手に入れられたため菓子製造が盛んだったのと、重労働である炭坑作業の後に甘い物が好まれることから、「千鳥屋」「さかえ屋」などの菓子店とともに地元で定着していった。1957年に福岡市内（天神）へ進出して人気を博し福岡市内一円に広まり、辛子明太子などとともに博多（福岡市）土産の定番となった。 1964年に開催された東京五輪を契機に東京へ進出し、東京駅や羽田空港などのター
“disc”と“disk”の違い
If your Apple device needs repairs, you can go to an Apple Store, visit an Authorized Service Provider, or mail in your device. Whatever you choose, we’ll make sure your device works the way it should. Beware of counterfeit parts Some counterfeit and third party power adapters and batteries may not be designed properly and could result in safety issues. To ensure you receive a genuine Apple batter
電話の「＃」は“シャープ”ではない (2007年8月22日) - エキサイトニュース
携帯電話の応答メッセージ。 「録音が終わりましたら、シャープを押してください」 メッセージを入れ、シャープボタンを押して電話を切る。 そんな、普段の何気ない動作。 でも厳密に言うと、電話に「シャープボタン」なんか存在しない。 電話のボタンについて、国際的な電気通信を扱っている「財団法人日本ITU協会」が、こんな話をしてくれた。 「電話にある“＃”は、シャープではなくて“井げた”（イゲタ）です。また勧告（通信業界の世界基準が書かれた文書）には“スクエア”と表記されておりまして、他にも“ハッシュ”や“パウンド”、“ナンバーサイン”という呼び方があります」 つまり、そもそも電話の「＃」は、音楽のシャープと記号自体が違うというのだ。電話で使われている記号は縦線が斜めの「＃」で、音楽のシャープは横線が斜めの「♯」。 すごく微妙な違いだけど、JIS規格でも2つは区別されている。JISでも「＃」はやっぱ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
みなみけ せいかな（第五期） on Twitter: "S&Bの輸出用七味唐がらしは、国内の呼び名とは異なり「ＮＡＮＡＭＩ」と表記してありますが、これは「しちみ」と「いちみ」では発音上似かよっていて、海外では混同される恐れがあるため、特に「ＮＡＮＡＭＩ」と表記しているのです。http://t.co/0uQCudZQ"
ミミズの大量出現のなぞを考え調べる （5）まとめ
TechCrunch | Startup and Technology News
レミングの集団自殺神話