リアリティに関するwakabaroomのブックマーク (1,508)

  • 1日3分!視力を回復させる「根拠のある方法」

    コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能(広告ブロック機能を持つ拡張機能等)を無効にしてページを再読み込みしてください。 ✕

    1日3分!視力を回復させる「根拠のある方法」
  • ゲーデルの不完全性定理 - Wikipedia

    ゲーデルの不完全性定理(ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz)または不完全性定理とは、数学基礎論[1]とコンピュータ科学(計算機科学)の重要な基定理[2]。(数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学と密接に関連している[3]。) 不完全性定理は厳密には「数学」そのものについての定理ではなく、「形式化された数学」についての定理である[4][注 1]。クルト・ゲーデルが1931年の論文で証明した定理であり[5]、有限の立場(英語版)(形式主義)では自然数論の無矛盾性の証明が成立しないことを示す[3][5]。なお、少し拡張された有限の立場では、自然数論の無矛盾性の証明が成立する(ゲンツェンの無矛盾性証明(英語版))[3][注 2]。

  • 不完全性定理のすごく簡単な説明

    \(\newcommand{\ng}{\mathrm{neg}} \newcommand{\N}{\mathbb{N}} \newcommand{\Con}{\mathrm{Con}}\) 【まえがき】 ここでは、 ゲーデルの不完全性定理の証明を専門書で読んでみたけど分かった気がしない人向けに、 すごく簡単な説明を試みます。 そういう私も、実は不完全性定理をよく理解しているわけではありません。 しかし、とある入門書を参考に、以下で紹介する説明を考えて一応納得できました。 そこで、未来の自分が忘れてしまわないように書き留めておくことにしました。 とは言うものの、 専門書で紹介されているような一般的応用の効く形で説明するのは難しいので、 一階述語論理による健全な自然数論の不完全性定理に的を絞ります。 あまり汎用的すぎると抽象度が高くなって難解になります。 そういう場合、具体的に対象を絞った方が

  • 「シュレーディンガーの猫」の運命など量子力学についてよくある4つの誤解

    量子力学について専門的に勉強したことがなくても、「シュレーディンガーの」や「量子もつれ(エンタングルメント)」といった、量子力学の分野特有の不思議な現象について興味を持ったことがある人は多いはず。インターネットなどでよく見られる量子力学に関しての誤解について、イギリスのヘリオット・ワット大学で量子力学を研究しているメフル・マリク教授とアレッサンドロ・フェドリッツィ教授が4つ紹介しました。 Four common misconceptions about quantum physics https://theconversation.com/four-common-misconceptions-about-quantum-physics-192062 ◆誤解1:は生きていても死んでいてもいい オーストリアの物理学者であるエルヴィン・シュレーディンガーは1935年に、「毒ガスが入った瓶を

    「シュレーディンガーの猫」の運命など量子力学についてよくある4つの誤解
  • Z世代に広がる「蛙化現象」をポジティブに捉え直す

    Z世代をはじめとする若者の間で2023年に一気に流行した言葉の1つに、「蛙化現象」が挙げられます。蛙化現象とは、好きだった相手に好意を持たれた途端、嫌悪感を抱いてしまう現象のことです。一方、Z世代の間では「好きな人のささいな行動で気持ちが冷めてしまうこと」の意味合いで使われることも多く、これまでの使われ方と若干ニュアンスが異なるように感じます。 これは、働き方や生き方から自分の将来像まで、あらゆる物事の理想がZ世代の中で具体的に想像できるようになったがために、理想と現実とのギャップが生じた際に、落胆したり嫌悪感が増したりしてしまうことが起きやすくなっていることが考えられます。 さらに深掘りすると、Z世代は「失敗しないために深く吟味する」「自分の理想を基準として物事を判断し、理想に満たないとわかったら時間を無駄にしないように早めに切り替える」側面があるのではないかという1つの仮説にたどり着き

    Z世代に広がる「蛙化現象」をポジティブに捉え直す
  • 恐山の面白かったところベスト3

    1988年神奈川県生まれ。普通の会社員です。運だけで何とか生きてきました。好きな言葉は「半熟卵はトッピングしますか?」です。もちろんトッピングします。(動画インタビュー) 前の記事:「五反田の成城石井が涼しい」というのは当か? 恐山に行った 8月の中旬頃、夏休みを利用して恐山に行った。前々から行きたいと思っていたが、ある日「いつ行けなくなるかわからないから行くしかない!」と思い立った。 ホテルは取れたが、新幹線の席が取れない。窓口に行ったら「立ち席ならあるんですけど」と言われ、聞いたら「指定された車両のデッキに立つ席」で少しだけ安いらしい。3時間立ちっぱなしかと思ったが、良い経験なので立ち席を予約した。 乗ったところ、立ち席は自分だけかと思っていたが、海外の人が多くいて、外国の電車に乗っているような気分になった。 ちなみに帰りも立ち席だった。夏休み、恐るべし。 そんな中でなんとか着いた。

    恐山の面白かったところベスト3
  • 耳鳴りの原因を詳しく解説。耳鼻科医もよく説明できないお話です。

    今日は耳鳴りの原因とその対処方法についてお話します 耳鳴りが時々キーンとなっている。色々検索してみたけど原因が分からない。耳鳴りに処方された薬を飲んだけど治らない。このような方にぜひ見て欲しい動画です。 実は耳鳴りは耳ではなく脳が原因です。難聴が引き金となって脳の神経ネットワークが変化した結果脳から耳鳴りが発生していたんです。 耳なりで夜眠れなかったり、イライラして仕事が手につかなくなる方は、 是非最後まで動画をご覧ください 『動画内で紹介のリンク』 モスキート音耳年齢チェック https://www.signia.net/ja-jp/local/ja-jp/mosquito-noise/ 耳鳴り治療音 https://youtu.be/47PsaKVR-fk ブログリンク https://tomita-ent.com/practice/tinnitus/ (参考文献) アメリカ耳鼻

    耳鳴りの原因を詳しく解説。耳鼻科医もよく説明できないお話です。
  • 畜舎における消防用設備等の特例基準のあり方に関する検討部会 | 検討会等 | 総務省消防庁

    畜舎における消防用設備等の特例基準のあり方に関する検討部会 第1回 令和3年5月20日(木) 議事次第 <配布資料> 資料1-1:消防用設備等に係る特例の適応状況 資料1-2-1:畜舎の実態調査①(委員限り) 資料1-2-2:畜舎の実態調査② 資料1-3:畜舎における消防用設備等の特例基準に関する検討課題 <参考資料> 参考資料1-1:予防行政のあり方に関する検討会開催要綱 参考資料1-2:検討部会委員名簿 参考資料1-3:規制改革実施計画(令和2年7月17日 閣議決定)(抜粋) 参考資料1-4:畜舎等の建築等及び利用の特例に関する法律案 参考資料1-5:特例が適用された事例(委員限り) 参考資料1-6:畜舎の消防用設備等に係る過去の消防庁通知 参考資料1-7:鶏舎・豚舎の実態(委員限り) 参考資料1-8:建築基準法、建築基準法施行令(一部抜粋) 参考資料1-9:平成6年7月建設省告示第1

    畜舎における消防用設備等の特例基準のあり方に関する検討部会 | 検討会等 | 総務省消防庁
    wakabaroom
    wakabaroom 2023/08/01
    “参考資料1-12:畜舎の火災統計”
  • コロナ禍を経ておもうこと

    こんにちは Shojin-Projectの敞英です。 5月も半分がすぎ、新緑が美しい季節になってきました。 私はG.W.中、福岡県北九州市にお邪魔して、友人結婚披露宴に行ってきました! 【写真:福岡県北九州市小倉駅周辺の眺め】 実は今回の披露宴、もともとは3年前に予定されていたのですが、新型コロナウィルスの影響で延期を余儀なくされました。 そんな3年越しの友人披露宴。会えなかった友人たちとの再会。色々な感情が込み上げてきました。 これまでコロナのせいであらゆることが制限され、思い通りにいかないことがたくさんありましたがコロナがもたらすものは決して悲しい事だけではなかったのです。 今回の3年越しの披露宴のように、 それを乗り越えたところには大きな喜び、感動があるということに気づきました。 その一方で、自分のことになると、なかなかそう感じられることは少ないものです…。 つい先日も、かつてS

    コロナ禍を経ておもうこと
    wakabaroom
    wakabaroom 2023/05/19
    "自分が思っている忙しさや、それに対する不満、愚痴は「コロナ」が作り出しているものではなく、結局…「全部自分の心が作り上げていたものだった」ということでした。"
  • 脳信号を解読し、マウスが見ているものを予測する(Predict what a mouse sees by decoding brain signals)

    ◆EPFLの研究者は、脳のダイナミクスを驚くほど正確に捉えることができる機械学習アルゴリズム「CEBRA」を開発し、高性能なブレイン・マシン・インターフェイス(BMI)の実現につなげることができました。 ◆このアルゴリズムは、脳信号と行動ラベル(測定された動き、「報酬」などの抽象的なラベル、画像の色や質感などの感覚的特徴など)を対応させることによって、神経コードの隠れた構造を学習する。CEBRAは、視覚野の1%未満のニューロンで良好な性能を発揮し、マウスが映画を見ているときに見ているものを復元したり、霊長類の腕の動きを予測したり、ラットが闘技場を自由に走り回っているときの位置を復元することができます。 <関連情報> https://actu.epfl.ch/news/predict-what-a-mouse-sees-by-decoding-brain-signal/ https://ww

    脳信号を解読し、マウスが見ているものを予測する(Predict what a mouse sees by decoding brain signals)
    wakabaroom
    wakabaroom 2023/05/07
    “CEBRAは、視覚野の1%未満のニューロンで良好な性能を発揮し”
  • こちら側のどこからでも切れます~みんなの「信じてないフレーズ」発表

    「CMの後もまだまだ続きます」と言われても、そんなに続かないのは知っているんだ。信じないぞ。 そんなフレーズを募集したら、めちゃくちゃ集まりました。猜疑心の詰め合わせをお届けいたします。

    こちら側のどこからでも切れます~みんなの「信じてないフレーズ」発表
  • 竜巻が“ヘビメタ”コンサート会場を直撃 29人死傷 米イリノイ州

    アメリカ中西部イリノイ州で竜巻がコンサート会場を直撃し、屋根が崩落しました。下敷きになった観客ら29人が死傷しています。 CNNなどによりますと、イリノイ州シカゴ近郊の町で31日、ヘビーメタルバンドのコンサート中の劇場が竜巻に巻き込まれました。 発生直後に撮影された動画には、劇場の屋根が崩れ落ちている様子が映っていて、コンサートを見に来ていた観客らを直撃したとみられています。 現地の当局は崩落に巻き込まれて1人が死亡し、28人が負傷、うち5人は重傷だと発表しています。 また、隣のアイオワ州では大きな竜巻が2つ同時に並んで発生している様子が確認されたほか、南部アーカンソー州の州都リトルロックでは、竜巻が市街地を通過し、数百人がけがをしています。

    竜巻が“ヘビメタ”コンサート会場を直撃 29人死傷 米イリノイ州
    wakabaroom
    wakabaroom 2023/04/02
    虚構としての音楽と自然のリアリティ
  • 仏教的な人 - 恐山あれこれ日記

    先月、ある出版社の企画で、養老孟司先生と対談しました。大変勉強になり、有り難い時間でした。 実は、養老先生とのご縁は、今回が初めてではありません。 最初は、先生の著作が文庫化された際に、末尾の解説を依頼されて執筆した時です。 原稿を読んだ私は、高名な科学者が、自分の研究に使う「方法」に対して、これほどまでに意識的であるのに驚き、同じ科学者がほとんど当たり前に使っている方法の意味を、かくも自覚的かつ反省的に思索しているとなると、業界(「学会」)では「浮く」だろうし、出世しないだろうなあ、と思ったものです。 と、同時に、間もなく日では類まれな、傑出した思想家になるのではないかと思いました(当時すでになっていたのかもしれません)。この予想は、かなりの線で当たっていたと言えるのではないでしょうか。失礼ながら、このことを先生に申し上げると、頬をゆるめて笑っておられました。 二回目は、私の著書がとあ

    仏教的な人 - 恐山あれこれ日記
  • 「世界の火薬庫」インド・パキスタン国境で行われていた「意外なイベント」

    1988年兵庫県生まれ。ライター兼会社員。有給休暇取得率100%。そのすべてを旅行に突っ込み、訪れた国は70ヵ国、日は全都道府県踏破。noteオモコロなどのwebメディアでエッセイを執筆し、旅行記を中心に絶大な人気を博す。イランへの旅行記で「世界ウェブ記事大賞」を受賞。著書に『0メートルの旅』(ダイヤモンド社)『10年間飲みかけの午後の紅茶に別れを告げたい』(河出書房新社)がある。 0メートルの旅 書の旅の舞台は、16の国と地域。日から1600万メートル、地の果て南極から始まり、だんだんその距離は近づいて、最後は「自分の部屋の中」で完結します。 「遠くに行くこと」だけが旅ではない。日常の中に非日常を見出し、予定不調和を愛する心があれば、いつでも、どこでも、旅はできる。 Web記事累計600万PVの会社員ライター、鮮烈のデビュー作。 バックナンバー一覧 2020年にしか出せなかった旅

    「世界の火薬庫」インド・パキスタン国境で行われていた「意外なイベント」
    wakabaroom
    wakabaroom 2023/03/12
    ポトラッチの進化した儀式のような。モノじゃなくてエンタメを贈与し合うみたいなことだろか。
  • こまった性癖 - 恐山あれこれ日記

    この世に誰も死んだ人はいない。自分も死んだことはない。それでも我々は死ぬと確信していて、しかもそれがどのような出来事なのか、一切知らない。ただ、「死」という言葉はある。全く無内容な観念として。 誰でも使う「私」と言う言葉は、特定の存在の形式を意味していて、それ自体は観念である。ただ、出来事としての「私」は、他の何事とも違う様態をしている。 この出来事としての「私」は、あらゆるものが「ある」「ない」ことを成り立たせているのであって、その「ある」「ない」で「私」を語ることはできない。 「○○がある」「○○がない」を成り立たせていること、それ自体は「ある」のでも「ない」のでもない。 「死」も「ある」「ない」で語る範疇に無い。絶対にわからないものの「ある」「なし」が、わかるわけがない。 にもかかわらず、我々は「死」も「私」も止めどなく語る。そして、何事かを理解していると、誤解している。とりあえず、

    こまった性癖 - 恐山あれこれ日記
    wakabaroom
    wakabaroom 2022/12/09
    “出来事としての「私」”
  • グーグルマップの城壁—データからデータを作り出すAI戦略

    グーグルマップが、ゼンリンから自社独自のデータに切り替えたことによるクオリティの低下が話題になっていますが、グーグルマップが何年も前から、衛星写真やストリートビューなどのデータから、機械学習の手法を駆使して地図データをすごい勢いで充実させていることはあまり知られていません。 GoogleApple の地図サービスなどの事情に詳しい Justin O'Beirne 氏による「グーグルマップの城壁」と題されたこの記事では、Google がいかに画像認識と機械学習技術を駆使し、「データからデータを作り出す」ことに成功し、自社サービスに他社が追いつけないような「城壁」を築くのに成功したか、ということが書かれています。 個人的な話ですが、最近、機械学習エンジニアとして独立してから、主にスタートアップ等を対象に、人工知能機械学習系のプロジェクト戦略についてコンサルティングをしています。特に、

    グーグルマップの城壁—データからデータを作り出すAI戦略
    wakabaroom
    wakabaroom 2022/09/14
    “例えば Android 上のユーザーの位置情報なども使って、道路の情報を改善していると思われる箇所があるそうです。”
  • Google マップ、混雑する時間帯や現在の混雑状況の舞台裏

    メディア関係者向けお問い合わせ先 メールでのお問い合わせ: pr-jp@google.com メディア関係者以外からのお問い合わせにはお答えいたしかねます。 その他すべてのお問い合わせにつきましては、ヘルプセンターをご覧ください。

    Google マップ、混雑する時間帯や現在の混雑状況の舞台裏
  • Googleマップのビジネスプロフィールの営業時間はAIを使って更新される

    [レベル: 上級] Google マップに掲載されるビジネスの営業時間を正確に保つために AIGoogle は利用しています。 営業時間の情報が古いことを AI で判断 過去数年にわたって、営業時間の頻繁な変更を迫られるビジネスが少なくありません。 実際の営業時間と Google マップのビジネスプロフィールに掲載される営業時間が一致していないことも多くあります。 Google マイビジネスに登録しているビジネス オーナーが自分で更新しない場合でも、最新の営業時間に保つために AI機械学習モデルを Google は用いています。 この機械学習モデルが、営業時間が古いことを突き止め新しい営業時間に更新します。 まず、次のような情報をもとに営業時間が最新の状態を反映していないことを判断します。 最後に営業時間を更新したのはいつか――例: 1 年以上更新していない ほかのお店の営業時間

    Googleマップのビジネスプロフィールの営業時間はAIを使って更新される
  • KDDI Location Analyzerを用いたGPS位置情報分析例(第4回)~スーパーマーケットの集客戦略を読み解く~ | 商圏分析・位置情報分析ツール KDDI Location Analyzer

    この図では、イオン3店舗のうち訪問者数が最も多かった店舗の色で各町丁目を色塗りしています。赤は品川シーサイド店への来訪者が最も多かった地域、緑は御嶽山駅前店への来訪者が最も多かった地域、青は碑文谷店への来訪者が最も多かった地域です。 さらに、赤・緑・青の色の濃さで、来訪者の多い地域と少ない地域を示しています。 これを見ると、各店舗の集客戦略が見えてきます。「品川シーサイド店・碑文谷店」と「御嶽山駅前店」とで商圏範囲が異なるのです。前者が細長い商圏になっているのに比べ、後者は地元集客中心となっています。 品川シーサイド店・・・第一京浜沿いから広く集客碑文谷店    ・・・目黒通り沿いから広く集客御嶽山駅前店  ・・・中原街道に近いにもかかわらず地元集客中心それもそのはず、品川シーサイド店や碑文谷店には大駐車場がありますが、御嶽山駅前店は商店街内に立地していることもあり提携コインパーキングしか

    KDDI Location Analyzerを用いたGPS位置情報分析例(第4回)~スーパーマーケットの集客戦略を読み解く~ | 商圏分析・位置情報分析ツール KDDI Location Analyzer
  • Googleの収入源となるサービスが抱える問題点とは?

    By FirmBee GoogleGoogle検索やGmailなど、無料で使用できるサービスを多く提供していますが、収入は主に、検索結果などに表示されるオンライン広告から得ています。Googleが提供するサービスを介して広告を表示することでGoogleは収入を得られるわけですが、それを支えるサービスの問題点についてを、プログラマーであるエイブ・ウィンター氏が語っています。 The coming IP war over facts derived from books https://abe-winter.github.io/2020/02/11/books-facts-ip.html Googleの元CEOであるエリック・シュミット氏は、かつて「われわれがやっていることはすべて機械学習だ」と述べましたが、ウィンター氏は過去5年に渡ってGoogle検索から機械学習の進歩を感じられないとし、

    Googleの収入源となるサービスが抱える問題点とは?
    wakabaroom
    wakabaroom 2022/09/08
    “ウィンター氏は過去5年に渡ってGoogle検索から機械学習の進歩を感じられないとし”