純粋・応用数学・数学隣接分野（含むガロア理論）19

[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

217: １３２人目の素数さん [] 2024/09/29(日) 13:11:32.01 ID:T27hJ6X0

>>211
>自身のソースコードと完全に同じ文字列を出力するプログラムは Quine (クワイン) と呼ばれます。

クワインー鶴見俊輔か
鶴見俊輔氏の本を読んだことがある

(参考)
https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A3%E3%83%A9%E3%83%BC%E3%83%89%E3%83%BB%E3%83%B4%E3%82%A1%E3%83%B3%E3%83%BB%E3%82%AA%E3%83%BC%E3%83%9E%E3%83%B3%E3%83%BB%E3%82%AF%E3%83%AF%E3%82%A4%E3%83%B3
ウィラード・ヴァン・オーマン・クワイン
ウィラード・ヴァン・オーマン・クワイン（Willard van Orman Quine、1908年6月25日 - 2000年12月25日[1]）は、アメリカの哲学者、論理学者。ハーバード大学教授。以後の分析哲学や数理論理学に大きな影響を与えた。主著に『論理的観点から』『ことばと対象』など。ショック賞論理学・哲学部門（1993年）、京都賞思想・芸術部門（1996年）受賞者。

経歴
オハイオ州アクロン出身。父は工場経営者、母は教師。1930年、オーバリン大学卒業、数学と哲学で学士号を取得。1932年、ハーバード大学よりPh.D.取得。指導教官はホワイトヘッド。ハーバードでは後にジュニア・フェローに選出され、4年間教育を行う義務を免除される。1932年から1933年までフェローシップを利用して、ヨーロッパを遊学し、タルスキなどの優れた論理学者やカルナップのようなウィーン学派の学者たちと交流する機会を得た。

タルスキが1939年の秋にケンブリッジで開かれた科学統一会議に招かれたのは、クワインの紹介を通じてであった。会議に出席するため、タルスキは独軍がポーランドを侵攻する前にポーランド北方のグダニスクを離れ、渡米。結果的にタルスキーは第二次大戦を生き延び、その後44年間アメリカで仕事を続けた。

クワインの研究室は、ドナルド・デイヴィッドソン、デイヴィッド・ルイス、ダニエル・デネット、ギルバート・ハーマン、鶴見俊輔、ダグフィン・フォレスダール、王浩、ユーグ・ルブラン、ヘンリー・ヒズなど、多くの著名な哲学者を輩出した。

日本との関わり
最初の教え子の一人に鶴見俊輔がいる。1959年に初来日[1][2]。1996年に京都賞思想・芸術部門受賞[1][2]。

http://rio2016.5ch.net/test/read.cgi/math/1725190538/217

655: １３２人目の素数さん [sage] 2025/03/25(火) 08:22:38.01 ID:z1RqH4j0

>>652
「正方行列なら正則行列（＝逆行列がある）」
「完備距離空間（コーシー列が収束する）ならコンパクト（＝任意の無限列は収束部分列を持つ）」
と（誤って）言い切ってしまえるID:AEEmcAjXが、「数理科学」2022年6月号特集の記事を
（誤りなく）読めたとは思えない

特に以下の箇所が理解できたとは思えない

ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
（Haussdorf1914の議論では）有限と無限の概念は，
集合論の外に “既にそこにあるもの” として与えられていることになるが，
一方，集合論の内部では，集合の概念を用いて無限の定義をすることができる．
現代の集合論では，無限集合の存在を保証する公理 (無限公理) として，
　集合 U で， ∅ ∈ U で， すべての a ∈ U に対し，a ∪ {a} ∈ U となるものが存在する
という主張を採用する．
ここで存在の保証された集合 U を一つとり，集合の族 F を，
F := {W ⊆ U : ∅ ∈ W, すべての a ∈ W に対し， a ∪ {a} ∈ W }
と定義して (これは (真のクラスではなく) 集合である)，
ω := ∩ F (1)
とする．
この集合は，ここでの構成法から，
ω = {∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅{∅}}}, ...}  (2)
となっている，と考えられる．
現代の集合論では，0 := ∅, 1 := {∅}, etc. として，この集合 ω を自然数の全体の集合と看倣すのだが，
ハウスドルフの集合論では，これとは別に，自然数の集合
N = {0, 1, 2, ...} (3)
が，“既にそこにあるもの”，として存在しているわけである．

しかし，ここで，(2) での “...” と，(3) での“...” が同じ種類のものである，
という保証はどこから出てくるのだろうか?
これは，ハウスドルフの教科書でのようなナレーションで集合論を習う人が，
当然突き当たる素朴な疑問だろう．
この学習者が初心者なら，ここで何らかの乖離が生じているのか，
そうではなくて，そうではないことが，何らかの方法で証明できるのかは，
直ちには分らないはずである．
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

http://rio2016.5ch.net/test/read.cgi/math/1725190538/655

719: １３２人目の素数さん [] 2025/03/30(日) 19:29:47.01 ID:TZ6d96pI

これいいね

https://news.mynavi.jp/techplus/kikaku/20250328-3158131/
TECH+ mynavi
「日本企業の競争力を底上げしたい」あらゆる産業で活用されるAIエージェント開発の最前線
2025/03/28 提供：SB Intuitions

AIエージェントとは、いわば一連の業務プロセスを自動化するものです。 これまでの生成AIは、ある種「質問回答」にとどまっていましたが、AIエージェントは「タスクの実行」まで担う点が大きな違いです。例えば契約書を締結する際、ドラフト作成や法務観点からのレビュー、さらには合意が取れた際の署名などといったプロセスが発生します。これらの工程を各部門の人間が行っていくと数週間はかかりますが、それぞれの役割を持ったモデルが連携しながら一気通貫でタスクを実行できるようになることで、大幅な業務効率化を実現できます。

このように、AIエージェントを営業部門やマーケティング、経理や人事といった各部門に導入することで、既存のビジネスプロセスは大きく変わると考えられています。いわば、DX、AXならぬ、「Agent Transformation」といえるかもしれません。

また、ユーザーが業務プロセスのレールを敷いてあげることでタスクを遂行する「ワークフロー型AIエージェント」だけでなく、ゆくゆくは非定型業務に対しても人間の意図をくみ取り、適切に対応できる「自律型AIエージェント」の実用化も期待されます。もちろん、当社もその実現を目指しています。

ビジネスチャンスの拡大とともに、社員に求められるスキルも変化

池田さん：AIエージェントによって企業の成長が加速するとともに、社員に求められるスキルも変化していきます。従来の業務をAIエージェントに代行してもらうためには、AIエージェントがこなした業務のアウトプットを正当に評価し、適切な指示を出せる能力が必要です。「答えを得ること」と「そのプロセスを理解し応用できること」は全くの別物です。単に生成AIの結果を受け取るだけではなく、生成AIがどのようなプロセスでその答えを導き出したのかを理解し、それを応用できるようなAIリテラシーを身に付けていくことが、これからの時代は求められていくでしょう。

http://rio2016.5ch.net/test/read.cgi/math/1725190538/719

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.074s