nuc - はてなプロフィールページへ移動しています。 Copyright (C) 2001-2024 hatena. All Rights Reserved.
『数学ガール／ゲーデルの不完全性定理』のこと(その2)への追記 - kururu_goedel’s diary
書こうと思っていて忘れてしまっていたので、『数学ガール／ゲーデルの不完全性定理』のこと(その2)、または「螺旋だ」(ネタばれあり) - くるるの数学ノートへの追記と言うことで。 学校というのは、生徒・学生にとって窮屈なものであると同時に、先生の側にとっても彼らの人生が始まっていくそのときしか見られないという狭い場所なんですよ。だから、もしまだご恩になった先生方の連絡先がわかる人がいたら、たまに手紙でも送ってあげると喜ぶと思いますよ。現役で中学生・高校生という人は、面倒だなぁと思っても一年に一回くらい書いておけば、書きたくなったときには住所も何もわからないなんて状況は避けられます。私はもう中学以前の先生方に関しては全く情報がない状態で、とても残念だなぁと。中年の親父になって自分でも学生を教えている立場になってみると、たとえ定例文だけの年賀状であっても届けばちょっと嬉しいかなと思います。あー、
『数学ガール／ゲーデルの不完全性定理』のこと(その2)、または「螺旋だ」(ネタばれあり) - kururu_goedel’s diary
お断り: 私が読んだのは献本していただいたものです。また、ネタばれおよび私の妄想(かなり強度)を含みます。 「螺旋だ」 どうにもエピローグのこれがきついです。もちろん第7章の終わりの観覧車は螺旋でない単なるループ、第9章の終わりの灯台は螺旋、そこから見える海は今の世界から飛び出していこうとするミルカさんの暗示。んで、観覧車のことじゃない苦手なことはそれが暗示する単なるループでしょう。 というところで私の妄想は膨らんで、最初の『数学ガール』の第1章、桜の木を見上げて立っていたミルカさんを思い出す。ああ、彼女は終わりが見えないループの中、何年も何年も同じ場所で誰かを待っていたのだろうなぁと。同じ学校、同じ年齢のままで。(だから強度な妄想を含むと断っていたでしょうが。こういうのが気持ち悪ければさっさとページを閉じなさい！)。 そう考えればようやく「ミルカさん、テトラちゃんのイスを蹴っ飛ばす事件」
『数学ガール／ゲーデルの不完全性定理』のこと、または崖はなんのためにあるのだろう(ネタばれなし版) - kururu_goedel’s diary
書き忘れましたが、私が読んだのは献本していただいたものです。山形浩生はどこかで、献本されたものは自分で買いなおしてそれでも割高感がなかったもの以外は書評しないと書いていて、それは一理あるので今回は「書評」ではないと明記しようと思っていたはずなのですが忘れました。というわけで、その点をご了承ください。 えーと、もう少し待とうかと思っていたんですけど、まあ書いちゃいます。 数学ガール ゲーデルの不完全性定理 (数学ガールシリーズ 3) 作者: 結城浩出版社/メーカー: ソフトバンククリエイティブ発売日: 2009/10/27メディア: ペーパーバック購入: 37人 クリック: 930回この商品を含むブログ (156件) を見る 初めに(誤解を避けるために) 思っていたことをつらつら書いていたら、なんだかとんでもなく誤解を招きそうな文章になりそうだったので*1、重要な点をいくつか 良い本です。本
NHKスペシャル『沸騰都市』OP、ED映像を押井守が監修 - Production I.G [最新情報]
5月18日（日）に第1回放送を迎えるNHKスペシャル『沸騰都市』シリーズのオープニングおよびエンディング映像を押井守が手がけたました。 『沸騰都市』のイメージを映像化したもので、演出・3DCGを佐藤敦紀(Motor/lieZ)、音楽を川井憲次、モチーフとなる「沌」という文字を西尾鉄也が担当し、『沸騰都市』のテーマである激動する世界・都市をあらわしています。 【放送予定】 第１回「ドバイ 砂漠にわき出た巨大マネー」 放送日時：5月18日（日） 21:00〜21:50 第２回「ロンドン 世界の首都を奪還せよ」 放送日時：5月19日（月） 22:00〜22:50 ※全8回予定。 今後の放送予定など、詳しくは公式サイトをご覧ください。 関連リンク NHKスペシャル http://www.nhk.or.jp/special/ 押井守によるOP/ED映像 世界最大の人工島、パームジュメイ
[mixi] 運営者からのお知らせ
2010年3月30日(火)より、mixiアプリに関する仕様変更を実施いたしますので、事前にお知らせいたします。 変更点は以下の通りです。 ・アプリ専用情報ボックスが一時廃止に 現在、ホーム画面の中央下部に最大3つまで表示している、アプリ専用情報ボックスですが、一時廃止させていただきます。 表示再開につきましては、未定となりますが、再開が決まった際には、改めてお知らせさせていただきます。 以上、どうぞよろしくお願いいたします。 チェック
ジャズシンガーの綾戸智恵が入院、容体は回復（オリコン） - Yahoo!ニュース
ジャズシンガーの綾戸智恵が19日より入院していることが23日、所属事務所の話でわかった。現在も入院中だが、容体は回復しているという。 綾戸智恵の写真付きプロフ 所属事務所のマネージャーが19日に、東京・品川区の自宅のマンションで呼びかけに応じない綾戸を見つけ入院。母親の介護を続けている綾戸が「疲れてしまって精神安定剤を多めに飲んでしまった」と話しているという。 なお、公式サイトでは、19日に行われる予定だった熊本公演が4月16日に振替公演として延期。20日の福岡サンパレスの公演は「中止」と発表された。 【関連】 結婚、離婚、乳がん…笑顔の裏に隠された綾戸智恵の真実 （09年05月16日） PUFFY・由美、急性腹症のため原宿コレクション欠席 （10年03月21日） 人気バンド・SOPHIAのキーボード都啓一ががん告白 ライブ活動も休止へ （10年03月21日） 心筋梗塞で静
三菱電機、２５０億円の黒字決算へ アジア需要で赤字予想から一転（産経新聞） - Yahoo!ニュース
三菱電機は２３日、２０１０年３月期連結決算の業績予想を上方修正し、２００億円の赤字と見込んでいた最終損益が一転して２５０億円の黒字になる見通しになったと発表した。世界的な景気持ち直しの動きが反映された形で、電機大手の間で業績底入れへの期待感が高まりそうだ。 黒字転換は、中国などアジアを中心とした設備投資需要が回復し、自動車用機器などの産業メカトロニクス部門、電子デバイス部門の売り上げが計画を上回ったことが功を奏した。固定費削減を強化したことも寄与した。自動車用機器は新車生産の上向きで需要が回復。半導体はエアコン、洗濯機など民生用パワー半導体（電力制御用半導体）の中国向けの受注で最高水準が続いているという。 売上高は従来予想を３００億円上回る前期比９．１％減の３兆３３００億円、営業利益は従来予想から３３０億円増え、同３３．４％減の９３０億円を確保する見込み。吉松裕規常務執行役は同日の記者
彼女が欲しい男性が女性と出会うためにはどこへ行けばいいのかという場所トップ10
ある一定の期間を過ぎると、男女の出会いの機会は急激に減少していきます。よほど自分から積極的に動いていかないと、そもそも出会うことさえできないわけですが、一体どこに行けばいいのかすらわからないというのが大問題の根本にあると考えられます。 闇雲に適当なそれっぽい場所に行ってみたところで世の中の他の男性も同じように考えている訳なので、言うまでもなく経験豊富で慣れているライバルを相手にしても勝機はありません。やはり、そもそも最初の出会いの場所のチョイスから考え直してみる必要があるわけです。 というわけで、一体どこに行けば有効な出会いにつなげることが可能なのかという、出会いの場所トップ10は以下から。あくまでも参考程度に、そして自己責任でガンバッテください。 AskMen.com - Top 10: New Places To Meet Women 第10位：ダンス教室 ダンス教室に来る女性で独身と
ゲームの姿をそのまま現実に持ってきたようなマリオのペーパークラフト
「大乱闘スマッシュブラザーズX」に登場するマリオを再現することができるペーパークラフトの型紙が、型紙まとめサイトからダウンロードできるようになっていました。 ポリゴンっぽいカクカクさはありますが、かなりの大きさなので作るのには時間がかかりそう。これを作り上げたときの達成感はかなりのものになりそう。 詳細は以下より。 SSBB Mario Papercraft | Paperkraft.net これがダウンロードした型紙から作ったマリオのペーパークラフト。 型紙の一部を紹介。これは帽子の部分。 続いて顔。 ヒゲらしきものがありますね。 服の部分はこんな感じ。 すべての型紙を組み合わせると、このようなかっこいいマリオが完成するというわけ。 以下から型紙をダウンロードすることができます。 Free File Hosting Made Simple - MediaFire
任天堂、3Dに対応したニンテンドーDSの後継機「ニンテンドー3DS(スリーディーエス)」を2011年3月期に発売へ
by FHKE 任天堂がニンテンドーDSの後継機で、3Dに対応した「ニンテンドー3DS(スリーディーエス)」を2011年3月期に発売する予定であることが明らかになりました。 ニンテンドーDSは2009年12月末までの販売台数が1億2500万台という大ヒット携帯ゲーム機ですが、この後継機ではなんと裸眼で3D映像が楽しめるようになるそうです。 詳細は以下から。 (PDFファイル)新携帯ゲーム機の発売に関して 任天堂によると、「ニンテンドー3DS」は2011年3月期発売。裸眼により3D映像が楽しめる、ニンテンドーDSの後継機になるそうです。もちろん、DSiを含むニンテンドーDSシリーズ用ソフトも楽しめるよう互換機能を有しているため、今持っているDSの資産も引き続き使用できそうです。 その他の詳細については6月15日からロサンゼルスで開催されるE3で発表されるそうです。 2009年10月の段階では
GIGAZINE10周年記念講演「なぜあなたのサイトに人が来ないのか？」の追加受付を開始しました→終了
募集開始から1日も経過せずに満員となってしまったインターネットマーケティング研究室×GIGAZINEの特別セミナー「なぜあなたのサイトに人が来ないのか？集客力を飛躍的に向上させるGIGAZINE10年間のノウハウをついに初公開！」について、本日から追加受付を開始することにしました。前回は定員100名でしたが、さらに200名追加して定員を300名にしました。 というのも、まずGIGAZINEで告知記事を掲載して、それから週明けあたりに会場となる「デジタルハリウッド大学大学院 大阪キャンパス」からリリースを出す予定だったのですが、あっという間に定員一杯にまで申込が殺到したため、なんと肝心のデジハリの学生がほとんど申し込めていないという非常事態になったり、研究室主催の客員教授である塩見政春氏が「もっといっぱい言いまくりたかったのに、その前に瞬殺とかヤダヤダ！」と転げ回ったり、こちらの想定を大きく
Googleと中国政府との検索結果検閲問題、一体何がどうなって香港へ移動することになったのかまとめ
Googleが中国での検閲を回避するために香港へ移動、Google.cnはGoogle.com.hkにリダイレクトされることになりました。検索結果は無検閲となり、中国政府に都合の悪い情報もバシバシ検索結果に表示されるという状態です。日本のGoogleからもお知らせが出ています。 これはGoogleと中国政府との交渉が決裂した結果であり、Googleは自社のサービスのどれに現在中国からアクセス可能であるかを示すページを作成して公開し始め、あからさまに中国政府へのけん制を強めています。 というわけで、一体どういう経緯でこのようなことになったのかというのを順にまとめてみました。2010年1月12日に行われた中国政府からGoogleへの「Aurora」攻撃が発端となっています。詳細は以下から。 ■Google、中国政府から攻撃を受ける Googleは2010年1月12日に自身のブログで、Googl
任天堂 岩田社長「iPadは大きくなったiPod Touchだ」、3Dゲームの普及にも疑問 | Game*Spark - 国内・海外ゲーム情報サイト
先日発表があったばかりのApple社のタブレット「iPad」に対し、任天堂の岩田社長が言及しています。岩田氏は「iPadは、大きくなったiPod Touch」「私にとって驚きはない」と発言、「ラップトップより身近で携帯電話より多機能な、ひとつの新しいモバイル機器」として大々的に発表したAppleを牽制しています。 また、3Dビデオゲームにも触れ「私は、自宅でゲームをプレイするために専用メガネを付ける人たちがいるのかどうか、疑問に思っています。どうやって他の人を見るつもりでしょうか？」とし、普及にはそれほど期待を寄せていない旨の発言をしています。(ソース： Yahoo!News UK) 【関連記事】 《Kako》
2010年3月期 第3四半期決算説明会 質疑応答
昨日発表された（アップル社の）iPadにどんな感想を持ったか。今後のビジネスの方向性について、「枯れた技術の水平思考」という言葉で展開されてきたように思うが、今後積極的に新しいテクノロジーを取り込んでいく可能性は社内的にあるのか。 また、今後は軸足をゲームに置きながらも音楽、動画、電子ブック、SNSなどの広い意味でのエンターテインメント分野に進出して積極的にやっていく可能性はあるのか。SNSについて興味は。 取締役社長 岩田 聡： iPadの感想からですが、「大きいiPod touchが出た」と思いました。「私にとって意外なことはありませんでした」というのが感想です。 それから、「任天堂は今後どうするのか」、「新しい技術を取り入れる気はないのか」、「任天堂は枯れた技術しか使わないのではないか」ということについてですが、「枯れた技術の水平思考」という言葉が一人歩きし過ぎているのかもしれません
2010年3月期 第3四半期決算説明会 質疑応答
DSは『Facebook』で遊べるようになっているが、外のオープンのプラットフォームと、御社のハードの関わりについてどういうふうに思っているのか。DSの存在感というのはそれなりに大きいと思うが、自社製のプラットフォームを使うのか、外のプラットフォームを使うのがいいのか、というところについてお聞きしたい。 岩田： 「DSiカメラ」に『Facebook』と連携する機能が追加されたのは、DSiができたときに、NOA（Nintendo of America）の人たちから、「DSiカメラの魅力を世の中の人に伝えていくには、『Facebook』とつなぐべきだ」という提案があったことがきっかけです。 もうかなり前のことですが、「（アメリカにおいて）SNSといえば『MySpace』だ」という時代があり、『Facebook』の黎明期には、「『Facebook』というのは学生さんが使うサービスでしょ？」という
ビル・ゲイツ、原子炉に興味を持つ | スラド ハードウェア
ビル・ゲイツはワクチンなど途上国開発の慈善を続けているが、その一環としてしてか「死の灰」を燃やすことで核廃棄物を減らし燃料棒の交換なしに長期間運転できる小型原子炉に興味を持っているそうで、2009年11月６日に東芝の横浜事業所を訪れたそうだ。更なる提帯を模索していると平成22年3月23日の日経紙面で報じてられている。 東芝は常陽やアラスカ州への建設が検討されている4S炉などナトリウム冷却炉のノウハウがあり（東芝レビューの記事［PDF］）、一方でビル・ゲイツ氏はTerraPowerへの出資を通じてTWR炉の開発を促進し、原子力分野への進出を考えているという。 10歳の息子のハンフォードのプルトニウム原子生産施設の社会科見学にも一緒に出向いたというビル･ゲイツだが、世界一のお金持ちによる助力は高速炉開発に対して吉と出るか？ 前政権の掲げた核リサイクルへの回帰を止め、ユッカマウンテンの処分場を凍
YouTubeとViacom、法廷で泥仕合中 | スラド YRO
ITmediaに「YouTubeは違法コンテンツを見て見ぬふり」——Viacomが非難という記事が掲載されている。動画サイトが著作権侵害で訴えられることはさほど珍しいことではないが、今回論争になっているのは「Viacomが無断投稿に見せかけて自社のコンテンツを自ら投稿していた」という疑惑。 Google側はViacomが次のような「自作自演」を行ったと訴えている。 Viacomは18社もの広告代理店を雇って同社のコンテンツを投稿させた。無断投稿に見せかけるために、画質を粗くしていたという。偽の電子メールアドレスでYouTubeアカウントを開設し、足がつかないようにスタッフにKinko'sから動画を投稿させ、また一般ユーザーが投稿した自社コンテンツも削除依頼せずに残しておいたとGoogleは指摘している。このような「偽装」により、Viacomは自ら投稿したコンテンツを把握できておらず、「実際
Windows XP Mode、VT非対応CPUでも利用可能に | スラド
Windows 7用の「Virtual PC」が、VT非対応の CPUでも利用可能となった模様(Microsoft KB977206、マイコミジャーナル、/.記事)。これにより、Windows 7 Professional/Ultimate/Enterpriseの Windows XP Modeも VT非対応 CPUで利用できるようになる。 従来 Windows 7用の Virtual PCはハードウェアによる仮想化支援機能(VT)を搭載する環境でしか利用できなかった。VTに対応しない CPUやマザーボードを利用している場合、旧バージョンの Virtual PC 2007なら利用できたが、この場合 Windows XP Modeは使えなかった。 タレコミ子の職場の DELLマシンは VT搭載 CPUでマザーボードで VTを有効にしているにも関わらず、なぜか時々「VTが利用できない」といわれ
水素爆弾 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "水素爆弾" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2011年3月) 1952年11月1日、人類初の水爆実験であるアイビー作戦 水素爆弾（すいそばくだん、（英: hydrogen bomb）または熱核兵器（ねつかくへいき、（英: thermonuclear weapon）あるいは水爆（すいばく）とは、重水素および三重水素（トリチウム）の熱核反応を利用した核兵器をいう。 なお、ここでいう「水素」とは普通の水素（軽水素）のことではなく、水素の同位体である重水素と三重水素を示している。また、21世紀においても核融合反応のみを用いた純粋
Wii mk2 :: Wii Fit Plus (Wiiフィット プラス) | レビュー
GOOD! フィットネスという、これまでに無い斬新なジャンルのゲームですが、とても完成度が高く、気軽に体を動かしてみたい人にはもちろん、しっかりと体力作りやトレーニングに励みたい人、純粋にゲームとして楽しみたいという人でも十分楽しめます。 前作からの追加要素もかなり多いです。トレーニングが21種類、バランステストが5種類追加され、さらに幅広く遊べるようになりました。消費カロリー表示や、トレーニングメニューの作成ができる機能もなかなか便利です。消費カロリーは食べ物で換算する機能も付いているので、ちょっとした目標を立てたい時などにも役立ちます。 前作データの引き継ぎもあり、バランスwiiボードが既にあるなら2000円でソフトが購入できるので、前作体験者にもお勧めです。 BAD/REQUEST ヨガ、筋トレには広い空間が必要となるものが多いです。一通り全てのトレーニングを行うには、周囲1m程度の
ジャパンネット銀行の提携ATM手数料変更 : マネテク！
こんばんは、マイレージ・クレジットカード好きのジョージ滝川です。 今回は、ジャパンネット銀行のATM手数料改定について紹介したいと思います。 さらに得するマイレージ・クレジットカード情報をblogランキングでチェック ジャパンネット銀行は、管理人もサブバンクとしてフル活用しているネット専業銀行です。 ATMの入出金手数料も、少なくとも月に1回であれば無料で利用できるため、たまに資金を出し入れする分には特に不満なく使用しています。 さて、そんなジャパンネット銀行ですが、2009年2月1日から、提携ATMの引出手数料が改定されることになりました。 具体的には、以下の2点が変更となります。 1.セブン銀行ATM これまでキャンペーン期間中ということで一律無料だったセブン銀行ATMでの引出が、月間無料回数を超えた場合、かつ出金金額が3万円未満の場合は157円の手数料がかかるようになります。 2.三
ルピン三世 カりオストロの城～想い出～第２話
皆様！お久ぶりです。ルピン三世です！カリオストロの二話です。そろそろラジオもやりますが、まずはこれを見てくださいねｗｗでは楽しんでください。マイリストはこちら～mylist/7473841 一話はこちら～sm9021165
ルピン三世 カりオストロの城～想い出～第１話
お待たせぇ～！！！！カリオストロの城の続編第一話を公開します。今年は、「ルパン三世カリオストロの城」劇場公開からちょうど３０年。意味ある年にこの作品を皆さんにお届けできることを、カリオストロファンとしてもルパン三世の声をお借りしている立場からも、たいへん光栄に感じています。ちなみにこの続編は独立した自主製作動画ですが、以前公開した「カリオストロの城後日談」を見てからご覧いただくことを推奨いたします。マイリスト～mylist/7473841 後日談～sm7887489【追記】カリ城二話上げました。こちら～sm10123321リターンザクローンもヨロシク！～sm8275860
国内総生産 - Wikipedia
国別GDP（2016年）[1] 上段がMERベース、下段がPPPベース。単位は10億ドル。名目ベースでは先進国の値が高く、PPPベースではインドや中華人民共和国などの新興国やアフリカなどの発展途上国の値が高く表示されやすいことが読み取れる。 国内総生産（こくないそうせいさん、英: Gross Domestic Product、GDP、独 :Bruttoinlandsprodukt、BIP）は、一定期間内に国内で産み出された物やサービスの付加価値の合計のこと[2][3]である。その国内領土に居住する経済主体を基準にした数値で「居住者たる生産者による国内生産活動の結果、生み出された付加価値の総額」をいう[4]。 以前は、景気を測る指標として国民総生産 (こくみんそうせいさん、英: Gross National Product、GNP)が用いられていたが、1993SNAの導入に伴い、“Gross
【インフォシーク】Infoseek ： 楽天が運営するポータルサイト
日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。
無料アクセス解析ツール with 位置情報ブログパーツ 「なかのひと」
なかのひと運営委員会が開発した無料アクセス解析サービス「なかのひと」は、2013年にサービス終了しました。 User Local,Inc.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ヒビルテ(2007-03-13)
『来年出る大作が相当ヤバイことになってるらしい』へのコメント
Amazon.co.jp: ゲーデル 不完全性定理 (岩波文庫 青 944-1): ゲーデル (著), 林晋 (翻訳), 八杉満利子 (翻訳), 林晋 (解説), 八杉満利子 (解説): 本
Amazon CAPTCHA
任天堂、3D対応のDS後継機「ニンテンドー3DS」を発表 - スラッシュドット・ジャパン
グーグル、中国本土からの撤退を決定 | スラド IT
サービス提供終了のお知らせ
電話加入権買取−GMRブロードバンドShop
YouTube - Jamiroquai - Virtual Insanity (高画質版 英語字幕有り)
YouTube - TRAIN-TRAIN
午後7時台が激変！ テレビ誌が書けない春のテレビ大改編裏事情（後編） - Infoseek ニュース