ワンのタイル
ワンのタイルに関する決定問題についての説明 (説明不足)。 ワンのタイルというのは4辺それぞれに文字列(記号列)が書いてある四角いタイルで、 タイルを並べる時の規則があって、 接している2辺に書かれている文字列は同じでないといけない。 またタイルを回転させてはいけない (もともとのワンのタイルは各辺に記号が書かれたタイルではなく 各辺が色づけがされたタイルで接する辺は同色という規則みたいだけど、 説明の都合で変更した)。 そして、 与えられたタイルのリストに対して それらのタイルだけを使って全平面をタイル張りできるかを判定せよ、 というのが問題。 ただし与えられたタイルを全部使う必要は別に無い。 例えば、次のようなタイルを与えられたとする。 これらタイルの場合、 次のような並びを繰り返していくことで全平面をタイル張りできる。 ワンは初め全面敷き詰め可能かどうかは判定可能だと考えたみたいだけ
ラムダ計算ＡＢＣ
仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ
はてなブログ | 無料ブログを作成しよう
顔に見える？最近「送水口」が気になるという話 「送水口」が気になる今日この頃 最近街中で気になる存在、それがこの「送水口」です。地上のフロアが7階以上あるビルなど、一定の条件を満たした建築物には設置が義務付けられているもので、火事が発生したフロアにただちに水を送るために使われるものです。ポンプ車…
Hugo Strikes Back!: BBC Hitchhikers Guide To The Galaxy
veoh : BBC Hitchhikers Guide To The Galaxy Part1 veoh : BBC Hitchhikers Guide To The Galaxy Part2 veoh : BBC Hitchhikers Guide To The Galaxy Part3 veoh : BBC Hitchhikers Guide To The Galaxy Part4 veoh : BBC Hitchhikers Guide To The Galaxy Part5 veoh : BBC Hitchhikers Guide To The Galaxy Part6 イギリスのテレビ局BBCが1981年に制作したテレビシリーズ「銀河ヒッチハイクガイド(The Hitch Hikers Guide to the Galaxy)」が veoh で公開されてます。まぁ、字幕
最近おれの中でUR都市機構がアツい -
最近、おれの中でUR都市機構がアツいのだけれども、でもだって正式名称が都市再生機構である。「都市」に「再生」に「機構」である！ SFギミック満載っぽいネーミングすぎる。 こんなかっこいい組織名じゃあ機構のトップの人とかすごいこと言ってると思う。 「諸君。人類にとって幸福とは何だ？ 衣？ 違う！ 食？ 違う！ 住だ！」 「都市の再生は人類の再生である。それを達成するためなら、わが機構はいかな犠牲をもいとわない！」 「世界を滅ぼして何が再生ですか！」 「再生だからこそだよ。 再生だからこそ浄化したのだ！」 「わたしはそんなもの認めないっ！」 「いいかげん聞き分けたまえ総理」 「軌道上に50万戸分の住居モジュール建設ですか？ 無理です。よくて数千戸。それも人の住む環境じゃあない」 「150万人が住めさえすればいい。形状は問わん」 「形状？ 住居の形状を変えたくらいではどうにも……」 「ちがう。ヒ
矮小銀河と球状星団をつなぐミッシング・リンク
【2007年8月29日 Gemini Observatory】 銀河と星団。月とスッポンのような2つのグループだが、実はつながっているらしい。数百万個の恒星からなるひじょうに小さい矮小銀河と、数十万個の恒星が密集するひじょうに巨大な球状星団の中間に位置する天体が見つかり始めている。広い意味でとらえれば、銀河が星団になったり、星団が銀河になったりすることもあるようだ。 ジェミニ南望遠鏡が撮影したNGC 3311。クリックで拡大（提供：Gemini observatory / Elizabeth Wehner and William Harris） NGC 3311付近に散らばるUCDの候補天体（赤丸）。クリックで拡大（提供：Gemini observatory / Elizabeth Wehner and William Harris） われわれの天の川銀河は約2,000億個の星からなるが、
涼宮ハルヒの憂鬱が一目でわかるスレ:アルファルファモザイク
まずは主な登場人物の紹介 涼宮ハルヒ 脅しや暴力で要求を通そうとする性質。韓国の暴力事件は日本の100倍。 長門有希（高学歴者） 素晴らしい発想をするが、知能の使い道はどこか誤ってしまう。 朝比奈みくる(水商売の女) みんなに対して人当たりが良いが、本心では何を考えているのか分からない。 古泉一樹（超能力者） 地元のボスに盲目的に付いていこうとする性質。 利権関係で意外と金持ち。 キョン(一般人) これといった才能のない一般人。結局は非搾取側に回りがち。 ほかの登場人物の特徴もあったら書いてくれ。 ここは、これさえ見れば涼宮ハルヒが一目で わかるというスレです。 涼宮ハルヒの憂鬱に関する情報がありましたら わかりやすい形式で一目でわかるように書いて下さい。 ご協力お願いします。
すでに絶滅してしまった驚くべき動物10種 - GIGAZINE
かつて地上に君臨しつつも滅びてしまったティラノサウルスや、発見から180年程度で絶滅させられてしまったドードー、27年で絶滅させられたステラーカイギュウなど、人的理由や環境変化などによって絶滅してしまった動物10種類です。今もどこかでひっそり生きていたりすると大騒ぎになりそうですが…。 10 Most Amazing Extinct Animals - Oddee.com (extinct species) http://www.oddee.com/item_88742.aspx ◆ティラノサウルス・レックス 今から8500万年から6500万年前の白亜紀後期にいた恐竜の一種で、最大級の肉食恐竜の一つ。体長は11～15mほどで体高は5mほど、体重は5～6トンぐらいだと推測されています。白亜紀の終わりに生命の大量絶滅があり、そのなかでティラノサウルスなどの恐竜も絶滅しました。 今までに見つかっ
「iCar」が開発されているかもしれない
米アップルと独フォルクスワーゲンがiCarの共同開発を行う計画があるようです。 詳細は、以下から。 Kooperation: Apple und Volkswagen wollen beim Bau von Fahrzeugen kooperieren - Capital フォルクスワーゲンのスポークスマンによると、カリフォルニアで数日前にアップルのSteve jobsとフォルクスワーゲン社長のMartin Winterkornが、フォルクスワーゲンのコンセプトカーにアップル製品を組み込むことを話し合った様です。どんな形になるのかとても興味が沸いてきます。 Who will be the first auto manufacturer to integrate the Apple iPhone? Exclusive info. - AutoSpies Auto News ちなみに、次期BM
月全食 - Shining kimigo*
■[生活] 月全食 00:01 今天傍晚月全食，台灣地區月亮會在傍晚6點15分東昇，進入全食階段， 由於正好太陽西沈，可以看到紅色的月亮，臺灣地區民眾只能看到食甚到復圓的後半段過程。 截自：YAHOO新聞 這下好了 知道今天有月全食 也翻看了不少篇網路新聞 不過自己卻瞎了眼沒看仔細 人家就說「臺灣地區民眾只能看到食甚到復圓的後半段過程」 結果我竟然自作聰明5.50分就開始找月亮看 後來還覺得什麼都沒有 就下樓吃PIZZA了 吃到一半 BEN打來說"有了有了" 馬上衝上樓 跟ERIOL接力拍下這月全食的景色 要怎麼說呢 宇宙中星球自然運轉現象真的很神奇 月全食真的很美 好像戒指掛在半空中一樣 秋天的風吹起來真的很涼 就跟我的心一樣涼....
世の中にはわざと襲われ易い銀行があるという都市伝説 - hasenkaの漂流記
一時ATMも重機でかなりやられましたがあれは対策が間に合わなかったという側面もあったかもしれません。しかし幾分かそれほどの金額でもないし容認していた部分が無きにしもあらず。あれも社会福祉の一環だった。というか一人歩きの女性を何人救ったかもしれないのです。このようにある程度セキュリティを低め、わざと犯罪を幇助させる事は昔からガス抜きといって取り締まる側の鉄則のような所もありました。所が最近はそのようなクッションがなくなりつつあるのではないでしょうか。原理原則ばかりが強調されて硬直化した危うい社会が蔓延しています。クリーンで奇麗になり過ぎた社会は奇怪な事件を引き起こします。誰もが言いようがない閉塞感に追い込まれ犯罪は計画性も打算性もない狂気と化します。社会にわざと穴を開けたり、瑕疵を放置しておくという知恵は太古の昔は生きていたのですが現代では失われてしまいました。襲われ易いATMもずっと襲われ
２ちゃんねる実況中継(裏) バイトの途中で事故にあった
496 おさかなくわえた名無しさん 2007/08/27(月) 23:22:33 ID:Vd4xIWMq 俺の武勇伝ではなくて助けてもらった話 ﾈﾀみたいな話だが一応実話ｗ 俺は横浜の大学に通ってたんだ。 趣味のバイクのﾛｰﾝを返済する為、ビデオ屋でバイトをしてた。 ﾊﾞｲﾄは時給の良い深夜に入ることが多かったんだが、 結構暇な店で楽な仕事だった。 ただ、店の場所が結構ﾔﾊﾞﾒの場所ということもあり、 ﾊﾞｲﾄの日は毎日のようにﾔｸｻﾞの事務所に配達をさせられていた… そのﾔｸｻﾞは店長の知り合いで、断れなく行くのはいつも俺の役目だった。 でも、俺が選んで持っていくﾋﾞﾃﾞｵはそのﾔｸｻﾞのﾂﾎﾞにはまるらしく、 「○○（←俺の名前）が持って来るﾋﾞﾃﾞｵはいつもおもしれいなぁ」とか 「○○がいつも持って来いよ」とか言ってくれて、 ﾁｯﾌﾟを貰ったりして結構可愛がってもらっていた。 そんな
「若き日の2人のSteve」レゴセット、カレンダーの秘密とは | WIRED VISION
「若き日の2人のSteve」レゴセット、カレンダーの秘密とは 2007年8月29日 カルチャー コメント： トラックバック (0) Charlie Sorrel これは全てのおたくたちの心に響くセットだ。 「2人のSteve」(米Apple社のSteve Jobs氏とSteve Wozniak氏)と、『Apple』コンピューター、そして映画『2001年宇宙の旅』のカレンダー、おまけにレゴ、という組み合わせは最強だ。 さらには、ちょっとした仲間受けのジョーク(カレンダーの、ある日付に印が付いている。その答えはこちら)。 このレゴは、米PodBrix社が300セットだけ販売する、手作りの限定商品だ。 同社は、「Tomi」という人物が1人で運営しており、既製品のレゴを改造して作った製品を販売している。 上記の商品の価格は40ドルだが、残念なことに、(Jobs氏の基調演説プレイセット、1984年プ
【2ch】日刊スレッドガイド : 厚労省がWikipediaでエロゲ「ななついろ★ドロップス」の項目を編集していた事が判明、農水省はガンダムを
厚労省がWikipediaでエロゲ「ななついろ★ドロップス」の項目を編集していた事が判明、農水省はガンダムを Wikipediaを編集した組織や企業が分かるツール「WikiScanner」の日本語版がこのほど登場した。 これを利用して行政機関からの編集について調べてみると、総務省や文部科学省、宮内庁 などから、行政に関わる内容からエンターテインメント関連まで、さまざまな内容について 編集があったことが判明。行政に批判的な内容を削除する編集も見つかった。 （略） 厚生労働省からは「薬物」などの項目で編集があったほか、アダルトゲーム 「ななついろ★ドロップス」の項目で解説も書き加えられていた。宮内庁は、天皇陵や 歴史関連の書き込みを編集しており、宮内庁に関連する疑惑の指摘を削除した跡も見つかった。 農林水産省からは、ガンダム関連で大量の書き込みがあった。 WikiScanner日本語版トップ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【2ch】日刊スレッドガイド : 冨樫義弘『HUNTER×HUNTER』 1年7ヶ月ぶりに連載再開
にわかヲタが知らなそうなエヴァ知識を挙げてみよう:アルファルファモザイク
UTokyo TV
郵政造反組が復権など。 - numbness&tingling