merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2012年03月29日(木)
数学はトートロジーかという問いは筋が悪い。確かにすべてが公理より弱いが、定義をする、定理を作る、定理を解く、の三つが数学の主眼である。プログラムが最終的に命令列になるからといって、命令セットがすべてではない。関数といった抽象化自体、何を作るかを決め、どう作るか、にこそ力点がある。
タグ：
posted at 23:57:19
非公開
タグ：
posted at xx:xx:xx
AIJ問題をニュースで見るにつけ思い出すのは、猿にダーツを投げさせた方がパフォーマンスが良いという有名な話。特に年金のような巨額な資金はパッシブ投資しかないでしょう。
タグ：
posted at 22:27:20
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
情報発信こそが勤務じゃないのかな「『みなさんからの受信料で仕事をしているのに、勤務時間内にTwitterをやるのはまずい』とNHK広報室の担当者は話す。」 - NHK、堀潤アナのTwitterアカウントを閉鎖へ メディア関係者から失望の声 t.co/S1VoQzqK
タグ：
posted at 09:11:23
のお（８）ニュートンが、私は砂浜で美しい貝殻を拾ってよろこんでいる子どものようなものだった、真理の大海は目の前に未知のまま広がっているという言葉を残したけど、これがわかっているのが本物の知性。文科省の検定教科書なんて、砂浜に落ちているプラスティックみたいなものでしょう。
タグ：
posted at 08:45:22
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
年度末の土壇場のこの時期に「今年度中に契約書類を作成して締結しないと、来年度はお金を払えません」というような連絡が飛んでくる。あと２日しかない。病気なんて絶対になれないという緊張感。大学の研究者って自由奔放に見えるかもしれませんが、お金がからむと、こんなものです。
タグ：
posted at 02:03:57
そういえば将棋ったーで勝敗が逆にツイートされるのは負けたほうを表示していたという完全に逆になるコードが書いてあったので修正．明日ごろ反映予定です． #shogitter
タグ： shogitter
posted at 00:32:01
