Inter-universal geometry と ABC予想 (応援スレ) 77

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

570: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/09(日) 10:11:04.73 ID:QrKJGO9s

>>550
>例えば、「箱入り無数目」定理について

下記「箱入り無数目」は、定理にはなっていない
実際、時枝氏も 数学セミナーの記事の最後は、”むにゃむにゃ”とお経を唱えてゴマカシたｗ
なお、数学セミナー誌は 査読のある新規論文投稿の雑誌ではない

また、「箱入り無数目」以外の同趣旨の査読論文も皆無だし
さらに、「箱入り無数目」に賛同する 日本の大学の確率論学者も皆無
さらに、大学レベルの確率論を修めた人で 「箱入り無数目」に賛同する人皆無

「箱入り無数目」の大問題は、下記 確率の公理 P(Ω)=1 を 決定番号が満たせないことにある
つまり、決定番号は 全ての自然数を渡るが
Ω＝自然数の集合N とすると、数え上げ測度で 無限大に発散するため P(Ω)=1 は与えられない

よって 例えば、自然数Nで 半分は奇数、”半分は偶数だから P(偶数)=1/2” はダメ！！■
（直感的には 言えそうだが、厳密な数学ではない）

(参考)
https://rio2016.5ch.net/test/read.cgi/math/1736907570/
スレタイ 箱入り無数目を語る部屋29
(参考)時枝記事
https://imgur.com/a/8bqlb08 (リンク切れてしまったが そのうちにｗ)
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E3%81%AE%E5%85%AC%E7%90%86
確率の公理
コルモゴロフによる公理系
Ω は、根元事象と呼ばれる要素の集合、
F は Ω の部分集合から構成される族であり、その要素は事象と呼ばれる。
P は F 上の集合関数とする。
4. P(Ω)=1.

https://ja.wikipedia.org/wiki/%E6%95%B0%E3%81%88%E4%B8%8A%E3%81%92%E6%B8%AC%E5%BA%A6
数え上げ測度（英: counting measure; 計数測度）とは、集合の元の個数を数えるという方法でその "大きさ"（あるいは "容積"）を測る

http://rio2016.5ch.net/test/read.cgi/math/1761878205/570

583: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/09(日) 10:58:04.76 ID:QrKJGO9s

>>548-549
>トロン万歳！　リニア万歳！　天皇陛下万歳！
>トロンと坂村健の嘘
>https://ikedanobuo.livedoor.biz/archives/51292050.html
>>556
トロン　→　アイデアは良かったが、実現に至らず　
(引用終り)

"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったもの話 IT界の時間の流れは速い）
例えば、OSの歴史では いまLinuxが標準になってしまった
また、スマホも Androidは、Linuxカーネル（アップルiOSは BSD系UNIXらしい 下記）

その中で、"トロン" 自身は 戦いに敗れたかもしれないが
日本のIT界に残した 人材と知的財産の遺産は 大きいと思いますよ

池田 信夫さん、下記 1978年（昭和53年）東京大学経済学部卒業、1978年（昭和53年）NHK入局か
まあ、文系さんだね（理系の深いところは 彼は 理解できていないようだ・・）

(参考)
https://news.yahoo.co.jp/articles/6e92b5f0028fe67413a5b542929478e5f419a482
意外と知らない日本発の世界標準OS『TRON』は何が凄いのか？
5/13(火) スマホライフPLUS
OSと言えば『Windows』『Linux』などを想起する方は多いでしょう。しかし『TRON』はリアルタイム処理とオープンアーキテクチャで組み込みシステムのデファクトスタンダードとなり、世界標準のOSとして無数のデバイスに搭載されています。IoTの先駆けとなり、小惑星探査機『はやぶさ2』にも採用されています。

https://ja.wikipedia.org/wiki/TRON%E3%83%97%E3%83%AD%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88
TRONプロジェクト
電電公社によるCTRONプロジェクトは成功し、1990年頃よりNTT社内において、DEXのOSである「DEX-OS」とDIPSのOSである「DIPS-OS」が、CTRON準拠の「IROS（Interface for Realtime Operating System）」に切り替わった

https://ja.wikipedia.org/wiki/Linux
Linux
2017年のLinux Foundationによる報告書は、99%のスーパーコンピュータ、90%のパブリッククラウド、82%のスマートフォン、62%の組み込みシステムがLinuxで動作していると主張している[13]

つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/583

584: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/09(日) 10:58:40.35 ID:QrKJGO9s

つづき

https://ja.wikipedia.org/wiki/Android_(%E3%82%AA%E3%83%9A%E3%83%AC%E3%83%BC%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0)
Android（アンドロイド）は、Googleが開発した汎用モバイルオペレーティングシステムである[3][4][注釈 1]。Linuxカーネルやオープンソースソフトウェアがベースで、主にスマートフォンやタブレットなどのタッチスクリーンモバイルデバイス向けにデザインされている

https://ja.wikipedia.org/wiki/%E3%82%AA%E3%83%9A%E3%83%AC%E3%83%BC%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0
オペレーティングシステム（英: operating system、略称:OS、オーエス）
歴史
1980年代後半-2000年代初頭 次世代オペレーティングシステムへの流れ
1991年に、Linuxが自由ソフトウェアとして公開された
Linuxは保守的な設計とバザール方式という不特定多数の担い手による開発手法を採用し、迅速な開発が進められ、PC-UNIXのデファクトスタンダードとなった

2000年代中盤 オペレーティングシステムの多様化
オープンソースの流れでは、従来よりGNUがUNIX向けのツール群を開発していたが、これらをLinuxカーネルと組み合わせたGNU/Linuxが、2000年頃よりUnix系オペレーティングシステムの主流となった
組み込みシステム
オープンソースのTOPPERSのITRONを含むTRON系オペレーティングシステム・APIが、2020年現在、組み込みオペレーティングシステムの60%のシェアを持っている[10]。

https://ja.wikipedia.org/wiki/IOS
iOS（アイオーエス）とは、Appleが開発および提供する、iPhoneとiPod touch向けのモバイルオペレーティングシステム（組み込みプラットフォーム）であり、BSD系UNIXから開発されたNeXTのOPENSTEPを起源とするMacintosh専用のmacOSをモバイル機器用途に改変したものである

https://ja.wikipedia.org/wiki/%E6%B1%A0%E7%94%B0%E4%BF%A1%E5%A4%AB
池田 信夫（いけだ のぶお、1953年〈昭和28年〉10月23日[1] - ）は、日本の経済評論家[3][4][5][6]、ブロガー
学歴
1972年（昭和47年） - 京都府立洛北高等学校[44] 卒業。
1978年（昭和53年） - 東京大学経済学部卒業[7]。
1996年（平成8年） - 慶應義塾大学大学院政策・メディア研究科政策・メディア専攻修士課程修了。同年、同大学院政策・メディア研究科政策・メディア専攻後期博士課程中退[7]。
2005年（平成17年） - 「情報通信産業のアーキテクチャについての研究」により、慶應義塾大学大学院政策・メディア研究科より博士（政策・メディア）を授与[45]される
職歴
1978年（昭和53年） - NHK入局[7]。
1993年（平成5年） - NHKを退職[7]。
1997年（平成9年） - 国際大学グローバルコミュニケーションセンター (GLOCOM) 助教授（-2000年）[7]
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1761878205/584

上下前次 1-新書関写板覧索設栞歴

あと 417 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.012s