goo blog　サービス終了のお知らせ　

Jandy's Blog（Ver.1.0）

（Ver.2.0）は、http://jandynet.com へ移行しましたが、(Ver.3）にて再開します。

大阪・新梅田シティ「梅田スカイビル」#2

2014年09月07日 | Spa&Travel（温泉・旅行・観光）
9/6（土）大阪・新梅田シティ「梅田スカイビル」に行った。昨年（2013年）11/2（土）以来2回目。B1に行った。近くの駐車場にメルセデス・ベンツを駐車した（1日最大\800）。

★梅田スカイビル：http://www.skybldg.co.jp/skybldg/

★Jandy's Blog「空中庭園展望台」大阪・新梅田シティ「梅田スカイビル」：http://blog.goo.ne.jp/jandy7322/e/e7fecba87208bb7f0f09a94f45ab5cd6

★「空中庭園展望台」：http://www.kuchu-teien.com/











2013.11.2（土）撮影

















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

　←カテゴリー別ブログ

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

2014年08月23日 | Spa&Travel（温泉・旅行・観光）
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

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

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

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



































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

　←カテゴリー別ブログ

「リニア鉄道館」名古屋

2014年02月20日 | Spa&Travel（温泉・旅行・観光）
2/20（木）名古屋にある「リニア博物館」に行った（￥500）。ピンバッチ（￥350、￥450×4）を購入した。

★「リニア鉄道館」：http://museum.jr-central.co.jp/
JR名古屋駅より、あおなみ線「金城ふ頭」駅徒歩2分



































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

　←カテゴリー別ブログ

雪の「金閣寺」京都

2014年02月14日 | Spa&Travel（温泉・旅行・観光）
2/14（金）京都にある「金閣寺」に行った。今日は朝から雪が降っていた。拝観料は￥400。「招き猫（￥350）」を購入した。

★金閣寺：http://www.shokoku-ji.jp/k_about.html
鹿苑寺　事務局：〒603-8361京都市北区金閣寺町1、TEL:075-461-0013











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

　←カテゴリー別ブログ

「空中庭園展望台」大阪・新梅田シティ「梅田スカイビル」

2013年11月05日 | Spa&Travel（温泉・旅行・観光）
11/2（土）大阪・新梅田シティ「梅田スカイビル」にある「空中庭園展望台（￥700×2）」に行った。「カフェSKY40」で「アイス抹茶ラテ（￥400）」「アイスカフェモカ（￥400）」をオーダーした。

★「空中庭園展望台」：http://www.kuchu-teien.com/

















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

　←カテゴリー別ブログ

神戸市立「須磨離宮公園」神戸・須磨#2

2011年04月11日 | Spa&Travel（温泉・旅行・観光）
4/10（日）神戸・須磨にある、神戸市立「須磨離宮公園」に行った。入場料（￥400×0.9×3人）と駐車料金（￥500）を駐車場の入口で支払った。

公園内にあるレストラン「花離宮」に行って、「離宮オリジナルカレー（￥880×2）サラダ付」「特撰離宮うどん（￥880）ごはん・小鉢・天ぷら・きつね揚げ付」をオーダーした。

★須磨離宮公園：
http://www.kobe-park.or.jp/rikyu/index.html
〒654-0018　神戸市須磨区東須磨1-1、Tel／078-732-6688、Fax／078-734-6022













★Wikipedia「須磨離宮公園」：
http://ja.wikipedia.org/wiki/
%E9%A0%88%E7%A3%A8%E9%9B%A2%
E5%AE%AE%E5%85%AC%E5%9C%92

↓都道府県別、年代別、カテゴリー別に他のブログが閲覧できます。

日記@BlogRanking　←都道府県別・年代別ブログ

　←カテゴリー別ブログ

2011.04.11(月) 1487 PV 535 IP 1177 位 / 1565951ブログ

「東京スカイツリー」東京・押上#2

2010年12月05日 | Spa&Travel（温泉・旅行・観光）
12/4（土）東京・押上にある「東京スカイツリー」を見に行った。3/31以来２回目。現在511m。デジタル一眼レフカメラ「Nikon D80」ズームレンズ「Nikkor 18mm-200m」で写真撮影した。

３月と比べれば、スカイツリーのお土産店が増えており、見物客も多かった。

★東京スカイツリー：http://www.tokyo-skytree.jp/

★Wikipedia「東京スカイツリー」：
http://ja.wikipedia.org/wiki/%E6%9D%B1%E4%BA%AC%E3%82%B9%
E3%82%AB%E3%82%A4%E3%83%84%E3%83%AA%E3%83%BC

★Jandy's Blog「東京スカイツリー」東京・押上：
http://blog.goo.ne.jp/jandy7322/e/8e4cd6710
e51345c14a89d31d8fe5629





















日記@BlogRanking　←都道府県別・年代別ブログ

　←カテゴリー別ブログ

神戸市立「須磨離宮公園」神戸・須磨

2010年11月27日 | Spa&Travel（温泉・旅行・観光）
11/27（土）神戸・須磨にある、神戸市立「須磨離宮公園」に行った。入場料（￥400×3人）と駐車料金（￥500）を駐車場の入口で支払った。

公園内にあるレストラン「花離宮」に行って、「離宮オリジナルカレー（￥880×2）」「たまとろうどん（￥980）」をオーダーした。

