
はてなキーワード:解析学とは
孤独が辛い。
助けてくれよ…
お盆の俺の1日
6:15起床。いつもより45分遅い
6:30朝食。休日なのでパン屋のカレーパンを食べる。暇つぶしに買ったマセマの解析学の本を読書
8:00読み終わったので今日はどうするかなあって思って無駄にしたくないからどこかに出かけることにきめる
8:30準備をして出発。今日は和歌山の那智勝浦に行くことにした。ラジオは適当に流す
10:00。和歌山の印南SAで休憩。トイレに行く。コーヒーを買った。混み出したので下道に移動。
13:30勝浦着。滝と上でお詣りして終わり。
18:30自宅の近所のドラッグストアのサラダを買いに行ったら同級生の女がいてた。お腹が膨らんでいた
21:00眠くなったのでそのまま寝た
こんな感じで誰ともコミュニケーション取らない日が続いてる…
どうすればいいんだよ。助けてよ…
数学科なら大学数学を謳った本がいくらでもあるし線形代数と解析学を学ぶということも有名だからそういう意味で何を独学すれば大学のカリキュラムをなぞったことになるかの目途は立つ。
(というか岩波講座全部やればそこらの数学科卒よりは賢くなるだろう)
で、史学部ってなにやるんだよ?日本史世界史をいくら学んでも高校までの歴史の継ぎ足しにしかならんから、学ぶべき知識としてそういう方向性じゃ大学レベルを独学したことには全くならないことぐらいしか分からん。
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20250618190920 -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaFKQUAAKCRBwMdsubs4+SBLeAQD3XA42o/NWTUiaHtPwX0kNbI+lYA2V+re5WQy76XRe1gEAmy4NlmI0rNzAK7lJtlYZ/qSssQJ2b0RrsfNyylmKtgM==tU1a-----ENDPGP SIGNATURE-----
端的に言えば、ある物理理論におけるAブレーンが作る世界の構造(圏)と、その双対理論におけるBブレーンが作る世界の構造(圏)が一致するという物理的な要請が、数学上の「幾何学的ラングランズ対応」という予想そのものを導き出す、という驚くべき対応関係が存在する。
AブレーンとBブレーンは、超弦理論において「D-ブレーン」と呼ばれる時空に広がる膜のようなオブジェクトの特殊なもの。
これらはホモロジカルミラー対称性という予想の文脈で役割を果たす。
シンプレクティック幾何学における「ラグランジアン部分多様体」に対応。これは、時空の「位置」に関する情報を主に捉える対象。
Aブレーン全体の集まりは、「深谷圏 (Fukaya category)」と呼ばれる数学的な圏を構成。
代数幾何学における「正則部分多様体」や「連接層」に対応。これは、時空の「複素構造」やその上の場の状態に関する情報を捉える対象。
Bブレーン全体の集まりは、「連接層の導来圏 (derived category of coherent sheaves)」と呼ばれる圏を構成。
ある空間(カラビ・ヤウ多様体 X)のAブレーンが作る世界(深谷圏)が、それとは見た目が全く異なる「ミラー」な空間 Y のBブレーンが作る世界(導来圏)と、数学的に完全に等価(同値)である、という予想。
ラングランズプログラムは、現代数学で最も重要な予想の一つで、「数論」と「表現論(解析学)」という二つの大きな分野の間に、深い対応関係があることを主張。
1. 数論側: 曲線 C 上の「G-局所系」の圏。ここで G はリー群。これはガロア表現の幾何学的な類似物と見なせる。
2.表現論側: 曲線 C 上の「ᴸG-D-加群」の圏。ここで ᴸG は G のラングランズ双対群。これは保型形式の幾何学的な類似物。
つまり、C上のG-局所系の圏 ≅ C上のᴸG-D-加群の圏 というのが、幾何学的ラングランズ対応。
この一見無関係な二つの世界を結びつけたのが、物理学者アントン・カプスティンとエドワード・ウィッテンの研究。
彼らは、N=4 超対称ゲージ理論という物理理論を用いることで、幾何学的ラングランズ対応が物理現象として自然に現れることを示した。
彼らが考えたのは、リーマン面(代数曲線)C 上のゲージ理論。
これは、ゲージ群が G で結合定数が g の理論と、ゲージ群がラングランズ双対群 ᴸG で結合定数が 1/g の理論が、物理的に全く同じ現象を記述するというもの。
このゲージ理論には、「ループ演算子」と呼ばれる重要な物理量が存在し、それらがブレーンに対応。
S-双対性は、G理論と ᴸG理論が物理的に等価であることを保証。
したがって、一方の理論の物理的な対象は、もう一方の理論の何らかの物理的な対象に対応しなければならない。
カプスティンとウィッテンが示したのは、このS-双対性によって、G理論の A-ブレーン ( 't Hooftループ) の世界と、その双対である ᴸG理論の B-ブレーン(Hecke固有層) の世界が、入れ替わるということ。
物理的に等価である以上、この二つの圏は数学的にも同値でなければならない。そして、この圏の同値性こそが、数学者が予想していた幾何学的ラングランズ対応そのものだった。
このようにして、弦理論の幾何学的な概念であるAブレーンとBブレーンは、ゲージ理論のS-双対性を媒介として、純粋数論の金字塔であるラングランズプログラムと深く結びつけられた。
大学数学の本って最初の方の分野なら高校数学を全て理解してなくてもわかる内容なんだよね。
具体的に言えば微分積分学(解析学の初歩)の本だ。(線形代数は今の高校のカリキュラムは行列を扱ってないので当たり前っちゃ当たり前)
大学への数学に登場するようなテクニックを既知としていないのがうれしい。
はみ出し削り論法なんて知らなくてもおそらくその論法に相当するものが推論に必要な証明では、当然では済ませずきちんとその論法の(おそらくより一般化されたもの)の紹介とその証明をその前後で提示してくれるものだろう。
俺は最初の一行目の「M2(R)はR上の線形空間としての自然な位相をもつ」でもう打ちのめされた。
M2の定義は既知なのか。eman物理でSL2とかの群の存在を知ってるからとりあえず群の一種ということ以外何もわからん。
三上洋一の数論幾何入門と言う本はわかりやすいというレビューが多かったからそれなら理解できるのかなあ。
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20250612143405 -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaEpnCAAKCRBwMdsubs4+SBRRAQD0iuG8Ojp9pINGuQPARYEj1NVVNv0G5z+tNwPVHrYkSwEA05m6zLgxbpF4sLFI7G2CJzhH8BhziI5kUVTer2bs7gM==k0mJ-----ENDPGP SIGNATURE-----
数学には「数の世界」(足し算や掛け算など、数字を計算する世界)と、「形の世界」(丸や三角、ドーナツみたいな形を研究する世界)があるんだ。
ラングランズ・プログラムは、この二つの世界をつなぐ「秘密の辞書」や「翻訳機」みたいなものだと思ってみて。
数の世界で、とても難しい問題があったとする。まるで、誰も知らない外国の言葉で書かれた暗号みたいだ。
この「秘密の辞書」を使うと、その難しい数の問題を、形のせかいの言葉に翻訳できるんだ。
すると不思議なことに、形のせかいでは、その問題が意外と簡単なパズルに変わることがある。
昔、フェルマーの最終定理っていう、350年以上も誰も解けなかった超難問があったんだけど、ある数学者がこの「秘密の辞書」の考え方を使って、数の問題を形の問題に翻訳して、ついに解くことに成功したんだ。
ラングランズ・プログラムは、この「秘密の辞書」を完成させるための、壮大な計画なんだよ。
ラングランズプログラムとは、数論における「ガロア表現」と、解析学における「保型表現」という、起源も性質も全く異なる二つの対象の間に、深遠な対応関係が存在するという広大な予想のネットワーク。
この対応は、それぞれの対象から定義される L関数という分析的な不変量を通して記述される。
体の絶対ガロア群 Gₖ =Gal(K̄/K)から複素一般線形群への準同型写像
ρ: Gₖ →GLₙ(ℂ)
これは、素数の分解の様子など、体の算術的な情報を捉えている。
数体 K のアデール環 𝔸ₖ 上の一般線形群GLₙ(𝔸ₖ) の、ある種の無限次元表現
π = ⨂'ᵥ πᵥ
これは、保型形式の理論から生じる解析的な対象で、スペクトル理論と関連。
n次元の既約なガロア表現 ρ と、GLₙ(𝔸ₖ) 上のカスプ的な保型表現 π が、それらのL関数が一致する
L(s, ρ) = L(s, π)
という形で、1対1に対応するだろう、と予想されている。
アンドリュー・ワイルズが証明した谷山・志村予想は、K=ℚ, n=2 の場合におけるこの対応の重要な一例であり、フェルマーの最終定理の証明の鍵となった。
このプログラムは、数論の様々な問題を統一的に理解するための指導原理と見なされている。
ラングランズプログラム? ああ、それは数学という世界の異なる大陸、数論(ガロア群)、解析(保型形式)、そして幾何(代数多様体)が、実は一つの巨大な超大陸の一部であったことを示す、壮大な地殻変動の記録だよ。
その核心は「関手性の原理」に尽きる。全ての根底にあるのは、簡約代数群 G とその L-group (ラングランズ双対群) ᴸG = Ĝ ⋊Gal(K̄/K) だ。
ラングランズ対応とは、有り体に言えば、数体 K 上の G に対する保型表現の集合 {π} と、K のガロア群から ᴸG への許容的な準同型の共役類の集合 {φ} の間の、然るべき対応関係を構築する試みだ。
φ:Gal(K̄/K) → ᴸG
この対応は、局所体 Kᵥ における局所ラングランズ対応(LLC) の貼り合わせとして現れる。
つまり、保型表現 π = ⨂'ᵥ πᵥ の各局所成分 πᵥ が、対応するガロア表現 φ の局所成分 φᵥ = φ|_(Gal(K̄ᵥ/Kᵥ)) と寸分違わず対応しているという、奇跡的な整合性の上に成り立っている。
しかし、真の深淵は「幾何学的ラングランズ」にある。ここでは数体を関数体に置き換える。代数曲線 X 上の G-束のモジュライ空間Bunᴳ(X) を考える。
幾何学的ラングランズ対応は、これら二つの全く異なる幾何学的世界の間に圏同値が存在するという、もはやSFの領域に片足を突っ込んだ主張だ。
これは物理学のS-双対性とも深く関連し、数学の異なる分野が同じ一つの構造を異なる言語で語っているに過ぎない、という真理の一端を我々に見せてくれる。
結局のところ、ラングランズ・プログラムとは、我々が「数学」と呼んでいるものが、実はより高次の存在が持つ表現の一種に過ぎないことを示唆しているのかもしれないね。
ベクトルとかコサインとか確かに高校数学なんだが高校でやってたのとはほぼ意味が違う
それぞれが何かを表現しているのは同じだけど、ただの解析の道具として使われている
解析学の根源にある考え方がイプシロンデルタ論法で、その式が、何をしたいのかがわかると他の場所の意味もなんとなくはわかると思う
そこに書いてるの大学12年でやる内容(集合位相、解析学、多様体)なんだが大学に入らずともそこらへんの教科書読めばそれぞれ半年もあれば学べる
しっかり座学をやらないのならイプシロンデルタ論法というのが大学数学の基礎だからそれさえ知ればあとは何を言わんとしているのかがわかるようになる
イプシロン-デルタ (数学ワンポイント双書)単行本 – 1978/5/1 がおすすめだったはずだが、正確には覚えていない
こんな感じのうっすい文庫本が出ていたはずで、それがわかりやすかったはず
1週間かけてこの本を読めばそこの文章は雰囲気がわかるようにはなる
高校卒業しても数IIIとか数IVとか言ってるやつは19万円がちょうどよいのじゃ。
恋人は大学で数学基礎論から数学VIまで修めたうえで、代数学I&II、解析学I&II、現代数学、数理演習I~IIIまで必修で納めているのじゃ。
選択科目次第ではもっともっと数学を勉強しているし、毎日数学を使って仕事をしているのじゃ。
数学に限らず、積み上げてきたものが違えば、必然的に能力も違うし、賃金に差がつくのも当たり前のことなのじゃ。
大体において国家資格を持ってたって、使ってないのだから賃金を嘆くのはそもそも筋違いなのじゃ。
厳しいことを言うようじゃが、仕事に関連する増田の勉強量は高校3年まででストップしているから、19万円分なのじゃ。
たとえ医師だって、トラックの運転手をさせたら月の稼ぎは30万円ちょっとじゃ。
そのことは、象牙の塔からでなければ理解できないと思うのじゃ。
そうしたら、ひたすらシャーレをオートクレーブしているだけの仕事は、19万円でもありがたいと思えるはずなのじゃ。
なにせ、明るく清潔で、屋根のある環境で、においもなく、座って作業することが認められているはずなのじゃ。
漁船から放り出される心配もなく、腐った魚の内臓を掃き捨てることもなく、冬の水に手を突っ込むこともなく、朝早くもなく、20kgの荷物を2つ3つ担ぐこともなく、天候不順で収穫が落ちることもなく、週末には雨が降らなくても休みで、イオン以外にも遊びに行けるはずなのじゃ。
でもわしは、そういうことを、増田が少しは理解していて愚痴を書いてると思うのじゃ。
みっともないけど、まあそういうこともあるよねって思っているのじゃ。
増田みたいな人は、今まで何人も見てきたのじゃ。
甘ったれるなとは思わないのじゃ。
甘えようが頑張ろうが、どのみち今後這い上がることもできないのじゃ。
人を収入で下に見るような相手と結婚して、下に見られながらも我慢して、したたかに生きていくものなのじゃ。
全ては、せっかく大学に入ったのに工学部を選択できなかった時点で決まっているのじゃ。
そして進路選択は、生まれる家庭環境によって大いに影響されているのじゃ。
できることはせいぜい、SNSをやめて、よそ様の生活を見ないように心がけることだけじゃ。
ひどいこと書いてごめんね。
体に気を付けてください。
関連ブクマ:https://b.hatena.ne.jp/entry/s/mainichi.jp/articles/20230822/k00/00m/040/214000c
アメリカと日本の大学における理系の研究で、盛んな分野のトップ5をそれぞれ箇条書きにしてお答えします。
一般的に言えば、アメリカの方が日本よりも大学の研究が経済に与える貢献度は高いと考えられます。その理由として、以下の点が挙げられます。
アメリカでは、大学の研究成果を産業界に移転する仕組みが整っており、特にベンチャー企業の創出や成長につながっています。例えば、スタンフォード大学やマサチューセッツ工科大学(MIT)などは、シリコンバレーやボストンエリアといったイノベーションの中心地に位置し、多くのハイテク企業やスタートアップ企業と連携しています。また、大学発ベンチャーの成功事例としては、グーグルやフェイスブックなどが有名です。
日本では、大学の研究成果を産業界に移転する仕組みが十分ではなく、特にベンチャー企業の創出や成長につながっていません。例えば、日本の大学発ベンチャーは、アメリカや欧州と比べて少なく、また規模も小さいです。その原因としては、日本の大学の知的財産管理やライセンス交渉の能力が低いことや、日本の産業界が新技術や新製品に対する需要が低いことなどが挙げられます。
以上のことから、アメリカでは大学の研究が経済に与える貢献度は高く、日本では低いと言えるでしょう。もちろん、これはあくまで一般的な傾向であり、日本でも優れた大学発ベンチャーは存在しますし、アメリカでも大学の研究が経済に貢献しない場合もあります。しかし、日本はアメリカから学ぶべき点が多いと思います。
アメリカと日本において、お金を生みやすい研究の分野は、それぞれ異なる傾向があります。
一般的に、アメリカでは、医学・生命科学、コンピュータ・情報科学、工学などの分野が研究開発費の多くを占めており、高い経済効果や社会的影響力を持っています1。
日本では、自動車やロボットなどの製造業に関連する分野が研究開発費の大部分を占めており、国際競争力を高めています。しかし、日本の研究開発費は、GDP比で3.3%と先進国の中で低い水準にとどまっており、基礎研究や新領域の研究に対する投資が不足しているという課題があります。そのため、日本では、エネルギー・環境、生命科学・医療、人工知能・ビッグデータなどの分野において、イノベーションを生み出すための研究開発費の拡充が必要とされています。
知的作業の本質を論じることは困難。数学の最も重要な特徴は、自然科学、もっと一般的に言えば、純粋に記述的なレベルよりも高いレベルで経験を解釈するあらゆる科学との、極めて特異な関係にあるとノイマンは考えていた。
ほとんどの人が、数学は経験科学ではない、あるいは少なくとも経験科学の技法とはいくつかの決定的な点で異なる方法で実践されていると言う。しかしその発展は自然科学と密接に結びついている。
まず幾何学。力学や熱力学のような、間違いなく経験的な他の学問は、通常、多かれ少なかれ仮定的な扱いで提示され、ユークリッドの手順とほとんど区別がつかない。ニュートンのプリンキピアは、その最も重要な部分の本質と同様に、文学的な形式においてもユークリッドと非常によく似ている。仮定的な提示の背後には、仮定を裏付ける物理的な洞察と、定理を裏付ける実験的な検証が存在する。
ユークリッド以来、幾何学の脱皮は徐々に進んだが、現代においても完全なものにはなっていない。ユークリッドのすべての定理のうち、5番目の定理が疑問視された最大の理由は、そこに介在する無限平面全体という概念の非経験的性格にあった。数学的論理的な分析にもかかわらず、経験的でなければならないかもしれないという考えが、ガウスの心の中に確かに存在していたのである。
ボリャイ、ロバチェフスキー、リーマン、クラインが、より抽象的に当初の論争の形式的解決と考えるものを得た後も、物理学が最終決定権を握っていた。一般相対性理論が発見されると、幾何学との関係について、全く新しい設定と純粋に数学的な強調事項の全く新しい配分で、見解を修正することを余儀なくされた。最後に、ヒルベルトは、公理幾何学と一般相対性理論の両方に重要な貢献をしている。
第二に、微積分学から生まれたすべての解析学がある。微積分の起源は、明らかに経験的なものである。ケプラーの最初の積分の試みは、曲面を持つ物体の体積測定として定式化された。これは非軸性で経験的な幾何学であった。ニュートンは、微積分を基本的に力学のために発明した。微積分の最初の定式化は、数学的に厳密でさえなかった。ニュートンから150年以上もの間、不正確で半物理的な定式化しかできなかった。この時代の主要な数学的精神は、オイラーのように明らかに厳密でないものもあったが、ガウスやヤコービのように大筋では厳密なものもあった。そして、コーシーによって厳密さの支配が基本的に再確立された後でも、リーマンによって半物理的な方法への非常に独特な回帰が起こった。リーマンの科学的な性格そのものが、数学の二重性を最もよく表している例である。ワイエルシュトラス以来、解析学は完全に抽象化、厳密化され、非経験的になったように思われる。しかし、この2世代に起こった数学と論理学の「基礎」をめぐる論争が、この点に関する多くの幻想を払拭した。
ここで、第三の例。数学と自然科学との関係ではなく、哲学や認識論との関係である。数学の「絶対的」厳密性という概念そのものが不変のものではないことを示している。厳密性という概念の可変性は、数学的抽象性以外の何かが数学の構成に入り込んでいなければならないことを示す。「基礎」をめぐる論争を分析する中で、二つのことは明らかである。第一に、非数学的なものが、経験科学あるいは哲学、あるいはその両方と何らかの関係をもって、本質的に入り込んでいること、そしてその非経験的な性格は、認識論が経験から独立して存在しうると仮定した場合にのみ維持されうるものであること。(この仮定は必要なだけで、十分ではない)。第二に、数学の経験的起源は幾何学と微積分のような事例によって強く支持されるということ。
数学的厳密さの概念の変遷を分析するにあたっては、「基礎」論争に主眼を置くが、それ以外の側面は、数学的な "スタイル "の変化についてであり、かなりの変動があったことはよく知られている。多くの場合、その差はあまりにも大きく、異なる方法で「事例を提示」する著者が、スタイル、好み、教育の違いだけで分けられたのか、何が数学的厳密さを構成するかについて、本当に同じ考えを持っていたのか、疑問に思えてくる。
極端な場合には、その違いは本質的なものであり、新しい深い理論の助けによってのみ改善されるのであり、その理論の開発には百年以上かかることもある。厳密さを欠く方法で研究を行った数学者の中には(あるいはそれを批判した同時代の数学者の中には)、その厳密さの欠落を十分認識していた者もいたのである。あるいは、数学的な手続きはどうあるべきかというその人自身の願望が、彼らの行動よりも後世の見解に合致していたのだ。たとえばオイラーなどは、完全に誠実に行動し、自分自身の基準にかなり満足していたようである。
掲示板に以下の引用文を書いたらいろいろ文句を言われてむかついた。
句読点や文の区切りを意識すると読みやすくなるといったって、お前らが書いてる文章と比べて読点の量やタイミングや文と区切り方と差なんてねーじゃねーかと大概的外れに感じたが、なにに比べても圧倒的にむかついたのが「頭の中と文字が上手く繋がらないんでしょ。よくある発達さん」というもの。まあとにかく引用する。
気象予報するには予報士受かった程度じゃ全く足りず大学で気象学なり地学専攻してないときついと前スレにあったけど、逆にそのあたりの学士どころか博士さえ予報士資格を確実に取れるかといえばかなり微妙なところあるんじゃないの?と思う
大学で学べば解析学なりテンソルなりの知識を授かるから物理現象の数式化によって数値予報モデルを作れるようになる、つまり機械に予報させるスキルは身に付くことになるだろうけど。
まあ衛星画像から雲の存在高度や厚さを答えろみたいな問題ならさすがにパターン化できるけど、時系列ごとに並べた予想図を使って予想を答えろ的な問題は全然無理。
この日時までの部分を含めていいのかとか、微妙にこの県も含まれてる気がするけど含むべきかとか、そのあたりかなり曖昧で、少なくとも私は解くごとに間違える
むしろ物理現象の数式化というスキルと比べても予想図の解釈とかいうのはチャート式みたいに言語化して教えられない主観的なセンスによるところが大きすぎる。たとえるなら株のチャートを見てこの株は上がるか下がるかみたいなデイトレのスキルに似てる。あれもだめなやつはどんなに練習しても次の一回で大損する選択をしかねない。
実技の参考書持ち込み可でも50点も取れる気がしないから、大学行ってりゃ受かるとかいうものじゃないと思うんだがどうだろう?真鍋叔郎氏でもある意味で落ちるんじゃね?
「頭の中と文字が上手く繋がってない」などと言うからには、批判先の文章が日本語として体をなしてないはずだ。
しかし別にそんなことなかろう。むしろ山田悠介より全然ましだと思う。これがたとえば日本語学びたての外国人が書いたかのような文章に見えるだろうか?
頭の中と文字がつながらないとはやや専門的に言えば、内言を同じ意味を持つ文法等がまともな日本語に変換できないということを意味するが、俺自身が発達だから知らんが別に字面からそんなふうなことが起こっているようには見受けられない。
ああいや、俺の言葉の使い方が怪しいのかもしれん。学際というのは複数の分野にまたがることを前提として作られた学問って意味合いで言ってる。
超ひも理論などはもっぱら数学を活用した物理のための学問だろう。別に他の学問に一切活用されてない学問を所望してるわけじゃないし(そんなこと言ったら代数学できないし)、それにしても物理学で数学に対抗するのはなんか力士に野球で決着をつけようとしてるようで違うかなーって。
数学の現段階での(数学という系譜上に)最終到達点としての学問領域って数論幾何以外になんかあるのかなとシンプルに疑問に感じただけ。たとえばルベーグ積分を学ぶのを最終目標にしようって全体じゃそんなのは数論幾何の踏み台としての解析学のしかも中間地点あたりの成果の技法でしかないわけだしねえ。
別に本気で学びたいとか言ってるんじゃなくて数論幾何がもてはやさてるなかでの、他になんかないのかっていう素朴な興味やら反発心混じりの疑問ってだけだよ。
数学の分科のうち数論幾何は研究にあたって必要な知識が最も多いと言われていますが、必要な知識量がこれに匹敵してするものはありますか?ある場合はその中でももっとも数論幾何の場合とは研究に要する前提知識において重複が少ない分科をあげてください。
↓
数論幾何に匹敵すると言われている学問としては、代数学や解析学があります。また、数論幾何とは別の枠組みで研究されている分科としては、トポロジーや微積分学などがあります。数論幾何とは研究に要する前提知識において重複が少ないと言われている分科としては代数学やトポロジーが挙げられます。
…
いや数論幾何にはトポロジーどころかホモロジーとか普通に必要じゃん何言ってんのこのクソアホAiは。
俺は数論幾何とは結構研究対象が食い違ってる中でそれを研究してたら天才と言われる数論幾何とタメを張れる数学の学問領域はあるかって聞いてるんだよ
解析学も、代数学も、トポロジーも、数論幾何という高みから見たらそれを理解するための踏み台たたき台でしかねえ。下位互換の学問を勉強等の最終目標にしたって仕方ねえんだよ。大は小を兼ねるってやつだ。
同じような知識を必要とする学問だと多少異なってても現に天才と言われてるやつに実績で敵う可能性は低いからな。毛色の異なる分野で対抗する方が賢明だし、それを探すには前提知識の重複具合を基準に考えるのが手っ取り早い。
0の0乗 -Wikipedia
https://ja.wikipedia.org/wiki/0%E3%81%AE0%E4%B9%97
0 の 0 乗(れいのれいじょう)は、累乗あるいは指数関数において、底を 0、指数を 0 としたものである。その値は、代数学、組合せ論などの文脈ではしばしば 1 と定義される[注 1]一方で、解析学の文脈では二変数関数 xy が原点 (x, y) = (0, 0) において連続とならないため定義されない場合が多い。
https://www.google.com/search?q=0%5E0
どうやっても矯正できないだろうし、こんな新入社員を通した人事は一体何を考えているんだか
基本的にうちに入ってくる人材は物理や生物を齧ってきた院卒の理系が中心なんだけれど
去年入ってきた新入社員は本当にひどかった、いや現在進行形で今もひどい
第一印象は穏やかで基本的にはイエスマンな学生、悪く言えば根暗な子という印象だった
最初にあった時に長期目標(弊社で、弊部署でどの様になっていきたいか、具体的に何をやりたいか)を聞いてみた時には
はっきりと目標を見据えてないらしく、ぼんやりとした回答しか返ってこなかった
まあ最初のうちはそんなもの、一年もすればもう少し使い様のある人物に育つだろう
そう思っていた
ところがこれがてんでダメだった
最初のうちは雑用が中心だったのだけれど、報告書や議事録の作成にも一日かかる
日報や月報もおぼつかない時があるし、かといって研究業務は液クロガスクロすらちゃんととれない
確かにうちは大学の「分析化学」「物理学」「生体機能解析学」みたいな括りからは少し外れた所をやっているけれど
少なくとも半年すれば多少は使いものになるはずの人材だったのが、全然それに当てはまらない
おまけに内向的でコミュニケーション能力も低い、というより主体性が何もない
研究なんて新しいことをしてなんぼ、長期目標を見据えて動けるのが普通という所なのに
彼はそういったことが全然できていないし、大学で6年間何をやってきたのかというレベル
共同研究先の大学に同行させて打合せさせたり、海外企業の研究員との商談(英語)に出しても
ほとんど喋らず帰ってきて議論のタネも英語力も皆無という事実が分かるのみ
この時点で大分手の付けようがなかったけど、まだ何とかフォローして成長してくれればと思っていたんだよ
一年経験したんだから分かるだろと案件を任せたが未だに解決しやしない
普通違う分野の知識なんて皆無でも一年猶予があって自習できる向上心があればできるはずだろう
(というかそういったものがなければ、我々がやっている法令対応や特許対応、申請業務なんぞ一生無理だと思う)
正直な話、派遣社員の方が技術力含め何もかも高いし、正社員で登用しているメリットが本当にない
弊部では基本的に二年目に新入社員の教育を行わせるのが慣習なんだが、あまりに酷すぎてやめさせた
替わりにお願いした中堅社員も「まあ、仕方ないですね」と納得しながら引き受けてくれたよ
その社員の方が二年目の社員よりも数十倍忙しいし、おまけに家庭も持っていて一番大変な時期だというのに
そうせざるを得ないほど、ただただ彼の状況が酷すぎた
そんな彼が、今度の社内発表会で弊部の業務成果の発表者に任命された
基本的に一年間で成果を出した人が発表するのだけれど、自分含め年かさの研究員は現在
結構な長期プロジェクトを抱えているためそちらに発表している暇なんかない
なので彼しか発表する人がいなかったというのが実情なんだけれど(ほかに動けるのが新入社員と派遣しかいないので消去法)
正直役員や経営陣にタコ殴りにされて、部署の株が地に落ちて終わりになると思ってる
確かに成果が無い所に急に発表者を投げた上司も悪いと言えば悪いんだが、
発表を押し付けられてから二ヶ月もあったんだから、発表に値する新規知見やら研究成果は普通に考えて出るでしょ??
納期に追われる企業勤めの研究員なんだ、不慣れとか二ヶ月「しか」なかったとかどう考えても言い訳だよね??
おまけに発表のストーリーすら全然できていないし、実験に対して全然ロジカルな考え方は出来てないし
その癖危機感がなくて上司にろくに相談しないし、上の人に助力を申し出たりしないし、かといって残業3桁やるでもない
上司についに詰められて一日かけて(わざわざ一日の業務や実験時間を潰して)発表のストーリー提出してたけど
そこまでしないと動かないのなら、研究はおろか社会人として働くのは向いてないからさっさと辞めてほしい、辞めてくれ頼むから
今年入った新入社員の子の方が気が利くし理解力はあるしコミュ力高いし、君の完全上位互換なんだよ
まだまだ書きたりない部分はあるし、バレとか気にしなければゆうに10倍くらいの愚痴は書けるくらい酷い
もう少し人間らしい社員だったら良かったなぁと、彼の無能さとそれで増える仕事の対応に頭を抱える日々にはもう疲れました
いい加減にしてほしい
Permalink |記事への反応(40) | 16:23
色々レスつけた増田だけど、改めて読み直してみると言いたいことがなんとなく分かる気がしてきた。
でも残念ながら「総称する呼び方」というものは存在しないと思うぞ。数学はトップダウンに見えるかもしれないけど実際は色々な分野の集合体で、それぞれは関連しつつも個別に発展していて、それらを統一する統一的な見方みたいなものは存在しない。どちらかというと(現代数学は)集合論を基礎として(いやそこにも色々あるが)、そこに分野ごとに様々な構造を追加していって枝分かれしていく感じだ。「統一する呼び方は何か」ではなく、自分が着目している対象(例えば「連続時間の信号」とかそういうのだ)が数学的にどういう対象として抽象化されているのかを考えて、その対象を扱っている分野はどれか、というのを探すべきだと思う。
連続時間の信号ならそれは単純には「連続関数」として抽象化されるものだから、それを扱う数学は解析学や関数解析などになるだろう。ノイズの影響を考慮して確率的な扱いをしたいとなると確率過程論などになっていく。
強いて言うなら「構造」かなあ。少なくとも俺はそういう言い方をよくする。「線形構造」はあらゆる分野の様々なところに現れるし、対称性のあるところには「群構造」があるし、線形作用素があるなら「スペクトル構造」を見ることで色々なことがわかる。
※タイトルと表紙だけ見て判断したので悪しからず。モノによってはキーワードだけ
私を食い止めて
水ってなんじゃ
かんどうかんくろう
僕僕先生
ニャン氏の事件簿
独りでできるもん
描かれた歯痛
前野ひろみち
あやかし算法帳
空き家課
あるかしら書店
海の百階建ての家
アルデラミン
闇と暮らす
365まいにちペンギン
オラクルブック
マツリカ・マハリタ
フェイブルの海
時間整理術
近松よろず始末処
包丁部
静おばあちゃんにおまかせ
陰陽課
ぴんとこなーす
べてるな人々
三人にせ金作り
怪盗レッド
ピカソになりきった男
ヤクーバとライオン
愛しき駄文具
一日昔話
動くな、死ね、よみがえれ!
おばけのパン屋さん
やだ!!(絵本)
グレッグの駄目日記
ドバラダ門
まどかは神かもしれない
押し絵と旅する男
明和義人
うそうそ(畠中)
ガタスタ屋の矜持
小道モコ
精霊の王
特上添乗員
ウチら特権
ボクらの消えた学校
焼き上がり五分前
いみちぇん!
変形菌図鑑
あやかし課
陰陽課
どこいったん(絵本)
岡本順
毛深い闇
薬売りの独り言
猫とエトワレ
元気に�なるシカ!
地図に無い駅
%(このはなさくら)
悪ガキ7(セブン)
一日なぞの生き物
入れ子の水
サノマリナ
みやたけ外骨
かわなべきょうさい
キルリスト
コンピューターのふしぎ
唯識の読み方
怪盗レッド
チームガリレオ
雑草ルデラル
幻都廻楼
ドルポ
聖なる怠け者
ひだごはん
ヒラマツオ
投書狂
ゴリラのけいこく
ヘッテルとフェーテル
ピカソになりきった男
こしょう息子
つ村きく子
リンカーンとさまよえる亡霊
江戸奇品解題
ヘンテコノミクス
ぽよぽよザウルス
のら犬とりで
十才までに平家物語
1年1組(DVD)
南河物語
築地の門出
ちび竜と魔法の家
うみの100かいだてのいえ
かまどねこ
就活の神さま
空から森が降ってくる
ファミアンドリー※1
夢もまた青し
でしょ115%
マガーク探偵団
ウナノハテノガタ
手話で生きたい
南の島※2
チオベン※3
絵でわかる感染症
やさしくわかるアサーション
ふしぎな出前
宇宙に期待しない
早朝始発の殺風景
くどうなおこ 「いる」じゃん
夏のうた
オシャレ泥棒
言葉のぷれぜんと
なんでも見てやろう
三枚のカード
戦う姫、働く少女
鬼の跫音
~~~~~~~~~~~~~~~
※1詳細不明
※2島田紳助?
計算量の解析ってまず何だよそれ
計算量(オーダー、アルゴリズムの計算時間・利用メモリ領域見積もり)の話?解析学(微積、コンピューター分野だったら数値積分とか)の話?
計算量の話ならAPでもある程度出てくる気がする、数値積分とかは多分スパコン屋の領分だからAPでは出てこないと思うし使わないと思う、CSの学生なら初歩は学ぶだろうけど
プログラマの話についていくというレベルならコンピューターサイエンスの基礎知識はAP取っておけば全然良いと思う、今やってる領域についての知識(業務知識ではなくて、その実現に使っているシステムについての知識)の方が重要なのでは
思いついたので追記だけど、計算量の解析をマジで「全く新規のアルゴリズムの計算量について解析する」という話と読み取るなら博士以上の研究レベルなのでは、そしてそれを知る必要は全くなさそう
世の中の大抵のアルゴリズムは既存のアルゴリズムを何かに特化させたり適用したりする話なので、その計算量は使った既存のアルゴリズムの計算量の組み合わせになる(例えば、計算量がO(n)かかるアルゴリズムをO(n)回動かす必要があるアルゴリズムはO(n^2)になる)
今年、数学と小説に関することで「やっておけばよかった」と思ったことがふたつあった。
1つ目。
『年刊SF傑作選 超弦領域』に収録されている円城塔の短編「ムーンシャイン」に
とあるのだけど、これを読んだ時に
ここの「可換」って「可解」の間違いだよな出版社に知らせておいた方がいいかな
と考えたのだけど、ストーリーには何の影響もないディテールだしすぐ知らせる必要もないなと放おって忘れていたら、
今年出た伴名練 編『日本SFの臨界点[恋愛篇] 死んだ恋人からの手紙』に
「ムーンシャイン」が収録されていてこの部分がそのままだった。
2つ目。
奥泉光の長編小説『雪の階』で、数学を愛好する主人公笹宮惟佐子に関して
微積分の初歩を終えたばかりの惟佐子には手が出せそうになかった。
と描写されるところ(一章 七)があるのだけど、その直後に
初歩の参考書からはじめて高木貞治『代数学講義』、ミハエル・グラッスス『高等数学入門』、竹内端三『函数論』と云った著作を惟佐子は独習し、いまは山畑氏から借りた解説書で解析学も少しずつ勉強をはじめていた。
竹内端三『函数論』は上巻(函数論. 上巻 - 国立国会図書館デジタルコレクション)だけでも関数論(=複素関数論)のかなり詳しい部類の本で、
下巻(函数論. 下巻 - 国立国会図書館デジタルコレクション)までいくと楕円関数論について詳しく扱っているような本なので、
それを「独習し」というのは「微積分の初歩を終えたばかり」という描写と齟齬をきたしていると思う。
竹内端三『函数論』は現在でもわりと読まれていて数年前に復刊もされている本なので、誰も気にしないにしても記述を修正した方がいいじゃないかな、
と思うだけ思いながら特に何もしていなかったら、
つい先日『雪の階』が文庫化されて上にあげた部分はそのままだった。
変更されていたかは分からないけど、一応どこかに言っておけばよかったとちょっと後悔した。
そもそも、本のミスや誤字脱字を見つけた時どのくらいの人が指摘・報告をしているのだろう?と思った。おわり。
現在発売中の数学セミナー2021年1月号の特集が「SFと数理科学」で、
円城塔による総論で数学との絡みのある小説をいろいろあげていて、
同じく現在発売中のSFマガジン2021月2月号の小特集に伴名練が寄稿した文章の中で
適当に感想を述べる。ただの主観なので履修に悩んでいる人はシラバスと逆評定を読め。L系列については書かない。
「¬A ∧ (A ∨ B) ⇒ B」みたいな命題の証明を、ある規則に従って行ったりする。理科生的には数学の根源を掘っているみたいで楽しい。
全13回の授業で毎回違う教員がいろいろ話をしてくれる。各回ごとにレポート課題が出るが、最終的に提出するのは1つだった。単位に関係あるのは実質1回だけなので、結構気楽に聞くことができて癒しになる。普通の講義は毎回理解を求められるが、この授業は理解できなければその回のレポート課題を選ばなければよいだけなので。
人間の認知機能と脳機能の関係をやる。説明の都合なのか話題の9割が視覚(特に錯視)についてだった。脱線が激しすぎて全体的に何を言いたいのかいまいちわからない。ノートとスライドと教科書を見比べまくってなんとかしたが面倒すぎた。良い勉強方法が最後までわからない。
学際の香りがする。主に扱うのは二酸化炭素とオゾンホールとプラスチックとダイオキシン。「地球に温室効果がなかったら気温は-15℃」というのはよく聞くと思うが、その根拠をエネルギー収支の計算から示したりする。意外と覚えることは多い(フロン番号の命名規則とか)。
印象がない。新しいことを学んだ気がしない。とにかく簡単だった。
天下り的にいろんな化学が降ってくるが、具体的な理論づけは全くやらないので結局暗記ゲーと化した。基礎化学で扱う内容は、後々その他の化学系の科目で詳しく扱うので正直取る意味がなかったと思う。
熱力学の更なる応用みたいな感じ。ルシャトリエの原理とかの証明をしたり、酵素の阻害剤がどう働くのかをやる。学ぶところが多くて楽しいが結構難易度は高い。
なにもわからん。
Pythonやってれば楽勝。Pythonの実用みたいな感じ。アルゴリズム力よりコーディング力が付く。
アルゴリズム入門よりアルゴリズム寄り。ダイクストラ法とかやる。毎回課題が出るので面倒さは結構ある。アルゴリズム好きな人は楽しいと思う。
あまり生体流用型国際動態解析学に興味ある増田はいないかもしれないけどな
成長率で言えば間違いなくトップだろうな
論文を一報発表するだけでこのテーマのIFが馬鹿上がりすると言われているわけだし。
ペラニミクシアン(英名ママ、綴りはpeirannimixian)は長年、ゥーレスディを雨季に行うことが知られていた。
その際、稀にムンデを行う種がいることがキコノアとその助手によって発見されたのがかれこれ百年前である。
テレビで取り上げられることも多いから常識とまではいかないまでも結構な人が知っているはずだ。
それでペラニミクシアンの中でもルッタカを中心に研究しているグループが最近論文出したんだよ。
彼らの研究で、ムンデを行う個体はハチュドゥジエを行うときに尾角が必ず縦方向に震えることが判明したんだそうだ。
要は関連遺伝子によって機能発現の制御が為されていることが分かったわけだな。
最も、ハチュドゥジエについてもウェゾィィを行う部分しか特定されていないけれど。
まあただ、もう少し研究が進めば完全な機能解析も行えるかもしれん。
ムンデ変異体の発生を防ぐことが出来ればペラニミクシアンの食用化も今より進むんだろうな。希望的観測だけど。