某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
宇宙誕生前が虚無だったりマルチバース理論がその通りだったとして それらが誕生するそもそもの理由って何だよ? 別に虚無も無くったって誰も困らんだろ でも何でそれがあったんだよ 理由とかない~そこにあるだけ~ そういう話してるんじゃないよ 増田があるのは増田を作った人間がいるからという因果律の話をしてるんだよ 基底世界となる虚無世界があることが何の因果律であるのかという話だよ なにか原初的存在があって起点となっていると考えるしか低能な俺には納得できない 結局人間自身が4次元の膜を超えられない限りは 多次元要素はいつまでもブラックボックスのままなんだろ ゲームの中の住民がゲームのプログラム解析頑張ったところで画面の向こうの俺の存在なんて分かる訳がない
高エネルギー加速器研究機構(茨城県つくば市)などは4日、宇宙成立の謎を解明するのにつながる「CP対称性の破れ」に関するデータについて、「破れ」がある可能性が95%まで高まったと発表した。今後精度が高まればノーベル賞級の発見になると期待されている。 宇宙誕生時には、粒子が元になった物質と、反粒子が元の反物質が同数あったとされるが、物質は現在も残って星や銀河、生命を構成しているのに対し、反物質はほとんど存在しない。こうした違いが起こる原因は専門的には「CP対称性の破れ」と呼ばれ、宇宙成立の謎を解く鍵とされてきた。 チームは、加速器施設「J-PARC」(同県東海村)で作り出した素粒子のニュートリノを発射し、295キロ離れた東京大の「スーパーカミオカンデ」(岐阜県飛騨市)で検出する実験を実施。ニュートリノが空間を飛ぶ間に別の型に変わる「ニュートリノ振動」という性質に着目して粒子と反粒子との変化の違
スーパーコンピューターをはるかにしのぐ計算能力を発揮すると期待されている 「量子コンピューター」 。その実現は、今世紀後半になるとも言われていましたが、6年前、カナダのベンチャー企業D-Wave Systems社が、世界に先駆け実用化モデルを発売。一部の専門家の間からは、本物かどうか懐疑的な見方が出たものの、グーグルやNASA=アメリカ航空宇宙局など世界のトップ企業・研究機関が購入し、従来の高性能コンピューターの1億倍のスピードが確認されたことで、世界に衝撃を与えました。スーパーコンピューターをもってしても解けない複雑な問題を解決できると期待される量子コンピューターは、人工知能や画期的な新薬の開発などへの応用を通じて世界をどう変えていくのか。今月、東京で開かれた量子コンピューター国際会議を取材しました。(科学文化部・斎藤基樹記者) 量子コンピューターをめぐる世界最先端の研究成果が報告される
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く