17:00～20:00迄ライトアップされる。

★須磨離宮公園：
http://www.kobe-park.or.jp/rikyu/index.html
〒654-0018　神戸市須磨区東須磨1-1、Tel／078-732-6688、Fax／078-734-6022

★Wikipedia「須磨離宮公園」：
http://ja.wikipedia.org/wiki/
%E9%A0%88%E7%A3%A8%E9%9B%A2%
E5%AE%AE%E5%85%AC%E5%9C%92













































↓都道府県別、年代別、カテゴリー別に他のブログが閲覧できます。

日記@BlogRanking　←都道府県別・年代別ブログ

　←カテゴリー別ブログ

2010.11.21 ～ 2010.11.27 8133 PV 3046 IP 1466 位 / 1500396ブログ
2010.11.27(土) 1233 PV 465 IP 1188 位 / 1500396ブログ

「弓削牧場」神戸

2010年11月15日 | Spa&Travel（温泉・旅行・観光）
11/13（土）神戸にある「弓削牧場」に行った。牧場内のレストランで「ケーキセット・フロマージュ・スコーン（￥788×2）」「ケーキセット・フロマージュ・シフォンケーキ（￥683×1）」をオーダーした（計￥2,259）。

★弓削牧場：http://yugefarm.com/
有限会社レチェール・ユゲ（弓削牧場）：651-1243　兵庫県神戸市北区山田町下谷上西丸山5-2、tel : 078-581-3220、fax : 078-581-2620、営業時間　ＡＭ11：00～ＰＭ6：00、※冬期営業（1・2月）は　ＡＭ11：00～ＰＭ5：00（ＰＭ4:00～デザートタイム）、定休日：毎週水曜日(1・2月は火・水曜日)











↓都道府県別、年代別、カテゴリー別に他のブログが閲覧できます。

日記@BlogRanking　←都道府県別・年代別ブログ

　←カテゴリー別ブログを購入した。

11/14（日）散髪した。

2010.11.15(月) 1466 PV 449 IP 1586 位 / 1494698ブログ

「神戸市立森林植物園」神戸

2010年11月15日 | Spa&Travel（温泉・旅行・観光）
11/13（土）神戸にある「神戸市立森林植物園」に紅葉を見に行った。園内のレストラン「ル・ピック（Le pic）」にて「ひよこ豆のスパイシーカレー（￥700×3）」と「ミルクソフトクリーム（￥300×1）」をオーダーした。

★神戸市立森林植物園：http://www.kobe-park.or.jp/shinrin/
〒651-1102　神戸市北区山田町上谷上字長尾1-2、Tel.078-591-0253、Fax.078-594-2324

















↓都道府県別、年代別、カテゴリー別に他のブログが閲覧できます。

日記@BlogRanking　←都道府県別・年代別ブログ

　←カテゴリー別ブログを購入した。

「神戸ポートタワー」「メリケンパーク」神戸

2010年08月22日 | Spa&Travel（温泉・旅行・観光）
8/22（日）神戸ポートタワーに行った。１Fでチケットを購入し（大人￥600－￥100：Websiteの割引券）＝￥500×3）にて入場、２Fからエレベーターに乗り展望４Fで降りる。展望台は１F～５Fまである。帰りは展望３Fから乗り、３Fで降りる。駐車場は30分￥200。その後メリケンパークに行った。

★神戸ポートタワー：http://www.kobe-meriken.or.jp/port-tower/
■交通機関
阪神高速道路　京橋ＩＣから車５分、柳原ＩＣから車１０分
山陽新幹線　新神戸駅から車１５分ＪＲ・阪神元町駅から徒歩１５分、阪急・山陽　高速花隈駅から徒歩１５分
地下鉄県庁前駅から徒歩２０分、みなと元町駅から徒歩５分
その他　南京町から徒歩１０分、神戸ハーバーランド・モザイクから徒歩５分

★Wikipedia「メリケンパーク」：
http://ja.wikipedia.org/wiki/%E3%83%A1%E3%83%AA
%E3%82%B1%E3%83%B3%E3%83%91%E3%83%BC%E3%82%AF





↓都道府県別、年代別、カテゴリー別に他のブログが閲覧できます。

日記@BlogRanking　←都道府県別・年代別ブログ

　←カテゴリー別ブログを購入した。

「東京スカイツリー」東京・押上

2010年04月02日 | Spa&Travel（温泉・旅行・観光）
3/31（水）東京・押上にある「東京スカイツリー」を見に行った。現在338m。デジタル一眼レフカメラ「Nikon D80」ズームレンズ「Nikkor 18mm-200m」で写真撮影した。

★東京スカイツリー：http://www.tokyo-skytree.jp/

★Wikipedia「東京スカイツリー」：
http://ja.wikipedia.org/wiki/%E6%9D%B1%E4%BA%AC%E3%82%B9
%E3%82%AB%E3%82%A4%E3%83%84%E3%83%AA%E3%83%BC

★Jandy's Blog「東京スカイツリー」東京・押上#2：
http://blog.goo.ne.jp/jandy7322/e/98c959f984
f7dc33fd0597f86246d555









日記@BlogRanking　←都道府県別・年代別ブログ

　←カテゴリー別ブログ