20/06/28 02:51:41 JVFuVYx4.net
>>953
国内限定なの?
それとも海外含めたハナシ?
1001:１３２人目の素数さん
20/06/28 04:20:15.82 GNnWSYjY.net
>>953-956
日本の学部入試止まり学部卒止まり馬鹿ロレアは残念無念だから最初から無意味。
1002:１３２人目の素数さん
20/06/28 04:56:36.09 9IwZE5H3.net
というか、情報なら強いAIか計算複雑性
物理なら素粒子か非平衡統計力学
数学なら数論か量子幾何かミレニアム
この辺に貢献しなきゃ作業員でしかないし人材も糞もない皆同じ
1003:１３２人目の素数さん
20/06/28 05:04:07.62 GNnWSYjY.net
>>958
層が薄っぺらいのは困る。
受験のプロばかりあつっかましくて。
1004:１３２人目の素数さん
20/06/28 07:18:36 pZIGw+Wr.net
>>955
> 統一理論やるなら
高エネルギーの統一理論は物理
アインシュタインもウィッテンも物理、
ζの統一なら数学
オイラーもリーマンも数学、
IUTのように物理数学の混同は
百害あって一利なし
1005:１３２人目の素数さん
20/06/28 07:32:07 wQjhRQ0C.net
>>956
国内と世界両方の視点で
1006:１３２人目の素数さん
20/06/28 08:10:59 s9y8etZF.net
情報科学なら、物理も数学も必要ない
数学についていえば、ガロア理論もトポロジーもフーリエ解析も知らなくていい
ただ論理学くらいは知っといてほしいけどね
完全性定理・不完全性定理は常識
機械検証とかやるならもちろん、計算複雑性とかAIとかやるとしてもね
ちなみに医者は、どれもいらないｗ
なんで理?がそんなに難しいのかワケワカラン
1007:１３２人目の素数さん
20/06/28 08:39:36 pZIGw+Wr.net
>情報科学なら、物理も数学も必要ない
データから推定では逆の問題が必須
情報幾何で曲面多様体が必要
量子情報で物理のEPR現象量子的もつれが必要
情報エントロピーなら熱力学統計力学
の背景が必要
1008:１３２人目の素数さん
20/06/28 09:14:23.07 9IwZE5H3.net
>>963
そうそう、数学も物理も必要
まあ程度問題ではあるが、下手したら深層学習の理論にホッジ理論まで使用される
1009:１３２人目の素数さん
20/06/28 10:27:52
1010:.88 ID:s9y8etZF.net
1011:１３２人目の素数さん
20/06/28 10:35:42.15 s9y8etZF.net
ハッタリ屋の例
URLﾘﾝｸ(www.jstage.jst.go.jp)
上記で紹介されてる○木氏は、数学で話題になった理論や成果に
コジつけた論文を出すことでその筋では有名だった
しかしどれもこれもムリヤリ感満載で（技術としてはともかく）
理論としては全然次につながらなかった
ちなみに出身はKOの理工学部で工学系らしい
この板のセタみたいな感じ
しかしセタよりは煙巻きの術がうまかったｗ
URLﾘﾝｸ(www.hmv.co.jp)
1012:１３２人目の素数さん
20/06/28 10:45:39.34 s9y8etZF.net
情報科学（というか論理学）で数学が必要かもな、と思わせる動き
Homotopy Type Theory
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
もっとも中身を見る限り、数学の証明に情報科学の手法を使ってるみたいだが
（それはそれで面白いからアリ）
1013:１３２人目の素数さん
20/06/28 12:34:08.38 2VTX4WuJ.net
>>965
>量子云々といっても理論だけなら数学
すごいね、
量子論理の公理にしろ測定過程がある
時代にw
1014:１３２人目の素数さん
20/06/28 12:38:18 9IwZE5H3.net
>>965
967のようにはっきり方向が見えてこないものは全てインチキやハッタリに見えるもんだが
某空間でのホッジ理論が深層学習など神経回路理論に使えるのは間違いないんだけどね
ただ応用上可能であってもそれくらい新しく負荷があるんならもはや数学として研究したほうがいいわけ
数理情報学の研究科でも数理統計学は数学科出身が普通だからな
普通の情報系は基本的には複素解析くらいまでにしといたほうが火傷しないで済む
1015:１３２人目の素数さん
20/06/28 12:58:55.37 2VTX4WuJ.net
>>967
情報とは何？
量子力学のEPR現象では光速を超えて
波束が収束する、
なぜデータ通信に使わないのだろうか？
1016:１３２人目の素数さん
20/06/28 13:15:10 iuA6Jwjb.net
>>970
重ね合わせの原理を使う量子コンピュータ、とは別の方式の量子コンピュータを作れるらしいぞ。
1017:１３２人目の素数さん
20/06/28 13:21:41 s9y8etZF.net
>>969
＞某空間でのホッジ理論が深層学習など神経回路理論に使えるのは
＞間違いないんだけどね
それは離散フーリエ変換並みに役に立つ堅い技術ってことかい？
某空間がどういう空間か分からんから
君が詐欺師でないと判断するには十分ではないが・・・
＞（HTTのようにはっきり方向が見えてこないものは
＞全てインチキやハッタリに見えるもんだが
「はっきり方向が見えてこない」というより
「具体的に何のために使うか明らかでない」といったほうがいいかな
で、君にとって例えば論理ってインチキやハッタリかい？
論理というのは、具体的に何のために使うかなんて決まってない
何に使ったっていいわけだ
HTTもそれと同じだよ 情報科学というのは
別に個別技術とかいうタクティクスの寄せ集めではない
そんなものは、個別科学、個別工学でやればいい
むしろプログラミング一般で使えるストラテジーこそが情報科学の神髄
＞普通の情報系は基本的には複素解析くらいまでにしといたほうが
なんで複素解析？ 要らないだろ（教養として知ってたっていいけどｗ）
むしろ論理を学んだほうがいい（まあ、カリキュラムに入ってますけどね）
1018:１３２人目の素数さん
20/06/28 13:24:24 s9y8etZF.net
ID:2VTX4WuJ
君、大学の数学も物理も全く知らないド素人だろ�
1019:H 口臭が実に素人臭い酸っぱいニオイがするｗ 歯磨けｗ
1020:１３２人目の素数さん
20/06/28 13:30:01 s9y8etZF.net
ド素人の特徴
・物理学が究極の学問だと思い込んでる
（大抵、抽象化が理解できない具体馬鹿）
・二言目には量子といいたがる
（量子というのが究極の魔法だと思ってるらしい）
・エントロピーという言葉も大好物
（そのくせ対数とか全然分かってないｗ）
私は、物理どころか数学ですら究極の学問とは思ってない
論理学こそ究極の学問だろうｗ
1021:１３２人目の素数さん
20/06/28 13:43:19.82 QUvFy6J+.net
>>970
それが通信に使えないことはノイマンが証明している
1022:１３２人目の素数さん
20/06/28 18:52:03.23 Vt3HliZ/.net
望月先生とその一派を貶める意図は全くないのだが、全世界で関心を持っている研究者が数十人しかいない理論に一般人まで沸き立つのは異常だよ
加藤文元先生の本買った奴の9割は線形代数すら（いや、多分高校数学すら）まともに理解してないだろう
つまり、そういう人がこの本を読んだって
・abc予想は難しい
・その難しい問題を望月さんが解いた
という事実すら理解しない
これ、意味あるか？
1023:１３２人目の素数さん
20/06/28 18:52:47.99 Vt3HliZ/.net
✕事実すら
○事実しか
1024:１３２人目の素数さん
20/06/28 18:59:07.63 9IwZE5H3.net
>>972
その反応でよくわからん理工学部出身の崩れだなというのがわかった
発狂してるけど、要するに複素解析を使う情報科学の理論が思い付かないってことでしょ？
しかも本当にまともな論理学者なら「論理学」なんて一緒くたにしない。どういう論理学かに言及する
せいぜい狭い自分の脳内に閉じ籠って他人を見下してください
1025:１３２人目の素数さん
20/06/28 19:10:47.69 oJfWUhgK.net
学部生とかで「IUT理論を勉強したい」とか言ってるのって、単に「話題のキーワード」に飛びついてるだけで内容理解する気ないから、ぶっちゃけ数学に向いてないよね
1026:１３２人目の素数さん
20/06/28 19:11:37.42 9IwZE5H3.net
>>972
必然性があるかって意味ではあるよ。統計学の計量の話だから。だがちゃんと一般化しないと使えない
単純にその情報分野の研究者でそこまで踏み込む人かいないので、全然進んでないけどね
やれないことはなくても面倒な話だからな
1027:１３２人目の素数さん
20/06/28 22:33:52.14 VB7IHKZR.net
>>976
世界に数十人もいる時点で研究テーマとしてはメジャーもいいとこなんだがそれはそれとして
数学に興味を持つ人たちを増やして裾野を広げるという意味はあるよ
たとえ本人に数学に対する興味がなくともその子供が読んで興味を持つかもしれない
1028:１３２人目の素数さん
20/06/29 01:02:48.44 9kxd/LKj.net
現代数学の系譜ってなんでセタって呼ばれてる？
1029:１３２人目の素数さん
20/06/29 06:41:14 GkGJv2T6.net
＞要するに複素解析を使う情報科学の理論が思い付かない
電気関係ならバンバン使うだろうけどね
でも、それは情報科学じゃないよな
1030:１３２人目の素数さん
20/06/29 06:43:43 GkGJv2T6.net
>>978
＞本当にまともな論理学者なら「論理学」なんて一緒くたにしない。
＞どういう論理学かに言及する
論理学は一つです 論理が無数にあるだけ
これがまともな論理学者の考え方
「俺は●●論理しか正しいと認めない」
というのは●違いです
あなたは完全な●違いｗｗｗｗｗｗｗ
で、どの論理の原理主義者カナ？（嘲）
1031:１３２人目の素数さん
20/06/29 06:45:35.73 GkGJv2T6.net
>>980
何に対する回答？
君、スキゾフレニアかな？
1032:１３２人目の素数さん
20/06/29 06:49:02.56 GkGJv2T6.net
>>979
学生だけじゃないけどね アラ還の爺ぃで
「IUT理論を勉強したい」とかいって
シコシコ検索（のみ）して、
蟄居スレに結果を（読まずに）コピペ
しまくってるヤツいるけど
・・・ま、時間の無駄だね
そんな態度だから、いつまでたっても
数学が１ｇも理解できないことに
臨終間際には気づいてほしいね
でないと、人生全く無駄だからｗ
1033:１３２人目の素数さん
20/06/29 08:44:31.32 3cDNJ67t.net
>>966
名前をぼかさずに白木善尚とはっきり書けよ
1034:１３２人目の素数さん
20/06/29 08:48:30.22 3cDNJ67t.net
>>984
数理論理学と論理学はハッキリ違う
1035:１３２人目の素数さん
20/06/29 09:29:32 swddx96C.net
>>982
ｽﾚﾘﾝｸ(math板:74番)
> file:///C:/Users/seta/AppData/Local/Temp/1902_Sylow.html
User Name = seta
1036:１３２人目の素数さん
20/06/29 09:57:47 s0r2cBjq.net
>>966
「abc予想とフーリエ向井」とかな。
1037:１３２人目の素数さん
20/06/29 12:56:38.31 dURyYhlp.net
>>986
IUTが中二病ワードになっているきらいはある
宣伝が成功しているようだね
実は数学のトリックにすぎず現実世界に全く影響を与えないとばれてしまったらどうなるのか
1038:１３２人目の素数さん
20/06/29 13:52:58.82 GkGJv2T6.net
>>988
「論理学だが数理論理学でないもの」を具体的に示されたい
1039:１３２人目の素数さん
20/06/29 15:36:04.60 ayvAzJ9x.net
早く宇宙際メリン変換作ってリーマン予想解決してくれよ
1040:１３２人目の素数さん
20/06/29 15:45:49.90 xAqDI8zT.net
>>992
というかカテゴリーが違う
1041:１３２人目の素数さん
20/06/29 16:37:44 GkGJv2T6.net
>>994
回答不能で悶死 成仏しろよ(-||-)
1042:１３２人目の素数さん
20/06/29 17:02:00 yeAwg3TA.net
数理論理学は数学の一分野、これは簡単。
論理学は文系の論理学で、たとえば、「女の論理」とか超難しい。
1043:１３２人目の素数さん
20/06/29 17:09:57 GkGJv2T6.net
>>996
文系の論理学とは何か 具体的に書き切ってみせろ
1044:１３２人目の素数さん
20/06/29 17:12:33 0FXZ9iNy.net
女は男が好きだ
女は男が嫌いだ
これがマジ両立するのよね！
1045:１３２人目の素数さん
20/06/29 17:14:16 IMT8AFcf.net
昔の論理学は今は論理学と呼ばれないものも論理学で扱っていた
1046:１３２人目の素数さん
20/06/29 17:15:55 pDaNvv2L.net
1000なら次スレは掲載されてから
1047:1001
Over 1000 Thread .net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 41日 19時間 21分 26秒
1048:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています