  |
はてなキーワード: 純粋数学とは
こういう京大の数学入試問題が私は大好きです。一方、東大の数学入試問題は最初に解く方針を決めたら
多くの面倒くさい計算を超高速でやって力ずくでやった者勝ちの傾向が大昔から顕著だと思う。
この数学入試問題の東大のセンスは皮膚感覚レベルで合わなかった。
多分、京大の問題は純粋数学が好きな人向けなんだと思います。それに対し、
東大の問題は工学系の応用科学の研究者としての適性を見ることに重点をおいているように思います。
昔、『数学セミナー』という雑誌に「エレガントな解答を求む」というコーナーが
あって、中学の頃から愛読していました。私の感覚はこれの影響が強いのかもしれません。
このコーナー今もあるのかな？
たとえアメリカの一流大学にいってたとしてもだぞ、純粋数学を学んでた人間が Python を１年学んだぐらいで世界的な人工知能開発者になれるわけねーだろ。世の中を舐めすぎ。次にくるのが AI だという理由で、金融工学から鞍替えするのも、信用がならねえ。
そして人工知能はノイズキャンセリングや形態素解析エンジンのことである、というのであればそれで良い。問題なのは、そのエンジンを自作できないでラン○ーズやクラウ○ワークスに投げているのばどういうことよ。それにライブラリを使うだけだったら、学歴はいらねーぞ。普通はその経歴だったら、CUDA なり C なりで高速に動作する人工知能のコードを書くことができるひとなんだと思われるぞ。Python だけしかできないなら、無能は無能らしく黙っておけよ。高々、年収500万で「統計とC言語と設計ができて人工知能開発も可能」という求人を出すな。反社か。
お前さん、アメリカでクスリ使うことだけを学んで帰国しただろ？変な痩せ方したり、鼻が赤かったり、呂律がまわらなかったり、足し算ができなかったり、急にキレたりするのはそういうことだろ。
もう諦めなって。あなたを救ってくれるのは、警察だけだよ。人工知能で詐欺も、資金集めも要らない。刑務所でじっくりとクスリ抜いてもらって、職業訓練をする。そうしないと【何もできない】人工知能でクスリを手に入れるためだけに、これからも生きていくことになるぞ。
心残りがある。
ホッジ作用素とか、アインシュタイン方程式、群環体、微分幾何、集合と位相くらいは理解した（つまり、e-MANや物理のかぎしっぽくらいのサイトを眺めるレベル）
でも、
って感じの、学部中級レベルしか物理や数学は理解できていない。
東大まで行って、これかよっていう。
ってか、工学系でも、これらの知識使ってるところは使ってる研究室あって、普通に研究してるわけで。
自分がいた研究室は、そんなに高度な数学も物理も使わなかった。せいぜい、微分幾何学とかチョロっとだけルベーグもあったかなーくらい。ほとんど何もまともな頭を使う議論はなかった。ルベーグってのも、別にルベーグじゃなくて、ノルムがどうこうでちょろっと。
物性系なら、超電導とか相転移とか。あるいは、核物理とかなら、普通に素粒子とかで数学バリバリできたんかなあ。
もう就職しちゃったけど、博士やれるなら、純粋数学か、素粒子物理やりたいなあ。。。
日本人数学者が彼の分野で最も重要な問題のうちの一つを解いたと主張している。困ったことに、彼が正しいのかどうか殆ど誰も分からないことだ。
2015年10月8日 Davide Castelvecchi
2012年8月30日の或る時、望月新一は静かに彼のウエブサイトに4つの論文をポストした。
論文は膨大(総計して500ページを超える)で密に記号が詰められており、10年以上の孤独な研究の絶頂だった。それらの論文はまた学界の突発的事件となる可能性を持っていた。論文の中で望月はabc予想を解いたと主張した。abc予想は数論において他の誰も解決に近づかなかった27年目の問題だった。彼の証明が正しければ、今世紀で数学の最も驚異な業績となるであろうし、整数を持つ方程式の研究を完全に変革するであろう。
しかし、望月は自身の証明について騒ぎ立てなかった。その有名な数学者は日本の京都大学数理解析研究所(RIMS)で研究に従事しているが、自身の研究を世界のどの仲間にも知らせなかった。彼はただ論文をポストして、世界が見つけるのを待っているのに過ぎなかった。
おそらく論文群を最初に注目したのはRIMSで望月の同僚である玉川安騎男だった。他の研究者達と同様に彼は望月が何年間その予想について研究していて、とうとう研究を終えたことを知った。同じ日に玉川は彼の共同研究者の一人である英国ノッティンガム大学の数論学者イヴァン・フェセンコにそのニューズを電子メールで送った。フェセンコはすぐに論文群をダウンロードし読み始めた。しかし、彼はすぐに"当惑した。それらを理解することは不可能だった"と言う。
フェセンコは数論幾何学という望月の分野の何人かのトップエキスパートに電子メールした。証明の知らせは急速に拡がった。数日内に、熱のこもったおしゃべりが数学ブログやオンラインフォーラムで始まった(Nature http://doi.org/725; 2012を見よ)。だが、多くの研究者達にとって証明に関する早期の意気揚々が急速に懐疑へと変わった。すべての人々(専門分野が望月のものと最も近い人々さえも)はフェセンコと全く同じように論文群に面食らった。証明を仕上げるため望月は彼の分野でも新しい分科をこしらえたが、純粋数学の水準においてさえも驚くほど抽象的なものである。"それを見れば、未来からの、または宇宙からの論文を読んでいるのかも知れぬとちょっと思える"とウィスコンシン大学マディソン校の数論学者ジョーダン・エレンバーグは論文出現の数日後にブログで書いた。
3年間ずっと望月の証明は数学的に未決定のままである。つまり、広くコミュニティによる誤りの指摘も無く、そして認められてもいない。望月は彼の研究を理解出来るために数学の大学院生が約10年かかるだろうと見積り、フェセンコは数論幾何学のエキスパートですら約500時間かかるだろうと考えている。今のところ、証明全体を読めたと言っている数学者は4人しかいない。
これすき。
フェミニズムの人の言っていることが違和感ありすぎたので、そもそも私は何か誤解しているのでは？と思って色々調べてみたものをまとめる。
あくまで主観であり、私のお気持ちの発露と思っていただいて構わない。
調べてみると結構誤解があった。
ちなみに私がしていた誤解は、「フェミニズムは、女性差別の実態の解明や、それの解決のための実証的な研究をする」である。
・実証研究や既存の研究のあり方が男性的なので、これまでとは異なるやり方を模索するためだから。
・そのやり方は模索中であるが、柱となっているルールが「とにかく誰の主観も否定せずに受け止めること」である。
・「これ頭のおかしい人の意見だろ」みたいなのを、フェミニズムの本流の人たちが否定できないのもこれが理由。
・ブコメだと、フェミニストの仲間意識でどんなフェミニストも否定したり非難したりしないと思われているみたいだけれども、それは誤解。
・ただし、量的な実証研究をやっている人も少なからずいる。本流ではないけど。
・しかも、最近の実証中心の社会学や心理学ではなく、「数学をやりたいのならば数学科に行け」と言われていた時代の名残。９０年代ぐらいまで。
・ただし、これらの理論研究が全く意味がないと思ってはいけない。
・研究は大きく分けると理論、実証、工学（活用）に分けることができる。
・理論研究は最近軽視されがちであるが決して役に立たないなんてことはない。そもそも実証のための大事な基礎であり、ここを丁寧にやらないとそもそも実証すべき問題がぶれる。
・でも、フェミニズムはここしかやってない。しかもアプローチが哲学からの派生。他はせいぜいユングとかそういうのの名残。
・社会学や経済学、心理学はコンピュータの発展ですごく進歩したのに、女性学だけずっと変わってない。
・あと、ブログやtwitterでフェミニズムの話している人が内容のわりに、言ってることわかりにくいのも哲学や文学が源流のせいかも。
・これはフェミニズムの人の言っていることでなくて、私の主観。
・「保育園落ちた。日本死ね。」みたいに共感で動くことだろう。
・実は、これも必ずしも悪いことでない。
・例えば、保育園の倍率が100倍の場合と落ちた家庭が１組だった場合、前者の方が統計的には大きい問題だろう。
・しかし、これは統計の間違った使い方で「数が大きくなければ問題でない」となってしまう危険性が有る。
・統計を扱う者ならば必ず訓練されるが、ほぼ必ず数の問題で矮小化され苦しむ人が出てくる。
・この見捨てられそうな１組を大事にすることはやりやすいだろう。
・これはどちらもある。
・「女性の権利拡大」ってイデオロギーを実現するための、工学的な学問という人もいる。
・これに拒絶反応を持つ人もいるだろうけど、私はいいことだと思っている。
・「学問が目的を持つことはいいことなのか？」って問いには、例えば「教育をよくしよう」って目的で教育学が存在するような者だと思っている。
・「学問とイデオロギーと組み合わせていいのか？」に関しては、そもそもイデオロギーは学問ぐらいしっかり体系付けて、理屈をしっかりさせてほしい。
・女性の権利拡大だけど、そのゴールが「女性の権利の拡大」か「男女の権利の平等化」かは個人による。
・例えば、男性のみの徴兵制がある国では男女平等ではないと、自ら志願し軍隊に入る女性もいる。
・反対に、女性の徴兵にフェミニズムの団体が猛反対する場合もある。
・むしろ、トランス女性への差別に一番キレたいの主流のフェミニズムやっている人たちじゃない？
・クィア理論という、男女の枠組みにない属性の性から改めて性を見つめ直し理論作りましょうってのが最近の主流。
・暴れている人たちは、フェミニズムのあり方である「否定しない」をやり、かつ最近のイデオロギーの主流である「多様性の見つめ直し」を真っ向から否定している。
・でも、フェミニズムを学べば学ぶほどそれを否定することができない。かわいそう。
・新しいあり方の模索って無理だろ。
・しかも、主流になっているのが哲学、文学なせいで実際に起こっている問題に対する対応力が全くない。
・なのに女性の権利拡張の運動のど真ん中にいるせいで、本当に苦しんでいる女性たちの邪魔。
・先ほども書いたように、理論を丁寧に作っていくことに対しては全く反対しない。
・でも、それが何かを解決するとしたら何千年後だ。
・例えば「夫婦別姓」は、私は賛成してる。「改正による手続の煩わしさの軽減」って実利があるからだ。
・でも、フェミニズムがそれを推奨する理由が「旧来の男性主権的な象徴であるから」だ。個人の苦しみなんて全く捉えられていない。
・先日のグッチのように、「これは差別を象徴している」と「解釈」で糾弾することだけを延々繰り返す未来しか見えない。
・男性の作り出した旧来の学問のあり方を否定し、模索するのは自由にどうぞ。でも、それに今生きて苦しんでいる女性を付き合わせるな！
NTTの退職エントリが流行っているようなのでそもそも入れなかった人の話でも書きます。
といっても1X年前の話です。
リーマンショック直前の超売り手市場に新卒で4月初頭というゴールデンタイムにNTT系列何社も受けて全滅したアホ。
趣味はプログラミング。ICPFCとか参加したり小さいツールを書いたりしてた。
大学の専攻は数学。日本ではやたら偏差値の高いらしいT大学に現役で入ってそのまま修士卒。
NTT株、NTTD、NTTS、NTTH、NTTCなど。略称がどこを指すかは適当に考えてね。
全部落ちてます。4月はこのせいでお祈りされまくり、結局決まったのはNTT以外で夏ごろで。
電話がとても好きだった。高校ぐらいのときはモデムから高速リダイヤルをかけるアプリとか、
公衆電話の番号を探すツールとかを書いていた。PHS、携帯が普及しだしたころから
そもそも仕様があまり手に入らなかったので興味を持てなくなった。113はよくお世話になった。
就活のときそのへんのことを思い出したのと、プログラミングが好きだったのでNTTなら
なにかできるんじゃないだろうかと思いたくさん受けた。
当時はプログラマというものの地位がものすごく低い時代だったと思う。
そんな時代に「プログラミングやりたいです。ICPFCとかめっちゃ楽しいです。」という割に
基本情報すらとっておらず、コミュ力も非常に低い上に専攻が純粋数学とか落ちて然るべき。
更にNTTがどういう人材を欲しているのかという企業研究もろくにしていなかったため、
自分が御社にどういう貢献ができるのかを説明できず、ただやりたいことだけを喋っていたた。
また純粋数学は研究内容の説明がしにくいというのはわかりきった話だったので、それは対策するべきだった。
3分で研究内容を話すというプレゼン。SPIがよかったらしく1次面接は免除という連絡をいただき、
喜んで2次面接に望んだところ純粋数学の研究発表で、「この研究の社会的意義はなにか？」という質問をされ無事死亡。
社名にソフトウェアなんてついてるぐらいだからプログラミングがガッツリできるんだろうと思い、
某CPUの命令セットの素晴らしさとその効率的なエミュレータ実装について熱く話す。
面接官の「そんなことにしか興味ないんですか？」という返事は今でも覚えている。
グループディスカッションで落ちる。コミュ力とか見られてたきがするが審査員は見てただけなので詳細は不明。
面接前に社員と雑談する謎の時間があり、「T大の人、ぜひ来てほしいんですけどNTTDとかNTT株に
取られちゃって蹴られてしまうんですよね…」という話を聞く。その時点でDには落ちていたので苦笑いして面接へ。
当時盛り上がっていたNGN関係の話で面接官と盛り上がるも俺が考える最強の通信スタックの実装法を
NTT系列はだめだったので結局某SIerに就職。年収は300万弱から5年ぐらい在籍しても500万弱ぐらいだった。
最初は流石に年収低すぎということで某Rエージェントで転職活動をするもリーマンショック真っ最中で
在籍も1年とかだったため「君なにしにきたの？」オーラがすごかった。その時点での転職は失敗。
SIerによくある通り仕事でコードというものはほとんど書かず、Excel、Wordがメインであった。
ただ仕事自体は暇だったので、合間にひたすらProject Eulerをやっていた。
今はお仕事が変わり、AI関係のソフトウェアエンジニアみたいなお仕事をしている。
相変わらず面接ではコード書きたいですとかAtCoderとかの競技プログラミングの話しかしていないのだけど、
10年前に比べると反応がとてもよくなったと感じる。年収も都内に何の不自由もなく暮らせるぐらいまでは
もらえるようになった。プログラマの地位は相当向上しているのではないだろうか。
個人的にはAtCoderやTopCoderで黄～青ぐらいのプログラマの社会的地位が10年で年収400万から1000万ぐらいまで上がった感じがある。
今は1000万！と言いたいところですが、うまい棒5万本分ほど足りません。一本行けるように今後も精進します。
ただ今都内はソフトウェアエンジニアバブルといってもよく、かなり年収水準が上がっている気がします。
ですので多少は夢を持ってもよいのかなと。
キリの人も入社時は優秀だったんだと思います。あともし採用されるポテンシャルがあったとしても
ちゃんと業界研究しないのはだめかと。いろいろな意味で私はだめでしたね。
1990年代はまだ固定電話の古い交換器や緑・ピンク電話などが残ってた時代で、電話の面白い挙動が
NIFTY-SERVEのフォーラム等で盛り上がっていた時代でした。そのため当時は同じような人が結構いました。
うけてません。NTTの社風に合わないと全滅する可能性もあった(そして実際そうなった)ということで、
最近のNTTDのOSS関係へのコミットは凄まじいですね。あの部隊は尊敬しています。
あのへんのコミッタ方たちはどういうルートで採用されたんでしょうね？
大学時代はXSSとバイナリ解析に興味があったはずなのですが、就活ではその道は選びませんでした。
忘れていたというのもあるのですが、その数年前に日本のセキュリティ系の団体とちょっともめてしまった
というのがあるのかもしれません。日本のセキュリティ業界はちょっと前までアングラっぽい雰囲気が
漂っていました(世界的にそうだっただけな感じもします)が、そんな方たちも某FF○Iとか某NAとか
ホワイトハッカー側で大きく活躍されてるようで、もしセキュリティ業界に身をおいていたら
そういう変化も楽しめたのかなぁとは思います。
あ、徳丸さんのブログはいつも楽しく拝見させていただいています。
あの某NAのLuminさんでしょうか。当時はとても落ち込みましたが、今では楽しくやれているので
（数論が専門ではなかった。）
① 工学系修士だと、微分積分、線形代数、複素関数論あたりは知っていると思う。
応用系と数学科向けだとちょっと内容が違うので（εδ論法とか）、まずその辺の復習から始める。
② 純粋数学への入口として、「集合と位相」のような本を読む。
③ 抽象的思考の壁を乗り越えるために「代数学」のような本を読む。ガロア理論くらいまで。
④ 雑学というか、モチベーションの維持として初等整数論の本を読んだり問題をといたりする。
このくらいで、とっかかりは出来るので、その後何やったらいいかも見えてくるはず。
