[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
118: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/23(土)11:51:03.33 ID:iKDSmfWl(18/31) AAS
>>117
＜参考追加＞
外部ﾘﾝｸ[html]:eman-physics.net
EMANの物理学・解析力学・解析力学とは何か
解析力学とは何か？
私は物事の抽象化が嫌いである。形式を重んじる余り、何か本質から離れていっているような気がするからである。私には解析力学はまさにそういう作業をやっているように思えるのだが、本当に本質から離れていっているかどうかは分からない。
解析力学は力学体系の構造そのものを学ぶ学問であり、ひょっとして理論の構造そのものが宇宙の本質を表している可能性だって否定できないのだ。
省14
208(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)13:46:48.33 ID:CoYajOLi(4/11) AAS
メモ
外部ﾘﾝｸ:www.nikkei.com
国産データベース開発、技術革新で巡ってきた勝機
2019/11/28 2:00日本経済新聞 電子版
新エネルギー・産業技術総合開発機構（NEDO）が5年と25億円を投じて、国産の新しいリレーショナルデータベース（RDB）を開発している。日経 xTECHの取材でその詳細が明らかになった。
RDBの世界で近年、DBエンジンの作り直しが必須となる目覚ましい技術進化が起こっていることから、新規参入にも勝算があると判断した。
NEDOのRDB開発プロジェクトは「実社会の事象をリアルタイム処理可能な次世代データ処理基盤技術の研究開発」で、2018年度からの5年間に25億円の国費を投じる。開発はNEC、ノーチラス・テクノロジーズ（東京・品川）、東京工業大学、大阪大学、名古屋大学、慶応義塾大学などに委託する。
省7
213(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)15:42:55.33 ID:CoYajOLi(9/11) AAS
>>208
＞ノーチラス・テクノロジーズ（東京・品川）
これか（＾＾
外部ﾘﾝｸ:enterprisezine.jp
EnterpriseZine
DBプロに会いたい！
「すべてのIT屋は全力で反省しろ！」― ノーチラス・テクノロジーズ 神林飛志さん
省12
222: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)11:04:21.33 ID:id6ENHqe(4/31) AAS
>>221
つづき
初期の歴史
主題としてのモデル理論はおおよそ二十世紀の中頃から存在している。しかしながら、特に数理論理学においてそれ以前から研究されていたいくつかの理論はモデル理論的な性質を持っていたと考えることができる。
モデル理論の系譜における最初の顕著な成果はレオポールト・レーヴェンハイム（英語版）により1915年に発表された下方レーヴェンハイム-スコーレムの定理の特別な事例である。
コンパクト性定理は、トアルフ・スコーレムによる仕事において萌芽が見られるが[1]、ゲーデルの完全性定理の証明中の補題として1930年に初めて発表された。
レーヴェンハイム-スコーレムの定理およびコンパクト性定理は1936年および1941年にモルツェフ（英語版）によって一般的な形で形式化された。
省2
408(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/14(土)19:20:27.33 ID:s6Tab8iq(6/13) AAS
>>407
つづき
阿部氏の業績を解説するためにまず，その中核をなす「数論的 D 加群」について簡単
に歴史的背景を説明しよう．有限体上の多様体の L 関数に関する Weil 予想に触発された
Grothendieck は，一般の体 (特に有限体) k 上の代数多様体にたいして定義される良いコ
ホモロジー理論 (Weil コホモロジー) のひとつとして ? 進エタール・コホモロジーを導入
した．ここで ? は k の標数 p とは異なる素数で，? 進エタール・コホモロジーは k の絶対
省17
471(1): BLACKX ◆SvoRwjQrNc 2019/12/18(水)17:59:37.33 ID:hezn3uSy(1/2) AAS
なるほど
754: 2019/12/29(日)14:03:22.33 ID:JEVheZqe(2/5) AAS
AA省
889: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)00:14:40.33 ID:ivt0JCXh(1/37) AAS
メモ
「小沢 登高 Narutaka OZAWA」先生
下記、面白いわ
迷い込んで、つい全部読んでしまった（＾＾；
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
小沢 登高 Narutaka OZAWA
履歴
省11
903: 2020/01/03(金)08:53:02.33 ID:glmNLmg1(2/13) AAS
>>901
教科書を疑う前に自分の直感を疑うべきだな
トンデモは自分の直感を疑えない
920(1): ◆QZaw55cn4c 2020/01/03(金)13:56:37.33 ID:fAtkxEJE(4/4) AAS
>>917
＞ポーランド記法ご存知ですか
逆ポーランド＝後置はよく使いますね、私の教科書的には「オートマトン論・計算機言語論」という分野でしょうね
＞自分が何をどれだけ理解しているかなど、このバカ板で説明する義務も必要もない
まあ、私もそう思っていますが、ただ、意思して説明しなくとも、「わかっているか、わかっていないか」は自然に表出されるというものですよ、お気をつけあそばせ ：−）
960(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)11:36:17.33 ID:BzkpPjaw(2/3) AAS
>>959
＞「有限列と同じく無限列にも最後の項がある」
無限列をコンパクト化すれば、最後の項が出来るよ
＞「尻尾の同値類全体に共通する尻尾がある」
無限数列のシッポの同値類でしょ
99/100なんて確率計算できない
それ（できない）を理解するには、極限として、無限数列の「尻尾の同値類全体に共通する尻尾がある」と考えると理解しやすいといっただけ
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s