「楽天toto」第717回スポーツ振興くじ「BIG」

8/23（土）「Club toto カード」にて「楽天toto」第717回スポーツ振興くじ「BIG」￥300×10口（￥3,000）をスマホで購入した（別97&スマホ49）。

現在キャリーオーバー発生中。17億0,880万1,887円(8/23土11:55)。１等最高６億円（通常３億円）

★BIG：http://www.toto-dream.com/big/index.html

★楽天toto：https://toto.rakuten.co.jp/

★BIG６億円攻略ガイド：http://www.totoone.jp/big/index.html

★宝くじネット：http://www.takarakujinet.co.jp/

★チャリロト：http://www.chariloto.com/pc/top

↓カテゴリー別に他のブログが閲覧できます。

　←カテゴリー別ブログ

2014.08.17 ～ 2014.08.23 15173 PV 1542 IP 2881 位 / 2051434ブログ
2014.08.23(土) 1752 PV 207 IP 2750 位 / 2051434ブログ

JR新幹線・京都駅発「のぞみ113号（N700系）」新神戸駅着

8/22（金）JR新幹線・京都駅発「のぞみ113号16号車13番A席（N700系）」に乗り、16:38新神戸駅に着いた。特急券はスマホのEX予約でチケットレスから切符に切り替え、座席リクエストで選択し購入した（￥1,730）。乗車券は自販機で購入した（￥1,080）。合計￥2,810。

★JR西日本「JRおでかけネット」：http://www.jr-odekake.net/

★JR東日本「えきねっと」：http://jreast.eki-net.com/

★JR東海：http://jr-central.co.jp/

★EXpress予約：http://expy.jp/top.php





↓カテゴリー別に他のブログが閲覧できます。

　←カテゴリー別ブログ

「御金神社」京都、「グレゴリー・チャイティン」「グリムの定理」

8/22（金）京都の二条城近隣にある「御金神社（みかね じんじゃ）」に行った。「福財布（￥1,000）」は奥にある呼出ベルを強く押して購入する。「おたから小判（￥500）」は無人の為、箱にコインを入れ購入するシステム。歴史建造物として見学。

神が存在しない事は、グレゴリー・チャイティンが科学的に証明している。数学者・コンピュータ科学者のチャイティンの不完全性定理は1987年に証明され、1989年にカーネギーメロン大学に招かれてレクチャーを行い、世界の数学者を震撼させた。さらに宗教哲学者のパトリック・グリムは、1991年にグリムの定理を発表し、神は存在しないと証明した。1991年は神が正式に死んだ年。

彼の証明は、数学で記述されているが、簡単に言葉でまとめれば、「神を完全な系と定義するとゲーテル＝チャイティンの定理により、神は存在しない」という非常にシンプルなもの。神という系があるとしても、神のいうことには必ず矛盾が入り込むし、系のなかに神にも証明できない命題が入ってしまう。だとすれば、それは神ではない。

グレゴリー・チャイティンは【アルゴリズム的情報理論】によってゲーデルの不完全性定理、またはチューリングの停止問題という公理系における『計算限界性』を数学的に定義した学者。いわゆるゲーデル文、という公理系の無矛盾性を証明できない言明をLISP（リスプ）というメタ数学的プログラミング言語によって、表現した。ゲーデル文はLISPでは【ランダム数・Ω（オメガ）】として表現された。「ランダム数」。Ωは彼の名を冠して敬意とともに「チャイティン数」とも呼ばれる。

★Wikipedia「御金神社」：http://ja.wikipedia.org/wiki/%E5%BE%A1%E9%87%91%E7%A5%9E%E7%A4%BE
住所：京都府京都市中京区西洞院通御池上ル押西洞院町６１８、TEL：075-222-2062、無休、境内自由、地下鉄「二条城前」駅から徒歩3分、駐車場：無

★Wikipedia「グレゴリー・チャイティン」
グレゴリー・チャイティン（Gregory "Greg" J. Chaitin, 1947年 - ）は、アルゼンチン出身、アメリカ在住の数学者、コンピュータ科学者。60年代に情報理論の分野に、ゲーデルの不完全性定理とよく似た現象を見いだす。つまり、その分野上での決定不可能な命題を発見し別種の不完全性定理を得た。チャイティンの定理によると、十分な算術を表現可能などのような理論においても、いかなる数であろうともcよりも大きなコルモゴロフ複雑性を有することがその理論上では証明できないような、上限 c が存在する。ゲーデルの定理が嘘つきのパラドックスと関係しているのに対し、チャイティンの結果はベリーのパラドックスに関係している。1995年に、メイン大学から博士号を授与される。現在は、IBMのトーマス・J・ワトソン研究所で働いている。幾つかの本を執筆しており、日本語に訳されている。

