  |
はてなキーワード: 理論とは
都市伝説によれば、かつてアインシュタインの古典的重力理論「一般相対性理論」を理解していたのは3人だけだったと言われている。
それが真実かどうかは別として、その3人のうちの1人がダフィッド・ヒルベルトである。彼は、今日の初学者でも一般相対性理論を理解できるように、それを数学で明確かつ正確（すなわち厳密）に形式化した。
古典的なアインシュタインの重力は、時空上の擬リーマン計量のモジュライ空間上のスカラー曲率密度汎関数の積分の臨界点の研究にすぎない。
物理学の基本的な理論は数学での基本的な定式化を持つべきだと信じたことで、ヒルベルトは本質的にアインシュタインを先取りすることができた。そのため、この汎関数は現在、アインシュタイン・ヒルベルト作用汎関数と呼ばれている。
ヒルベルトは、1900年の有名なヒルベルトの問題の一環として、この一般的なアイデアを以前から提唱していた。ここでヒルベルトの第6問題は、物理学の理論の公理を見つけることを数学者に求めている。
それ以来、そのような公理化のリストが見つかっている。例えば、
| 物理学 | 数学 |
| 力学 | シンプレクティック幾何学 |
| 重力 | リーマン幾何学 |
| ゲージ理論 | チェルン・ヴェイユ理論 |
| 量子力学 | 作用素代数 |
| トポロジカル局所量子場理論 | モノイダル(∞,n)-カテゴリ理論 |
このリストには注目すべき2つの側面がある。一方で、数学の最高の成果が含まれており、他方で、項目が無関係で断片的に見えることだ。
学生時代、ウィリアム・ローヴィアは「合理的熱力学」と呼ばれる熱力学の公理化の提案に触れた。彼は、そのような連続体物理学の基本的な基盤は、まず微分幾何学自体の良い基盤を必要とすることに気づいた。彼の生涯の出版記録を見てみると、彼が次の壮大な計画を追求していたことがわかる。
ローヴィアは、最初の2つの項目（圏論的論理、初等トポス理論、代数理論、SDG）への画期的な貢献で有名になった。なぜか、このすべての動機である3番目の項目は広く認識されていないが、ローヴィアはこの3番目の点を継続的に強調していた。
この計画は壮大だが、現代の基準では各項目において不十分である。
現代数学は自然にトポス理論/型理論ではなく、高次トポス理論/ホモトピー型理論に基づいている。
現代の幾何学は「変数集合」（層）だけでなく、「変数ホモトピー型」、「幾何学的ホモトピー型」、「高次スタック」に関する高次幾何学である。
現代物理学は古典的連続体物理学を超えている。高エネルギー（小さな距離）では、古典物理学は量子物理学、特に量子場理論によって精緻化される。
行うと潰れる手法「X」がある
この時「A」をやらずに経営を悪化させた人々が何故か最後に「X」を始めて、謎の理論で「A」をやっている人を批判して妨害している、と言うのがこの界隈の特徴。
結論：ゲーム制作(例でツクールMZとかそういったツールでゲーム有料作ってさくっと販売するとか)、本を出版して販売とか、そういった路線もありだと思うぞ。
何ならカクヨムとかでやるのも全然あり。リンクは最後に貼っておくから参考にしてくれ。
https://hatena.zendesk.com/hc/ja?return_to=%2Fhc%2Frequests
以下見た反応↓
これは難しいところではあるが、AIはサポートの役目、と考えてない・・・？
でもdiscordBOTのコードもプログラムだし、AIだってプログラムだと思うが・・・。
正直言うともう時代の流れでこれはあってる。あってるが・・・AIがサポートどころか仕事奪ってるから人が厳しい立場になってるようにも見える。
まだ法律が追いついてないんで何とも言えないが、下手に言うと海外が裁判起こしてきそうで怖い。
こういう人がいるからってなってエンジニアとかになりたがらなくなるのでは、という不安でもあるが。
>| エンジニア（）にクソみてーな誇り持つんなら帰りのNAS位てめーで設定してサッサとあの世に帰ってくれよな。 |
何のためのVPSが用意されているサーバーがあるんだとか、そういう疑問がある。
むしろ私はエンジニアじゃないが、discordBOTを組んでいる身としては、サーバー問題は大きい。
NASとかそういったのが用意できない人にとってはここは壁になると思う。正直ここ。
NASとかで組める人が羨ましく思えるが、電気代のことも考えるとそこも壁ではないかと思われ。
今だとAIサポートになっちまってるから人間のプログラムは技術がなくてもある程度の単語でコード書いてるAIがいるから、正直に言うとこの部分が薄れてさみしいよ。
>| AIに仕事奪われる底辺の泣き言？ああそうだなｗ。じゃあ俺の何百倍の労力でアホの妄言実現する仕事してくれよスーパーエンジニアさんよ。出来んだろ？C言語出来るスーパーエンジニアさんならよ？ |
とはいえ、PythonとかJavaScriptとか、そういった有名言語とかではもうAIがガンガン書き進んでしまう・・・っていうのもあるな。
>| どうせ大したことないんだろ？匿名でくらいイキりたいよな？すげーエンジニアさんよ。 |
むしろそれを言ったら5chとかdiscordとかそういったサービスはどうなるって話だ。
こういう人がいるから叩かれると思うんだが。
AIで片付けれるところはあるっちゃあるが、AIでもできないことはある。
そういうサポートを受けてようやく先に進めるのもあるかも知れないが。
こんなのもあるし・・・。
で、結局は著作権云々で慎重に議論はしているが、時代が追いついていないのも事実ではある。
https://store.steampowered.com/app/1096900/RPGMZ/ ツクールMZ
う、有料って人にはこれを置いとく↓
https://silversecond.com/WolfRPGEditor/
参考にしといてくれ
何故と言われても、前例がそうだからとしか言いようがないんだが…。
世間一般は「今までチャレンジした所はだいたい潰れたか、ほとんど趣味でやってる名ばかり出版社ばっかりっすねえ。もちろんベネッセみたいな例外はありますけど」で納得すると思うが。
つまり、（モデル理論における）「数学的構造」の形式的定義と同型性の形式的定義があり、そして実際、これは新しい主張でもなければ、洞察でもないのだが、この意味での数学的構造のすべてのタイプは、形式論理学の意味での理論である。
物理学のいかなる形式化された理論も、この意味での理論である（あるいはそうなるであろう）。これは数理論理学の基本中の基本である。
ここで主張されているように、数理論理学の意味でのすべての理論を物理学の理論と呼ぶべきかどうかは別の問題である。
より興味深いのは、形式論理学の理論が物理学の理論として適格であるかどうかの特徴付けであろう。この種の問題に生涯を通じて取り組んできた一人に、ウィリアム・ローヴィア（William Lawvere）がいる。
http://ncatlab.org/nlab/show/William+Lawvere#MotivationFromFoundationsOfPhysics
Lawvereは、例えば、連続体力学で遭遇するような運動方程式の定式化を認めるある種の無限理論の運動法則のトポスhttp://ncatlab.org/nlab/show/Toposes+of+laws+of+motionについて述べている。これは少し改良して、局所的な場の量子論 http://ncatlab.org/nlab/show/Higher+toposes+of+laws+of+motion も捉えることができる。
いずれにせよ、これらは形式理論、つまり「数学的構造」の一種であり、現代物理学の大部分を形式化することができる。ここでの同型性の概念は明確であり、議論の余地はない。問題は、物理学のどの部分が形式化されるかである。
数学的宇宙仮説を説明するには、宇宙をどのようにモデル化するかを考え、各理論の役割を明確にする必要がある。
以下に、各概念を説明し、物理宇宙を数学的にどのように捉えるかを示す。
数学的宇宙仮説の中心にあるのは、宇宙が数学的構造そのものであるという考え方である。数学的構造は、集合とその上で定義される関係や演算の組み合わせである。
具体例として、微分多様体を考える。微分多様体は、局所的にユークリッド空間に似た構造を持ち、滑らかな関数が定義できる空間である。物理学では、時空を微分多様体としてモデル化し、一般相対性理論の基盤としている。このように、宇宙全体を一つの巨大な数学的構造として捉え、その性質を研究する。
集合論は、数学の基礎を形成する理論であり、すべての数学的対象を集合として扱う。特に、Zermelo-Fraenkel集合論（ZFC）は、集合の存在とその性質を定義する公理系である。数学的宇宙仮説では、宇宙を集合として捉え、その集合上の関係や演算が物理法則を表現していると考える。
モデル理論は、形式的な論理体系が具体的な構造としてどのように実現されるかを研究する。数学的宇宙仮説では、物理宇宙がある論理体系のモデルであると仮定する。具体的には、物理法則を公理とする論理体系のモデルとして宇宙を捉える。これは、ペアノ算術の公理系のモデルとして自然数が存在するのと類似している。
カテゴリ理論は、対象（オブジェクト）とそれらの間の射（モルフィズム）を扱う理論である。カテゴリ 𝒞 は次のように定義される：
射は合成可能であり、合成は結合的である。さらに、各対象に対して恒等射が存在する。
数学的宇宙仮説では、宇宙を一つのカテゴリとして捉えることができる。カテゴリの対象は異なる数学的構造であり、射はそれらの間の変換や関係を表す。これにより、異なる「宇宙」間の関係性を数学的に探求することが可能になる。
トポス理論は、集合論の一般化であり、論理と空間の概念を統一する枠組みである。トポスは、論理体系のモデルとして機能し、異なる数学的構造を統一的に扱うことができる。
数学的宇宙仮説では、宇宙をトポスとして捉えることができる。トポスは、論理体系のモデルであり、異なる物理的現実を表現するための柔軟な枠組みを提供する。トポス理論を用いることで、宇宙の数学的性質をより深く理解することが可能になる。
数学的宇宙仮説を抽象数学で説明するためには、数学的構造、公理系、集合論、モデル理論、カテゴリ理論、トポス理論といった数学的概念を用いることが必要である。
これにより、物理的現実を数学的に厳密に記述し、数学と物理の深い関係を探求することができる。
この仮説は、数学的対象が物理的実体として存在するという新しい視点を提供するが、現時点では哲学的な命題としての性格が強く、数学的に証明可能な定理ではない。
多世界解釈を抽象化する。以下では、カテゴリー理論や代数的構造を取り入れた視点からアプローチする。
量子系はカテゴリー 𝐇𝐢𝐥𝐛 の対象であるヒルベルト空間 𝐇 によって記述される。ここで、射はユニタリ作用素であり、状態は対象のベクトルとして扱われる。
観測者を含む系全体はテンソル積 𝐇_𝐭𝐨𝐭𝐚𝐥 = 𝐇 ⊗ 𝐇_𝐨𝐛𝐬𝐞𝐫𝐯𝐞𝐫 によって記述される。このテンソル積は、カテゴリー 𝐇𝐢𝐥𝐛 におけるモノイド構造を形成する。
状態 |Ψ⟩ は、ヒルベルト空間の対象として、直和 ⊕ によって表現される。
|Ψ⟩ = ⊕_i c_i |ϕ_i⟩
観測者の状態 |O⟩ も同様にテンソル積の対象として扱われる。
観測プロセスは、モノイド射としてのテンソル積を用いて次のように表現される。
|Ψ_𝐭𝐨𝐭𝐚𝐥⟩ = ⊕_i c_i (|ϕ_i⟩ ⊗ |O_0⟩) → ⊕_i c_i (|ϕ_i⟩ ⊗ |O_i⟩)
ここで、|O_i⟩ は観測者が結果 i を観測した後の状態である。
観測者の知識による分岐は、ファイバー束の概念を用いて抽象化できる。各観測結果に対する分岐は、ファイバーとして異なる基底を持つ束のように扱われる。
ボルンの規則に基づく確率は、射の重みとしてカテゴリー内で扱われる。具体的には、射のノルムとして次のように表現される。
P(i) = ‖c_i‖²
この確率は、観測者がどのファイバーを経験するかの確率として解釈される。
この定式化により、多世界解釈はカテゴリー理論と代数的構造を用いて、観測者の知識がどの世界に分岐するかを決定する要因として数学的に表現される。
観測者の状態と系の状態がテンソル積を通じて絡み合うことにより、知識の更新が世界の分岐を引き起こすという視点が強調される。
いけず石で画像検索してみりゃ分かるけど、いけず石の設置場所はそもそも道路状整備されてないじゃん。つまり増田が思ってるすみ切りとはもともと別のものよ。
「すみ切り=道路」理論なら道路状整備されてるはずなんだから、画像見た時点で「あれ？そもそもすみ切りしてなくね？」って気付かなきゃいけない。
ヒルベルト空間は無限次元の線形空間だが、射影ヒルベルト空間として有限次元多様体のように扱うことができる。射影ヒルベルト空間 P(H) は、ヒルベルト空間 H の単位球面上のベクトルをスカラー倍による同値類で割った空間であり、量子状態の集合を位相的に解析するための空間だ。局所座標系は、例えば、正規直交基底を用いてチャートとして定義され、局所的にユークリッド空間に似た構造を持つ。この構造により、量子状態の位相的特性を解析することが可能となる。
スキーム理論は代数幾何学の概念であり、ヒルベルト空間においては作用素環を通じて状態空間を解析するために用いる。特に、自己共役作用素のスペクトル分解を考慮し、各点を極大イデアルに対応させる。このアプローチにより、量子状態の観測可能量を代数的にモデル化することができる。例えば、観測可能量としての作用素 A のスペクトルは、A = ∫ λ dE(λ) という形で表され、ここで E(λ) は射影値測度である。これにより、量子状態の代数的特性を解析することが可能となる。
ヒルベルト空間における射は、線形作用素として表現される。特に、ユニタリ作用素 U: H → H は、U*U = UU* = I を満たし、量子力学における対称変換を表す。これにより、系の時間発展や対称性を解析することができる。射影作用素は、量子状態の測定を表現し、観測可能量の期待値や測定結果の確率を計算する際に用いられる。これにより、量子状態の射影的性質を解析することが可能となる。
ヒルベルト空間のコホモロジーは、量子系のトポロジカル不変量を解析するための手段を提供する。例えば、ベリー接続 A = ⟨ψ(R) | ∇ | ψ(R)⟩ やベリー曲率 F = ∇ × A は、量子状態のパラメータ空間における幾何学的位相的性質を記述する。チャーン数は、∫ F により計算され、トポロジカル不変量として系のトポロジカル相を特徴付ける。これにより、量子系のトポロジカル特性を解析することが可能となる。
ヒルベルト空間の基底を用いて、空間を再構築する。直交基底 { |e_i⟩ } は、量子状態の展開に用いられ、|ψ⟩ = Σ_i c_i |e_i⟩ と表現される。これにより、状態の表現を簡素化し、特定の物理的状況に応じた解析を行う際に有用である。例えば、フーリエ変換は、状態を異なる基底で表現するための手法であり、量子状態の解析において重要な役割を果たす。
ヒルベルト空間における構造を保つ変換は、ユニタリ群 U(H) として表現される。これらの群は、量子系の対称性を記述し、保存量や選択則の解析に利用される。例えば、回転対称性は角運動量保存に対応し、ユニタリ変換は系の時間発展や対称性変換を記述する。これにより、量子系の対称性特性を解析することが可能となる。
ヒルベルト空間は、内積により誘導される距離を持つ完備距離空間である。具体的には、任意の状態ベクトル |ψ⟩ と |φ⟩ の間の距離は、||ψ - φ|| = √⟨ψ - φ, ψ - φ⟩ で定義される。この距離は、量子状態の類似性を測る指標として用いられ、状態間の遷移確率やフィデリティの計算に利用される。これにより、量子状態の距離的特性を解析することが可能となる。
なんならホモに対してまで「女にモテないから〜」とか言い出す奴おるよね
ホモになれば20人中19人に容姿や性格以前の問題で門前払いされることになるのに「モテないからホモになる」理論は意味がわからない
IUT理論の証明を説明力次第でちゃんと伝わるように書くことができるとか思ってるんだろうか？
IT土方です。ゲーム開発を仕事としたことはないけど、だいたい同世代っぽいので反応します。
ゲームエンジンに相当する根っこの部分を実装するチャンスがなくなっちゃったって話、似た話題はITだと大体どの分野でもあるとは思いますね。
たとえば昔はCOBOLで自前でデータ操作してたけど今はデータベース（RDBMS）使うよね、とか。
携帯の新端末が出るたび何百万行っていうコード量のOS開発してたけど今はAndroidになっちゃったね、とか。
それを寂しいとか退屈とか感じる理屈はわかるけど、でも自分はそこにあまりネガティブな感情は無いんですよね。
こっちはこっちでプライド持ってやってるけど、とはいえ究極的には自分の作ってるソフトなんて全然つまんねえからね（ゲームと比べると）。
「生産性向上」って言葉にしたらみなさん鼻で笑いますけども、でもOracleやMySQLがやってることを自前で実装しろっていわれたら冗談じゃないわけですよ。
まあ実装はなんとかできるかもしれないけれども、その自前のトランザクション管理がバグって客先環境のデータ壊れちゃってみたいな運用まで考えるとね。。。
そのあたりの根っこの部分をまだ「買って終わり」になってないのは組み込み屋さんだと思う。車載OSとか。
理論上めちゃくちゃブラックなはずなんだけど、あまり話が聞こえてこないんだよね。どこも内製してて転職市場に流れないからなのかな？
自分が子供のころはPCとかマイコンって「ゲームを作ろう」から始まったけど（ベーマガ的な）、
今の子ってMincraftみたいなブロック組み合わせてLegoマインドストームみたいなロボット制御するのが初手だったりするから、生産性向上ヤバイ
うまくまとまらんけど、
ジェン・アイザクソン「フーコーからサンフランシスコへ――クィア理論の不変のルーツ」
https://appinternational.org/2021/09/10/izaakson_from-foucault-to-san-francisco/
本稿は、イギリスのラディカル・フェミニストでマルクス主義者でもあるジェン・アイザクソンさんが、彼女の主催するサイト「On the Woman Question」に掲載された論文の全訳です。著者の許可を得て、ここに掲載します。クィア理論が本質的にペドフィリアを肯定するものであり、欧米左翼とアカデミズムがクイア理論によって蝕まれ、それがいかに政治的に危険であるかが明らかにされています。
クィア理論の成立を画するのは、ゲイル・ルービンが1984年に発表した「性を考える――性の政治学のラディカルな理論のための覚書（Thinking Sex: Notes For A Radical Theory of the Politics of Sexuality）」という広く知られている文書だ。
ルービンは「セックスを考える」の中で、子どものセクシュアライゼーションに反対するのは「エロティック・ヒステリー」であり、一種のリビドー的に引き起こされた道徳的パニックであると主張している。これは、性的境界線を保護することを求めるセックス・クリティカルなフェミニストを、性的に抑圧された堅物にすぎないとする例の古典的考え方と同類だとみなしうるだろう。
左派はクィア理論を採用することで危険を冒している。というのもそれは、ペドフィリア擁護論にもとづいているだけでなく、今なおその軌道がペド的起源からそれほど離れていないからだ。
コンピュータ・サイエンスで取り組まれている問題の一覧を紹介しよう。
ニコラス・ハンフリーによれば、チンパンジーの記憶力は人間よりも高い
ではなぜチンパンジーよりも人間のほうが賢いかというと、細部を記憶せずに言語や図を用いて抽象化するから
つまり記憶力の一定程度の低さは抽象化思考能力の高さに関係する
メスが妊娠する種族は、子どもを産むリスクをメスが担う以上、メスが選別する側になるため、オスの嫌な部分への解像度が高くなる。
オスはオス同士で競争してメスを取り合うので、弱く見えるような振る舞い（弱音を吐いたり）を我慢して、より攻撃的な行動をしがち。
アーサー・C・ダントーが提唱した「アートワールド」とは、芸術作品が成立するための社会的・概念的枠組みのことを指します。彼は1964年の論文「The Artworld」で、この概念を提唱しました。ダントーによれば、芸術作品はそれ自体の物理的な特性だけで芸術であるわけではなく、周囲の芸術的な理論や批評、歴史的背景、そしてその作品を芸術として受け入れる社会的な合意など、「アートワールド」と呼ばれる文脈によって芸術作品として認識されるのです。
この枠組みの中では、アーティスト、批評家、鑑賞者、美術館、ギャラリーなどの文化的・社会的要素が、作品の芸術性を定義づけ、芸術とされるための文脈を形成します。したがって、芸術とは「アートワールド」によって成立する文化的な産物であり、その文脈を無視しては理解できないものだとダントーは論じました。
「すぐ腹を壊す人＝サボってる」
「熱を出す人＝サボってる」
こういった偏見の眼差しを持って他人を測ろうとする態度こそが、あらゆる差別における根本的な原因であってそこに対して、感覚が敏感とか恵まれた環境で暮らしているとかはあまり関係がないんじゃないだろうか？
つまりは「自分が慣れ親しんだもの＝素晴らしい」 「自分と接点の薄いもの＝存在そのものが歪」という幼子のまま成長せず老害になったような価値観を全世界の普遍的な常識だと勘違いしていることが問題なんだろうな。
公教育というのはこういった狭い偏見を超えた広い視野を持たせるために様々な機会を提供するはずなのに、実際にやっているのはそれとは真逆で「地毛が茶髪なら黒に染めてこい」といった教職員側の偏見に基づく画一化を推し進めているわけで。
ではなぜそうなるかと言えば、この国の国民が根本的な部分で差別意識に満ちていて画一的な隣人を求めているからなんだよな。
「入れ墨をしている奴らはチンピラだから公衆浴場に入って欲しくない」とか、「アイドルは偽の恋愛感情を売っているんだから本物の恋人を作ってはいけない」とか、そういった身勝手な言い分を振りまいてそれらをさも常識であると言い切る理論が大手を振っているわけだ。
入れ墨をしていたらチンピラだというなら、成人の儀式などにおいて伝統的に入れ墨をしている部族はみんなチンピラであり、憎むべき文化の持ち主だからわざわざ集落に乗り込んでいって文化を浄化するのが人類のためなのかという話だよ。
結局、人類ってのはどいつもこいつも高慢ちきで、自分たちの生まれ育った文化圏こそが唯一清く正しくご立派な人としての道を歩む絶対の正解だと勝手に思い込んでいるのさ。
凝り固まった『常識の殻』を知恵のハンマーで叩き割ってやるのが公教育の役目だろうに、先にも述べたように奴らと来たら殻の上をより分厚くコーティングすることに手一杯だ。
んでもって生まれてくるのが一生自分の殻から出ることもなく暮らしてきた『平等意識における盲人』の群れなわけだよな。
まあ、現代社会においては憐れなる無知蒙昧の輩と言うしかないわけで、キャンセルカルチャーされまくって然るべき無能という他ない。
