Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新

---

624(2): 09/01(月)09:46 ID:El7aECWD(1/3) AA×
>>605


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
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
くらいは 勉強して 自分のメンタルピクチャー の構築しておくべき それが歳から年後まで活躍するための 勉強の基礎になるよ と意地でも述語論理を勉強しない勉強嫌いが申しております あはははは ほんと笑っちゃうよね まぶっちゃけに聞いてみた ぶっちゃけ １述語論理を知ってると仕事で役に立つことある？ ２無限集合論を知ってると仕事で役に立つことある？ ３カントールによる実数の定義を知ってると仕事で役に立つことある？ ぶっちゃけめっちゃ率直に答えるよ！ １述語論理 仕事で役立つ可能性場合によるけどわりとある どんな場面？ 述語論理は プログラミング特に論理プログラミングや形式検証 データベースのクエリ設計 知識表現や推論システム ソフトウェアの仕様記述 とかで役立つ たとえばやみたいな言語使うとき述語論理の考え方がベースになってたりする ソフトウェアのバグ検出や形式手法を使うエンジニアなら仕様を厳密に書くのに必須 ぶっちゃけの現実 でも普通のコーディングやビジネス職だと直接述語論理！って感じで使う場面は稀 間接的には論理的思考の土台になるけど ガッツリ勉強してもこれ仕事で毎日使う！ってほどじゃないかも や研究職ならプラスで光る つづく

---

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

---

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

---

ぬこの手 ぬこTOP 0.040s