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

これはXENOGLOSSIAで女の子とロボットの関係性が中心に描かれていたのと同じ構造で、つまりシンデレラガールズはむしろXENOGLOSSIAの後継であると言っても過言ではない。
タグ:
posted at 23:56:00

私の時は、アチーブメントテストというのが中学2年生の時あって、こそれがかなりの重要度があった。
そのテストでえらい確変が私に訪れて、実力以上の高校に入って、高校で死んだ
タグ:
posted at 23:11:16

停止性判定(もちろん理論的には計算できないが、できるだけ判定できるように頑張るという問題)はデータセットが公開されている程度には有名な問題のはずなので、いい感じのを実装してbotとして提供すると面白そう
タグ:
posted at 23:04:21

色々変えてみたいところがあるとき、2つ以上一度に変えてしまうと、結果強さが変わらなかった時に、いい影響と悪い影響が打ち消し合ってしまってるんじゃないかと疑心暗鬼になって、結局変える箇所数分実験を繰り返してしまったりする。もっと大胆にやっていい気もするけどいまいち踏みきれない…。
タグ:
posted at 22:55:58

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

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

「自然に読める日本語」だけで多重量化や否定を伴う論理式の意味内容をあいまいさなく記述するのは不可能に近いので、どこかで翻訳して意味内容を明確にする必要になる。その翻訳先として「論理式寄りの日本語」と「論理式」のどちらがよいか。「論理式寄りの日本語」は役に立つというのが嘉田の立場。
タグ:
posted at 22:19:10

読書ログ、学生のときにはつけていて就職してからやめてしまったのだけど、あれ、いきすぎると「ログのための読書」になって、読んでいるときに「あ、ここを感想に入れよう」とか思い始めるから良くない。特に小説は読み終わったあと「良かった/わからなかった」だけでいいと思うようになった。
タグ:
posted at 21:41:49

やはり、どんなことがあっても暴力はいけない、殺人はいけない、それは人として当然のことだ、という価値観が共有できないので生きにくさを感じる。(私は基本、やり返されたくない、捕まりたくない、から実行しないだけだ)
タグ:
posted at 21:27:49



www.nhk.or.jp/tamashii/file/...
4回読んだけど「んんん????」ってなってる pic.twitter.com/ZcDKES5MH7
タグ:
posted at 19:47:51

中学生のとき、数学の解説書を読んで、ゲーデルの不完全性定理を知って、ああ完全な数学はもうダメとか思ってしまった記憶があるので、今のああいう本を余り非難しにくいが、当時の本にはゲンツェンの超限帰納法による自然数論の無矛盾性についても触れてあったので、大きな勘違いからは逃れられた。
タグ:
posted at 17:15:37

なかのんの旅々(Masayuki Nak @d_toybox
ほとんど無くなったけど、昔の液晶って、ドット抜けは結構あったよな。あれをゼロにしようとすると、製品価格が高くなりすぎるんでユーザに妥協してもらうってことだったけど、これをゼロにしろって風潮で報道しまくってるのが今のマスコミ様。食品価格が上がったら、またメーカー叩くんだろうね。
タグ:
posted at 11:23:46

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

自分のタイムライン上で結構反響があったようなのでコメント。リミットホールデムのヘッズアップの完全解が解かれたという話題。
これ、どうぶつしょうぎの完全解が解かれた、というのとレベル的にも影響的にも近いです。完全解があることが知っていても、みんなゲームを楽しむわけで、(続
タグ:
posted at 01:36:33

人形のこけしは「子消し」から、というガセネタが広まっているそうで、杉村喜光さん(知泉)が明快に反証しています(bit.ly/14zOYYF 2013年の漫画。知ったのは最近)。真実は、というと諸説あるのですが、「ガセを正すのも仕事」とのまとめには共感しました。
タグ:
posted at 00:44:59