日々思うこと
平凡な大学院生の研究＋αの日記です。
| HOME |
鹿島に帰ってくる人
中田浩二がバーゼルから鹿島に帰ってくるみたいです。加藤あいか…という個人的な感想は置いておいて、今の鹿島に復帰しても空いているポジションはそれほどなさそうなんですが。センターバックはほぼ固定だから、左サイドバックかボランチが入るポジションとしては適当だと思うんですけど、新井場も青木もここまでいいプレーをしているだけに彼らを控えにするには惜しい気もしますしね。まあ中田選手は結構マルチロールなんで、ローテーションに組み込むには最適だとは思います。（←オリヴェイラ監督はローテーション制度はあまり使いたがらないですが）
しかしバーゼルにいた方がチャンピオンズリーグ予選にも出られる可能性高いし、重宝してもらえるとは思うんですけどね…やっぱり加藤あいか。。
しかしバーゼルにいた方がチャンピオンズリーグ予選にも出られる可能性高いし、重宝してもらえるとは思うんですけどね…やっぱり加藤あいか。。
オリヴィエ・ラマレの定理
ネットで知ったんですが、「全ての偶数は、多くても６個の素数の和で表される」という事がオリヴィエ・ラマレという人によって証明されているみたいです。整数論関係の話題には疎いのでどうやって証明されたかは全くわかりませんが、どれだけ大きな偶数を取ってきても（１つの例外も無く）高々６個の素数の和で表せるのは凄いことだと思います。こういうことを理論的に導けるのが数学の最高の魅力だと思います（もちろん公理あっての話ですが）。コンピューターシミュレーションをやっていると、無限回の実験は行えないので、あるところまでで結果が正しければ「理論的に正しいだろう」みたいな感じで終わってしまいますからね。実用上はそれでもかまわないかもしれませんが、何かやっぱり美しさにかける気がします。
こういうことを書くとケプラー予想や四色問題だってコンピュータシミュレーションで解いたのだろうと言われそうですが、あれらは難しい理論を用いて「有限回のシミュレーション実験で証明できる」状態までもっていっていますからね（その部分が一番重要なのですが、あまり認知されてないみたいです）。無限の操作を要求される時は、コンピューターを用いても「おそらく正しいだろう」としか言えないんですよね（悲）
こういうことを書くとケプラー予想や四色問題だってコンピュータシミュレーションで解いたのだろうと言われそうですが、あれらは難しい理論を用いて「有限回のシミュレーション実験で証明できる」状態までもっていっていますからね（その部分が一番重要なのですが、あまり認知されてないみたいです）。無限の操作を要求される時は、コンピューターを用いても「おそらく正しいだろう」としか言えないんですよね（悲）
カントールさんへの敬意
今は研究でシミュレーションをやっているので、自分で一生懸命コードを書かなくてはいけないのですが、学部時代にならった「集合論」の考え方がものすごく役に立っています。特にオブジェクト指向の言語を使うときは、集合のどの要素が別の集合のどの要素と対応しているかを明確に把握しておかないとバグが頻発するので、集合論を学んでおいて本当に良かったと思います。
体重
最近体重計に乗る機会があったので、久しぶりに自分の体重を量ってみたら約６１kgありました。おそらく人生で初めて体重が６０kgを超えたと思います。北陸は食べ物がおいしいせいかな？
就職活動その��
ＥＳやら面接やらで応募した５社に全て落とされました…ふぐぅ。
とりあえず博士課程に進む気はゼロなので、今後は学校推薦使って採ってくれる企業を探すことにします。
就職活動その��までには終わるといいな。
とりあえず博士課程に進む気はゼロなので、今後は学校推薦使って採ってくれる企業を探すことにします。
就職活動その��までには終わるといいな。
| HOME |
