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

「次に大きい」の解釈が一意に定まらないんじゃなくて、解釈は一意に定まるように定義されているけどそんな複雑な概念を一部の人間は運用できませんという話だと思っている
タグ:
posted at 22:17:46

つまり例の書物はカール・レーフラーという人物を完全に消去するための手順の一部だったのだ。しかしその目論見は失敗する。紙の上に書かれた手が消しゴムで自分を消し去りきれないように、その書物は自分を消し去りきれなかったのだ。
タグ:
posted at 21:40:49

やすみみらきち@夏コミ(日) 東P-14 @ymirakichi
ユーザーインターフェイスが変更されると必ず不評の声が上がるんだよね。ユーザーの大多数から好評って事例聞いたことがない。要するに良し悪しより慣れの方が重視される。だから逆に僕はとりあえず変更を肯定的に受け取って慣れてみることにしている。
タグ:
posted at 21:34:26


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

今日は全然知らないところを走りたくなって、「あっちの海の方」とだけ決めて走り始めたんだけど、知らない景色をみたからかランナーズハイなのか、どこまでも走っていけそうな気になった。
タグ:
posted at 17:51:27

ちなみにAtCoder青ってぷよぷよで言うと、
・11~12連鎖くらいの本線を安定して打てる
・2ダブ・3ダブくらいの催促を適度に打てる
・凝視はあんまり出来ないけど、発火音聞いて、対応を持っていれば対応するor本線に切り替える、くらいは出来る
くらいだと思います。自分か自分よりちょい弱めくらい。
タグ:
posted at 13:38:22