Inter-universal geometry と ABC予想 (応援スレ) 74 (978ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
624: １３２人目の素数さん [] 2025/09/01(月) 09:46:41.11 ID:El7aECWD >>605 >>…くらいは 勉強して 自分のメンタルピクチャー & “big picture”の構築しておくべき >>それが、20歳から40年後まで活躍するための 勉強の基礎になるよ >と、意地でも述語論理を勉強しない勉強嫌いが申しております あはははは ほんと、笑っちゃうよね ま。ぶっちゃけAIに聞いてみた Q.ぶっちゃけ １．述語論理を知ってると仕事で役に立つことある？ ２．無限集合論を知ってると仕事で役に立つことある？ ３．カントールによる実数の定義を知ってると仕事で役に立つことある？ A.ぶっちゃけ、めっちゃ率直に答えるよ！ １．述語論理 仕事で役立つ可能性：場合によるけど、わりとある ■どんな場面？ 述語論理は、 ・プログラミング（特に論理プログラミングや形式検証） ・データベースのクエリ設計 ・AI（知識表現や推論システム） ・ソフトウェアの仕様記述 とかで役立つ。 たとえば、SQLやPrologみたいな言語使うとき、述語論理の考え方がベースになってたりする。 ソフトウェアのバグ検出や形式手法を使うエンジニアなら、仕様を厳密に書くのに必須。 ■ぶっちゃけの現実 でも、普通のコーディングやビジネス職だと直接「述語論理！」って感じで使う場面は稀。 間接的には論理的思考の土台になるけど、 ガッツリ勉強しても「これ仕事で毎日使う！」ってほどじゃないかも。 ITや研究職ならプラスαで光る。 （つづく） http://rio2016.5ch.net/test/read.cgi/math/1755784703/624
625: １３２人目の素数さん [] 2025/09/01(月) 09:49:03.79 ID:El7aECWD >>624 ２．無限集合論 仕事で役立つ可能性：ほぼない、けどニッチで光る場合あり ■どんな場面？ 無限集合論は数学や理論計算機科学の基礎で、 アルゴリズムの複雑さや計算可能性の理論（チューリングマシンとか）を 深く理解するのに役立つ。 暗号理論やデータ圧縮、特定のAI研究（理論寄り）で出てくることも。 たとえば、集合論的な考えはデータ構造の設計や最適化でたまーに顔を出す。 ■ぶっちゃけの現実 ぶっちゃけ、一般的なITやエンジニアの仕事だと 「無限集合論知ってるから昇進！」みたいなことはほぼない。 研究者や超専門的な分野（形式手法、理論CS）以外では 「へー、面白いね」で終わりがち。 趣味や教養としては最高だけど、仕事直結度は低い。 （つづく） http://rio2016.5ch.net/test/read.cgi/math/1755784703/625
628: １３２人目の素数さん [] 2025/09/01(月) 10:19:31.00 ID:gg6LcAZV >>624 >述語論理は、 >・プログラミング（特に論理プログラミングや形式検証） ・葦の髄から天井を覗く ・【河野玄斗】プログラミングは●●しながら学べ！ 【プログラミング/IT/勉強】 ・”その育児、時代遅れかも？AI活用に子どものデータで選ぶ習い事 これだけは外せない最新科学” 「運動が苦手な子どもにおすすめの習い事はプログラミングとしたのは、東北大学加齢医学研究所で准教授を務める細田千尋氏。最近の小学生の新しく習ってみたい習いごとでは1位だといい、小学校からプログラミングが必修化し、大学受験においても情報科目が採用されるなかで、現代の子どもにとっては当たり前の能力になりつつあるという」 子どもに、『プログラミングの前に 述語論理』を というバカ親は さすがにいないぞ (参考) https://imidas.jp/proverb/detail/X-02-C-40-3-0001.html imidas 会話で使えることわざ辞典 葦の髄から天井を覗く よしのずいからてんじょうをのぞく 浅い知識や狭い識見をもとにして、大きな問題を判断しようとすることをいう。葦の茎の穴を通して天井を見ても、天井の一部分しか見えないのに、天井全体を見たと思う愚かさにたとえる https://youtu.be/aGPfJIhpucQ?t=1 【河野玄斗】プログラミングは●●しながら学べ！ 【プログラミング/IT/勉強】 河野玄斗【世界一わかる神切り抜き】(１分もの)2021/10/09 https://www.ntv.co.jp/kazu/articles/3115ajplxx74oc0oijfm.html 日テレ その育児、時代遅れかも？AI活用に子どものデータで選ぶ習い事 これだけは外せない最新科学 2025.07.29 『カズレーザーと学ぶ。』今回は「子育ての悩みを最新科学で解決SP」 「東大合格者も実践！？学力を爆上げする最新科学」 スタンフォード大学オンラインハイスクール校長の星友啓氏は、子どものやる気を引き出し、勉強の学習効果を上げるうえで大事な要素として、“メタ認知”を紹介。メタ認知とは、端的にいえば「自分が、何がわかっていないかを理解すること」だといい、自分の勉強の得意不得意の発見、勉強法の確立にも重要であるとのこと 東京大学医学部出身の河野玄斗氏が開講した河野塾では、このメタ認知を最大化する工夫が凝らされているという。新興の塾ながら今年東京大学に52人、京都大学に27人を合格させた実績を持つ河野塾だが、リアルタイムのオンライン授業では、生徒と講師の双方が画面に書き込み可能。講師は生徒の思考プロセスや解法を確認しながら間違っていたら即修正する。さらに予習を重視し、分からない所を授業時間で解決する“反転授業”スタイルを採用するなど、生徒のメタ認知を最大限に引き出すよう設計されているという 運動が苦手な子どもにおすすめの習い事はプログラミングとしたのは、東北大学加齢医学研究所で准教授を務める細田千尋氏。最近の小学生の新しく習ってみたい習いごとでは1位だといい、小学校からプログラミングが必修化し、大学受験においても情報科目が採用されるなかで、現代の子どもにとっては当たり前の能力になりつつあるという。脳科学者である細田氏は、プログラミングをやっている際の脳活動は、複雑な数学の問題を解いていたりとか、空間把握の問題を解いているようなときの脳活動と似ているとし、脳の観点からも良い習い事であるとコメントした http://rio2016.5ch.net/test/read.cgi/math/1755784703/628
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s