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

やねうら王を読むためだけにvisual studioを入れてみたのですが、やはりgithubで読むよりも読みやすいし、よもしたらemacsよりも編集もしやすいのではなかろうか……
タグ:
posted at 23:24:52

よく考えてみると、文字を書くのは右手なので、私は長いこと、ずっと左腕に腕時計をして、平気で生活していたのです。左手は使わないから、時刻表示装置として使って問題なかったからです。ところが今は文字は両手で書いています。右手と一緒に左手も使ってタイプする。だから腕時計をしないのです。
タグ:
posted at 19:24:25

知人の研究者は「それ(←ちなみにフーリエ級数展開だった)、手で計算するんですか?」と言われて「こんな楽しい計算、なんでコンピュータにやらせなくちゃいけないんだ」と答えてました。このフレーズ、私もたまに使わせてもらってます
タグ:
posted at 19:03:19

C++17ではメモリ解放処理がなにもせず、確保したメモリを一括で開放する、std::pmr::monotonic_memory_resourceが入ります。twitter.com/mattn_jp/statu...
タグ:
posted at 18:59:54

若いドクターへ。いろんな科の先生の話を私は聞きたい。無理に実名でなくてもいい。実名出したことで被害を被っても「実名で発言すべし」と言ってた人は補償してくれない。それはそれとして実名でできないような暴力的な発言は匿名でもしてはいけない。それだけのことだよ。
タグ:
posted at 18:01:11

>社会は、人類は、目に見えるデメリットと目に見えないメリットをフェアに評価できているだろうか。私にはどうも自分たちの価値観を「変えないこと」に重きが置かれているような気がする。 twitter.com/issei_y/status...
タグ:
posted at 16:12:03

似たようなこと考えたことある気がします。
2^16=256^2
2^16-1=257×255
255=17×15
∴2^16≡1(mod65535)⇒2^16≡1(mod17) twitter.com/y_bonten/statu...
タグ:
posted at 13:18:17

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

Pokemon GOがアメリカにメートル法を普及させたり子供の肥満を解消させたりしてるって聞いて、もう任天堂にノーベル平和賞あげていいんじゃないかという気分になってる。
タグ:
posted at 12:15:47

最強将棋ソフトの開発者が問う〜人工知能の未来、そして人類が迫られる「価値観」の大転換 gendai.ismedia.jp/articles/-/49111 #shogi
Ponanza開発者の山本一成さんのコラムです。
タグ: shogi
posted at 12:06:32

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

Q. 以下の探偵の論証の誤りを指摘せよ
「絞殺専用ロープを持っていたAが犯人なら、きしめんを凶器に使う必然性はありません。しかし、ゲーデル-ダメット則より「犯人がAなら凶器はきしめん」か「凶器がきしめんなら犯人がA」が成り立ちます。前者は偽で凶器はきしめんですから、犯人はAです」
タグ:
posted at 02:11:33
2016年07月11日(月)

糸谷―稲葉の対戦は平成28年に入ってからこれが3回目ですが、2月の竜王戦が193手、6月の叡王戦が171手、本日の王座戦準決勝は189手と、全て長手数です。両者必殺技を出しまくるがなかなか決着がつかず、最後は素手で殴り合い。この二人の戦いはとても面白いですね。
タグ:
posted at 23:51:35

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

無意識にやっていることやできていることの中身を言語化して説明されたら、初めて気付いたという感想を持つのは当然なのですが、どのようにして無意識でいられたのかが不思議としか言いようがないですね。
タグ:
posted at 23:26:21

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


