merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2018年02月15日(木)
{3,5/2} 大二十面体 @Polyhedrondiary
準同型定理に関するこのくだり，ホントそう
“数学という学問のひとつの目的は，世の中にある同型を探ること…一見異なる2つの対象の間に対応が付き，実は2つの対象が同じ形をしていると思える瞬間に，人は物事を分かったと実感できる”p.137
twitter.com/Polyhedrondiar...
タグ：
posted at 07:57:43
MarriageTheorem @MarriageTheorem
「現象の数理モデルは自ずと一つに定まるわけではなく、現象に良く適合していれば構わない（数学的な取り扱いの難易は一旦おいといて）」という理解が広まっていないことが、掛算順序の問題がこじれる要因の一つだと個人的に認識している。（加群の理論とか持ち出して擁護してくる手合いに対して特に）
タグ：
posted at 11:49:08
何かしらの価値を提供したいけれども、別に目立ったりはしたくない人って競技プログラマに多いと思っていて、そこら辺の人は「貢献によって個人じゃなくて企業や所属先が目立つ」って環境を作れば多分幸せになれると思ってて、そこら辺でAtCoderJobsが必要かな、とも思ってるのよね。
タグ：
posted at 13:47:15
「日本語には川上から桃が流れてくるとき専用の擬態語がある」と紹介されたりしますが、当たらずといえども遠からずです。「どんぶらこ」を使うときは、まず「桃太郎」が頭に浮かぶからです。でも、元来〈生田川あつたらものをドンブラコ〉（柳多留）と、水に飛び込む場合などにも使われていたんです。
タグ：
posted at 15:01:40
後輩に頼んだ業務用のウェブアプリ、納期前に高性能のものができあがってくる事態に驚いて、約束以上の報酬を出すことにした。俺なら、どうせ要求仕様が増えるだけだからできあがっても納期前には出さない、とか思っちゃうかも。ちゃんと評価でこたえてあげないと。
タグ：
posted at 15:47:01
