ガロア第一論文と乗数イデアル他関連資料スレ18 (468ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
125: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/05(木)10:14 ID:RwvI7Q/q(1/2)
これ、面白い
https://www.gizmodo.jp/2025/06/grok_ai.html
GIZMODO
｢またAI？ もう十分でしょ｣と思っていた私が1週間でGrokを手放せなくなった理由
2025.06.04 14:35lifehacker
author ライフハッカー［日本版］編集部
｢また新しいAIか……正直、もう十分じゃない？｣
そんな半信半疑の気持ちでGrokを使い始めた私でしたが、たった1週間でその印象は大きく変わりました。
これまでChatGPTを仕事の相棒として使い倒してきた私にとって、Grokはもうひとりの相棒。性格も得意分野も違うけれど、それぞれに頼れる存在だと気づかされたのです。
Grokは、リアルタイム性が強いのが大きな魅力
特に感心したのは、Grokの｢今起きていること｣への感度の高さ。
多くのAIが過去のデータで応答する中で、GrokはX（旧Twitter）からリアルタイムのトレンドや情報をベースに回答を考えてくれます。
ChatGPTとGrokの違いは？
Grokは新しい話題に敏感で、ニュース記事の裏にある動きや空気感をつかむのが得意です。
一方でChatGPTは、構造化された情報を整理したり、長文の執筆やアイデアの壁打ちをする際にとても頼りになります。落ち着いて深掘りするには、ChatGPTのほうが向いている場面も多い。
126(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/05(木)18:14 ID:RwvI7Q/q(2/2)
>>120 追加
>こんな話は、世の中 至る所に落ちていて
google検索：大学 pdf 距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる
で、大学の講義用 pdf が見つかるよ
AIだけじゃなく 裏付けの検索能力を 向上させようね （＾＾
＜結果より抜粋＞
１）
https://www.rimath.saitama-u.ac.jp/
埼玉大学 大学院理工学研究科 数理電子情報専攻 数学プログラム 理学部 数学科
https://www.rimath.saitama-u.ac.jp/lab.jp/ToshizumiFukui.html
福井 敏純 のページ
https://www.rimath.saitama-u.ac.jp/lab.jp/Fukui/lectures/
講義ノートなど
集合と位相空間入門（2008年）の講義ノート
https://www.rimath.saitama-u.ac.jp/lab.jp/Fukui/lectures/Set_Topsp.pdf
集合と位相空間入門 福井敏純
P122
9.3 一様連続
定理9.3.3 Xを距離空間，Yを完備距離空間とする．Xの稠密集合Aからの写像f：A→Yが一様連続ならば，
fは写像F：X→Yに一意に拡張する．
更に，Fも一様連続となる
証明 概略のみ示す．x∈Xに収束するAの点列(an)をとる．点列(an)はCauchy列なので点列(f(an))もCauchy列であり，
ある点y∈Yに収束する．yは点列(an)の選び方によらずに定まる．■
２）
https://www.math.tsukuba.ac.jp/~ryoki/indexJP.html
福島竜輝 筑波大学 数理物質系 数学域
https://www.math.tsukuba.ac.jp/~ryoki/FA/FA.html
関数解析講義ノート
筑波大学で2020年度から2024年度まで担当していた「関数解析」の講義ノートです．
https://www.math.tsukuba.ac.jp/~ryoki/FA/FALEC.pdf
関数解析講義ノート 福島 竜輝 March 28, 2025
P54
9.3 汎弱収束による点列前コンパクト性
・・・を満たすので，{xk}k∈N 上で一様連続です．
したがって距離空間の一般論
「稠密な部分集合の上で一様連続な関数は，一意的に全体に連続拡張できる」
を使って，ϕ:X →Cという連続線型汎関数が定まります．
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s