はじめてのにき

_ ど田舎うまれ、ポケモンGOをつくる

https://www.amazon.co.jp/dp/4796877037/

すごくいい本だった。パワーがある人ってのはパワーがあるなぁ、とかいうことを思う。なんとなく聞いてたことも多かった気もするんだけど、なんとなく忘れてたかそもそも知らなかったことも多かった。なんとなくパワーあるなあと思ってたけど思ってた以上だったというか。この人も Hack the Cell やってたんだなあ…とか。いやこれはなんとなく会社で話したような気がするので、単に忘れてただけぽいんだけど。

小学生くらいの時にポケモンGOを遊んだ子が中学くらいでこの本を読んで、さらに次に続く…とかなると本当にいい話だと思う。

閑話休題でパッとしない子

https://www.amazon.co.jp/dp/B073P4MN3X

面白い短編だった。芸能人として大成功した元生徒について、先生は「実はパッとしない子だったわねえ、でも優しくしてあげたわよ」とか語っていたが、実はその元生徒からは憎まれていたというような話。

最近ことあるごとに、「あのポケGO作った人ねえ、ホラあの人昔同僚だったんだよねえ」とか調子に乗って喋っているわけだが……

(14:56)

_ ディフェンシブ

https://twitter.com/kosaki55tea/status/889776876020826112

おもしろ

こういうのは文化によって色々あるんだろうけど、僕の感覚に近いのは

https://twitter.com/n_soda/status/889780736001064960

だなあ

(19:46)

_ 殺人整数オーバーフロー、レースコンディションをそえて

なんか前に概要見たことある気がするけど、 Therac-25 というのが、4人かな、殺したというのの話を斜め読みしてみた

色々あるけど、 PDF だと文字列検索できないのでテキストになってるこれがわかりやすそうだった

http://courses.cs.vt.edu/~cs3604/lib/Therac_25/Therac_2.html

http://courses.cs.vt.edu/~cs3604/lib/Therac_25/Therac_3.html

別々のバグが2つあった感じかな。整数オーバーフローの方は、 setTimeout(SetUp) みたいな感じで自分を再スケジュールしまくる子がぐるぐる回ってて、この子は SetUp 中ですよーみたいなフラグを flag++ みたいな感じでセットしてると。しかし flag は 8bit なので簡単に整数オーバーフローしてしまい、たまたま flag が 0 になってる時に実行しちゃうとこのチェックが無くて、なんか全力で撃つ時は必ず動いてなきゃな装置がまだ動いてない段階で撃っちゃう、て感じかな

このバージョンより前のバージョンだと、ハードウェア的にそれはやらない、てチェックが入ってたけど、「なんかソフトウェアでチェックするからいいやん」と外した結果こうなった…と

安全のためには2レイヤ目が必要、てのがよくわかるというか

(00:40)

_ 訃報を見て

周回遅れですいませんが、なんということもない

http://www.asj.or.jp/tennet/archives/msg07622.html

なんとなく故人に思いはあるものの、お会いしたことあるかといえば1度あるか無いかあやしいくらい、というか脳味噌がスポンジでできてるんでさっぱりわからないよ、てことでなんともかんともだった。正味のとこ僕ごときがなんか言っていいのか

まあでもそんな気難しいキャラでもなかった気がするし、個々人が適当なことを言ったとして怒るような人ではなかったと感じる。なんか僕ごときが語ってよいのかとかは知らない。まあ気にしないとして直近で一番印象に残ってるのはこれ

https://photos.app.goo.gl/9r1h4PhscO2tpoKz2

2016年のICFPCの問題、「えっこれプログラムで鶴を折るとか難しすぎない？鶴が折れる前に心が折れちゃうよ？？」みたいなくだらない、冗談混じりの会話をしたのであった。

まあでも真に自分のかのひとへの印象を言えと言われると、そんな最近のことはすっとんで、というかあまり物事を覚えていないので覚えていなくて…… icfp のコンテストで特に 2004,2005 年あたりで尋常じゃなく優秀な成績を収めていたあたりに行くような気がする。 id:tanakh さんのはてなへの記述で、なるほどこのたなかっていうとんでもない人にさらに優秀な人がくっついてるのだな……

とかそんなことをぼんやり思ったように思う。その時は僕は明らかに彼らに嫉妬していた。今はどうだろうな

(23:14)

_ 批判なき政治を目指す

https://anond.hatelabo.jp/20170624022831

おもしろいなあ。。。

(02:30)

_ こるーちん

すげえプリミティブなのがC++に提案されてるのか…予約語とか導入してるぽいけど、普通にライブラリでいいんじゃないの

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4499.pdf

(02:54)

_ ヒューマンリソースマシーン

メモ

• 34(母音): 13 終わってそう
• 35(dup): 13 見てなかったけどさっき縮んでびっくりした
• 36(lex sort): 26 詰め切れてないかも
• 37(chain): 8 終わってるだろ
• 38(digit): 22 だいぶ頑張った
• 39(座標): 14 良さげ
• 40(素因数): 22 頑張った
• 41(ソート): 20 覚えてないけど頑張ったはず

もう終わりでいっかという感

(04:21)

_ rising number

http://golf.shinh.org/p.rb?rising+number

ちょっと頑張ったけど全然ダメだった。

http://golf.shinh.org/reveal.rb?rising+number/%2520_1498139931&sed

sed のこれが頭良すぎる。ぱっと見なんでこれで動くのか全然わからなくて、マジメにコード追ってなるほどなーてなった

(00:45)

_ 微分

ひさびさ、たぶん10年ぶりくらいで微分などした。合成関数の微分とか、なんかまあ基本全てができなくなっている。

(01:28)

_ webp

http://orangestar.hatenadiary.jp/entry/2017/06/18/163900

を見て、画像圧縮てなんかすごく良くなってるよねえ… jpeg2000 時代でもかなり小さくなってた気がするし…ということで cwebp というのを入れてやってみた。

• 大元: 237kB
• webp: 76kB (画質劣化わからん)
• 高さ600jpg最低画質: 89kB (リンク先のだいぶ劣化してるやつ)
• 高さ600webp: 47kB (画質劣化わからん)

いやー思ったよりすごかった

(02:33)

_ 麻婆

さっきの人様のマンガをはるわけにもいかないので、webpを眺めるために料理ブログ

元のJPG (93kB)

webp (28kB)

webpやるなあ

麻婆はこう、だいぶ前に作ったやつでよく覚えてない。肉を焼いてネギを焼いて、調味料を気分で投入しながらエリンギを入れ豆腐を入れ、あとチンゲンサイか小松菜のどっちかを入れたと思う。エリンギは前入れてみたらうまかった。菜はどっちか覚えてないがいまひとつ

調味料は豆板醤甜麺醤芝麻醤ショウガニンニクオイスターソース醤油ゴマ油鷹の爪鶏ガラスープを思いついた順番で入れたりしてると思う。総じてイマイチだった。覚えてるのは醤油が足りなかったということで、翌日残りに醤油を追加して喰ったらうまくなった。あと鳥ガラスープみたいなやつ、ウェイハーとかの方が良いのかなぁという気がするので今度買おうと思う

(03:03)

_ ぱいそん

Python2 はなぜ

>>> ''>set()>[]
True

こういう順序が成り立つの

(02:28)