merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング(書く)、アニメ(みる)、将棋(指す)、数学・漫画(ちょっとだけ好きだけど最近やってない)、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
Favolog ホーム
» @merom686
» 2011年11月14日
並び順 : 新→古 | 古→新
2011年11月14日(月)


非公開
タグ:
posted at xx:xx:xx


単純に数学的な物の見方をするかどうかの違いではないだろうか。抽象化の方向性が全く違うというか。いや、ゆえに「モノの見方」と称するのは大いに語弊があるが。なんにせよ関数型言語の方が遥かに数学との親和性が高いと思います。
タグ:
posted at 11:37:56

MarriageTheorem @MarriageTheorem
学生時代のカリキュラムを思い起こしてみると、必修の講義で数学基礎論周りのことを習う機会はなかったなぁ。ただの理系ならともかく「数学科」において、数学の拠って立つ基盤を学ばずに学位が取れてしまうのはどうかと思えてきた。
タグ:
posted at 13:17:06



"if you find any reason why you and someone are friends, you are not friends." - Nassim Taleb
タグ:
posted at 18:50:39

おっきい有限と無限の差異が数学のいろいろな面白さと難しさの背景にあるわけだけど、9月に池上先生と話してたみたいに、おっきい有限と小さい有限の差異みたいなことをちゃんと考えることができたら面白いと思う。大きい有限で壊れる数学的現象をいろいろ見つけてきたり。
タグ:
posted at 21:38:22
スポンサーリンク