はてなキーワード: 無限大とは
既存の法律と不整合な上にそもそも絵柄に著作権を認めようとしても類似した絵柄を持つ作家は他にも多数いるわけで著作権の帰属を明確に出来ないために不可能
世に出した時点で誰でも学習させることが出来るので取締コストが無限大に近く実質的に不可能、そして有限のリソースを割いて取り締まろうと作家の怒りが個人的にスッキリするぐらいの効果しかなく明らかに費用対効果に見合わない。建前的に税金で運営されてる警察にイラストのAI学習を取り締まれとか世論が納得するわけがない。
大体無差別に学習したモデルで学習させたかの立証は困難だろうし、Loraみたいな特定の学習をしたモデルであっても海外では違法ではないしそれをDLして使えばいいだけなので意味がない。Lora全般の使用を禁止するのも根拠がないし、特定のLoraモデルが学習禁止対象のものを使用したものかどうかユーザーが判断するのも困難だし使用したところで何らかの明確な損失が発生するわけでもないのでこれを取り締まるのも明らかにやり過ぎである。
量子力学における観測者問題についてはよく知られるように、人間の主観性が量子実験の結果に重要な役割を果たしている。
ドイツの物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。
「私たちが観察するのは現実そのものではなく、私たちの質問の方法にさらされた現実です。」
例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。
したがって実験プロトコルの選択は、観察する行動パターンに影響する。これにより、一人称視点が物理学の不可欠な部分になる。
さて、数学にも一人称視点の余地はあるか。一見すると、答えは「いいえ」のように見える。
ヒルベルトが言ったように、数学は「信頼性と真実の模範」のようである。
それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。
ピタゴラスが生きていなかったら、他の誰かが同じ定理を発見しただろう。
さらに定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教、性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。
さて、ピタゴラスの定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学的声明である。しかし、ピタゴラスの定理は、非ユークリッド幾何学の枠組みでは真実ではない。
何が起こっているのか?
この質問に答えるには、数学的定理を証明することの意味をより詳しく調べる必要がある。
定理は真空中には存在しない。数学者が正式なシステムと呼ぶものに存在する。正式なシステムには、独自の正式な言語が付属している。
つまり、アルファベットと単語、文法は、意味があると考えられる文章を構築することを可能にする。
その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。
次に正式なシステムのすべての文のうち、有効または真実であると規定した文を区別する。これらは定理である。
それらは2つのステップで構築されれる。まず、最初の定理、証明なしで有効であると宣言する定理を選択する必要がある。これらは公理と呼ばれる。
公理からの演繹は、すべての数学がコンピュータで実行可能な印象を生む。しかし、その印象は間違っている。
公理が選択されると、正式なシステムで定理を構成するものに曖昧さがないのは事実である。
これは実際にコンピュータでプログラムできる客観的な部分である。
例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである。
しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。
ユークリッド幾何学の定理は、非ユークリッド幾何学の定理ではなく、その逆も同様。
ユークリッド幾何学と非ユークリッド幾何学の場合、答えは明確である。これは、単に説明したいものに対応している。
数学は広大であり、どのように公理を選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。
すべての数学的オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。
たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。
集合論は特定の正式なシステムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択の公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。
今日の数学者は、すべての数学を支える集合論の正式なシステムとしてZFCを受け入れている。
彼らは、無限の公理と呼ばれるZFCの公理の1つを含めることを拒否する。
言い換えれば、有限主義者の正式なシステムは、無限の公理のないZFCである。
無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である。
有限主義者は、自然数のリストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。
彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。
この公理を取り除くと、有限主義者が証明できる定理はかなり少なくなる。
正式なシステムを判断し、どちらを選択するかを決定することができるいくつかの客観的な基準...なんてものはない。
「時間と空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。
ゲーデルの第二不完全性定理は、十分に洗練された正式なシステム(ZFC等)は、自身の一貫性を証明することができないと述べている。
数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。
そしておそらく、決して知ることはない。
なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式なシステムにおけるZFCの一貫性を証明することしかできなかったから。
一貫性を証明する唯一の方法は、さらに大きな正式なシステムを作成することだけだ。
数学を行うためにどの公理を選択すべきかについて、実際には客観的な基準がないことを示唆している。
要するに、数学者が主観的に選んでいるというわけである。自由意志に任せて。
公理のための主観的な基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。
これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。
特定の公理のセットを選択する行為は、量子物理学の特定の実験を設定する行為に似ている。
それには固有の選択肢があり、観察者を絵に導く。
年末からVtuber見始めちゃったって言ってた増田ですけど、年明けても相変わらずVtuber見続けてますよ
ブコメでも、「コラボ動画見たらだんだん見る対象が広がっていくよ」みたいなことが言われてたけど、予言通り見事にちらほら見始めちゃいました
お勧めされていた順当な後継者っぽい子は、なんか授業みたいでちょっと聴きにくかったけど、昨日ちょっと、昔から仲良さそうな関西の女子高生とか、なんか国持ってる王女様っぽい子とか聴いたらけっこう楽しかったです
というかすごいね!
企業Vtuberの事務所って、こんなにしゃべりが達者で、キャラが立っている人が何十人どころか100人以上所属してるの?やばいじゃんまじで
多くの古参からしたら5年遅れの感想だろって感じなんでしょうけど、こんな上質な話芸のエンターテイメントが無料で、無限にyoutubeに存在していたということに衝撃を受けている状態です
正直、他人が遊んでいるところ見るくらいなら自分が遊ぶわ!ってゲーム配信とか絶対に見なかったんですけど、これ、ゲームを見るっていうかお気に入りのアイドルのリアクションを見ている自分がいることに気付いてまたなんか価値観が揺らいでますよ
あとお気に入りの声をイヤホンで、ずっと聴いてるとね、なんか恋人、とは言わないまでも、すごく親しい友人みたいな気分がしてくるんだよね
語りかける口調も多いじゃん、ラジオDJとかテレビのMCよりずっと個人に語り掛ける感じがあるじゃん
なんか毎日ずっと電話してる相手みたいな気持ちになってこない?
幸いまだコメントとか全然つけてないし、youtubeのアカウントとかもないからチャンネル登録すらしてないけど、やりはじめたら厄介ファンになりそうな自分がすごく怖いね
もう片方の方にもいつか手を出す日が来るんだろうと思うと、なんというか、とても恐ろしいねこれ
マンガやアニメのキャラにすら熱烈なファンがついていることを思うとさ、Vtuberって将来性やばくないか?
俳優とか芸人とかは本業があるから、ファンサ100%みたいな活動はまず無理なのに、Vtuberって存在そのものと本業がそのままファンサじゃん
こんな業態他にある?
こう、誰しもお気に入りの推しポケモンがいるように、推しVtuberが普通にいるのが当たり前の時代がくるんじゃないのこれ
そしてガワを作ったり配信に関する技術開発は必要だろうけど、それ以上の元手ってほとんど必要ないことを思うと、営利企業としても将来性すごそう
Vtuberになりたい人は事務所の看板と、すぐれたアバターが欲しいので、今の二大看板が有望な新人を集められる構造はすでにできているでしょう?
すんごいね
逆な。
ブラックホールの質量が体積0の点に集まって密度が無限大となってしまうが、物理学で無限大なんてものは近似でしか存在しないので特異点と呼んで異常な点であることを示している。
ブラックホールの特異点では質量が一点に集まるために重力が無限大になるといわれている。
「一点」とは数学的に面積や体積を持たない点である。そこに質量が集まるとなるとたとえそれが1gだとしても重力が無限大になるバグが発生する。
これはゼロ除算の結果が無限大になると無理矢理定義してしまった状態だといえる。
もし現実的に質量が一点に集まるとしたらその計算方法を新たに考えなくてはならない。
そもそも「無限大」は具体的な数値ではないので精確な計算はできない。
問題としてまず重力が無限大ならこの宇宙のすべてに無限大の重力が反映されないとおかしい。即ち特異点が生まれると同時に宇宙全域がブラックホールと化す。
しかし無限大になるのはあくまで一点だけなのでその影響範囲も一点の中に収まると考えると矛盾はない。
実際に宇宙全域がブラックホールになっていないのを見るとそう考えるのが妥当とも思える。
特異点を除外した物理の考え方では重力が無限大とは質量が無限大に相当する。
無限大に質量が集まることはないし、そんな天体が存在するとすれば慣性の法則で軌道を変えずにまっすぐ進む。
数学では一点は一次元として扱われる。もしかしたら特異点は次元が折り畳まれ一次元になっているのかもしれない。
影響範囲が限定的でない(一点に収まらない)場合は元の質量から重力を計算できそうだが、そうなると特異点を否定しなければゼロ除算の問題が残る。
・私の予想
E=mc²
ブラックホールの中心では物質はエネルギーに変換され存在しているのではないか?
宇宙初期にエネルギーから物質が生まれたようにブラックホール内部の極限環境で物質がエネルギーになったとしてもおかしくない。
我が家では暖房は石油ストーブを愛用しているので、鍋に具材を放り込んで後はストーブの上に放置するだけ
最近作ったのは鶏もも肉とトマトと塩だけあればできるお手軽煮込み料理や
まず買ってきた鶏ももの表面についてるくっさい♡汁をキッチンペーパーで拭き拭きするんや
それから塩をしてフライパンで表面に焼き目をつける、めんどくさいし食べる時に箸で切れるから包丁は使わんぞ
焼き目が付いたらダイソーで売ってる一人用土鍋に鶏肉と水洗いしたトマト1個を入れるんや
火にかけながら鍋の中でトマトを潰してグジュグジュになったら後は味付けの塩を適当に入れてひたすらストーブで煮込むだけや
鶏焼いたフライパンでしめじとか玉ねぎとか焼いて一緒に入れるのもえぇな
水は足さなくてもトマトの水分だけで勝手に煮込みになるはずやが、赤ワインを少しだけ足すと味に深みが出るわ
JPOP(平成)
この表現手法と、消費者の想像力で、作れるコンテンツ量(総価値)には限界がある
だから食いつぶせばすぐに枯渇する
消費者は目が肥える
ちなみにこの食いつぶしが置きないジャンルは少ない、食とか性とか
創作系は食いつぶしがありえる
これが組み合わさると一気に量産されてひと時代は盛り上がるんだけど一気に冷めていく
コンテンツが更に次の進化を迎えるためには、世代交代が起きなきゃいけないと思う
つまり「そのコンテンツで育った子供がまた造り手になる」くらいに長いレンジのブームが必要なんだと思う
そうしてようやく世界的になれる
これらの良いところは1人でも作れるが、専門性が高くコストも高いところだ
無限は様々な人たちを当惑させてきた。周囲の物理世界で観察されるものはすべて有限。
観測可能な宇宙の原子の数でさえ、想像を絶するほど大きいとはいえ、やはり有限。
数学はおそらく、無限とつながるための最も知性的で論理的な方法を与えてくれる。
数学的な無限理論は、19 世紀末にドイツの数学者カントールによってほぼ独力で作成された。
自分のアイデアを追求するために、カントールは途方もない勇気を示した。批判者たちに答えて「数学の本質はその自由にある。」と書いたのである。
数学では、選択された公理と論理規則に厳密に従わなければならない。
しかし、そのルールの中においては、本当に想像力を羽ばたかせることができる。数学には独断や偏見が入り込む余地はない。
カントールの考えは、無限大は数ではなく、むしろ集合の性質であるというものであった。
2 つの集合 A と B が与えられると、A から B への「写像(勝間さんじゃないですよ)」について考えることができる。
これは、 B の要素を A の各要素に割り当てるルールである。
カントールによって導入された重要な概念は、集合 A と B の間の1 対 1 対応である。これは、Bの各要素がAの1つの要素にのみ割り当てられるような、A から B への写像である。
Aが有限数の要素 (たとえば、n) を持ち、B が別の集合である場合、B にもn要素がある場合にのみ、AとBの間に1対1の対応関係が存在するという定義である。
ここで、無限集合の概念を導入できる。これは、Aと有限集合Bの間に1対1の対応がないような集合Aである。たとえば、自然数の集合 N={1,2, 3,…}は無限集合である。
ここまでの理論はかなり単純だ。しかしその後、カントールは驚くべき発見をした。互いに1対1対応していない無限の集合が存在するのである。
たとえば、集合Nと実数の集合Rの間には1対1の対応がないことがわかる。
カントールの対角線論証とも呼ばれる証明があるが、これはかなり美しい証明と言われている。
そこでは実数の集合と自然数の集合の間には 1 対 1 の対応関係がないということが示されている。実数の「無限大」は自然数の「無限大」よりも「大きい」と言える。
この 2 つの間に「無限」は存在するのか? これは、数理論理学における最も深い問題の 1 つである、有名な「連続体仮説」につながる。