★不完全性定理による神の非存在の証明とその限界に関するイマニュエル・カントの先駆的業績について：http://blogs.yahoo.co.jp/w4105015/17789247.html

命題：「私は嘘つきである」　さて、この命題は真か偽か

この命題が真であるならば、「私は嘘つきである」という私の発言は正しいことになり、嘘をついていないことになり矛盾が生じる。また、この命題が偽であるならば、「私は嘘つきである」という発言は正しいことになり、この命題は真としなければならない。つまり、この命題は決定不可能な命題である。

このように不完全性定理は、システム内部に決定不可能な命題が発生するため、命題の真理性について判断できなくなることが必然的に起こることを証明した。真理性について判断をするためには、システムの外部からでないと不可能であり、システムの限界を示したのである。



































↓カテゴリー別に他のブログが閲覧できます。

　←カテゴリー別ブログ

「おいない（Oynai）市場小路四条烏丸店」京都・四条通烏丸

8/22（金）京都にある「おいない（Oynai）市場小路四条烏丸店」に行った。「アジフライ（￥880）五穀米（黒米、餅麦、餅栗、餅きび、ひえ）白飯選択可、自家製おぼろ豆腐、京都味噌赤だし、8種のおばんざいプレート」をオーダした。

★ぐるなび「おいない（Oynai）市場小路四条烏丸店」：http://r.gnavi.co.jp/k002709/
店名：おいない市場小路 四条烏丸店（オイナイ イチバコウジ シジョウカラスマテン）、住所：〒600-8008 京都府京都市下京区四条通烏丸東入ル長刀鉾町京都三井ビルB1味広場内、アクセス：地下鉄烏丸線 四条駅 徒歩1分、阪急京都線 烏丸駅 徒歩1分、駐車場：無（ビルの駐車場とは提携していない）、TEL：050-5522-6765、FAX：075-253-1462、営業時間：月～金ランチ11:30～16:00（L.O.15:00）、ディナー17:00～23:00（L.O.22:00）、土・日・祝：ランチ・ディナー11:30～23:00（L.O.22:00）、定休日：無、年末年始（2013年12月31日～2014年1月1日）、開店：2000年10月30日、クレジットカード：VISA、MasterCard、UC、DC、UFJ、ダイナースクラブ、アメリカン・エキスプレス、JCB、NICOS、アプラス、セゾン、MUFG、総席数：66席、宴会最大人数：54名（着席時）、70名（立食時）、貸切可能人数：40名 ～70名、個室：テーブル個室あり（10名～16名様用/パーティション仕切り）、テーブル個室あり（～12名様用/パーティション仕切り）、テーブル個室あり（～8名様用/パーティション仕切り）、テーブル個室あり（～6名様用/パーティション仕切り）、テーブル個室あり（25名～30名様用/パーティション仕切り）、禁煙・喫煙：喫煙可、ランチタイム（11時30分～16時）は完全禁煙、外国語対応：外国語メニューあり、英語メニューあり、ドレスコード：カジュアル、メニューのサービス：飲み放題メニューあり、お店のメニュー：夏コース6/1～Food & Drink、Lunch、ランチタイムのサービス：ランチタイムご飯・パンおかわり自由、14時以降もランチメニューあり、たっぷりランチ：土・日ランチ特別メニューあり、数量限定ランチあり、ランチタイムのタイムサービスあり、携帯・Wi-Fi：携帯の電波が入る（ NTT ドコモ 、ソフトバンク ）、設備・サービス：法事で利用可、マイク利用可、プロジェクター・スクリーンあり、ビンゴゲームあり、備考：※年末年始(12/31・1/1)は定休日、利用シーン：合コン、お店のウリ：氷点下ビール 駅近、貸切 歓送迎会 和牛 豆腐 湯葉 生麩



↓カテゴリー別に他のブログが閲覧できます。

　←カテゴリー別ブログ

JR新幹線・新神戸駅発「のぞみ124号（N700系）」京都駅着

8/22（金）JR新幹線・新神戸駅11:06発「のぞみ124号4号車10番D席（N700系）」に乗り、11:34京都駅に着いた。特急券はスマホのEX予約でチケットレスから切符に切り替え、座席リクエストで選択し購入した（￥1,730）。乗車券は自販機で購入した（￥1,080）。合計￥2,810。

★JR西日本「JRおでかけネット」：http://www.jr-odekake.net/

★JR東日本「えきねっと」：http://jreast.eki-net.com/

★JR東海：http://jr-central.co.jp/

★EXpress予約：http://expy.jp/top.php







↓カテゴリー別に他のブログが閲覧できます。

　←カテゴリー別ブログ