はじめてのにき

_ alphago

いやー略こなみかん

序盤、プロがこれは悪手でしょーと言う手が後半になって効いてきたって言われてる。これは人類には理解できない手を alphago が既に指してる、って言われてる気がするけど、そうなのかな。

普通に考えると AI てやつは中盤から強くなって後半が激強になるわけで、 alphago は序盤も強いてフレコミだけど、そうは言っても後半の方が強いんでね、ていう。そうだとすると、序盤は実際イマイチな手を指してたんだけど、中盤力でその手を生かしてきた、て考えるのが自然な気がするんだよな。ぷよAIもナイーブに作ると最初ヘンな形作ってるなぁ…とか思うんだけど、11,12連鎖くらいには仕上げちゃうみたいなのがあるんでないかなぁと。レベルの差が死ぬほどあるけどあるが…

どうでもいいけど体調激悪

(19:08)

_ There should be one - and preferably only one - obvious way to do it.

Python の気にいらない点として、このスローガンを実現する気が感じられない、てのがある。このスローガンが好きか嫌いかはともかく、Pythonはなんか思想みたいなのが伝わってこないのが好きでないんだよな。

ていうような話をPython好きな人にしたら、そのスローガンは誰も信じてねえみたいなこと言ってた。なんかまあそれなら腑に落ちる

(19:23)

_ alphago

いやーすごいなーこなみかん

思えば結構長い間ヘタの横好きAIファンではあるんだよな。特筆できるようなもんはなんも作っちゃいないけど、割と色々作ったとは思う。

だからどうしたってわけでもないけど、しかし久々に弊社関係のソフトウェアに感心したなあと思う(Google発で僕が今までに心を打たれたものリスト: search => maps => nacl => alphago)

うーんすごいなとしか書けない意味ない文章だけど、なんか書きたくなるできごとであった

(22:04)

_ 東京都港区シリコンバレー

ブックマークにブックマークがついたりして面白いと教えてもらった

http://b.hatena.ne.jp/entry/b.hatena.ne.jp/waawef/

ついでに hyoshiok さんまで批判されてて巻き添え感がすてき

http://anond.hatelabo.jp/20160229224553

わざわざアカウントまで作ってプレゼン見てしまった

https://schoo.jp/class/3209

なんだかすごいなあ

(19:49)

_ Brainfuckコンテスト

Brainfuckでコーディングコンテストのアイデアがあったのを思い出した。参加者は適当な言語で書かれたプログラムを提出します。そのプログラムは入力に対してBrainfuckプログラムを出力します、その出力されたBrainfuckプログラムは元入力を出力しないといけません。

ていう、まあよくあるBrainfuckで文字列出力する最短手段を探索する問題なんだけど、各参加者が入力を一つずつ提出できる、てのがアイデア。みんな自分のプログラムが効率よく処理できるテストケースを提出するので、途中のリーダーボードとか公開しておくと、色々メタゲームが進んで楽しげだと思うんだよな。

採点はまぁ、各入力に対しての最短Brainfuckプログラムを1.0点として…ていういつものやつの合計と、あと変換プログラム自体も少し加味してもいいかなって程度の(巨大すぎるとつまらないので)。

ただこれある程度参加者多くないと面白くないんだよなあ。

(13:44)

_ てにをは

って言うけど、「を」と「は」はわかるし、「に」もまあいいんだけど、「て」て何よ、と思ったら漢文由来で今の日本語関係ない単語なのか

http://www.raitonoveru.jp/howto2/bunnsyou/03.html

てにをは以外はほぼ完璧な外人を見ていると、これ難しいんだなあと思う。「をはがも」あたりがランダムに間違ってる印象。分析していくと本人なりに秩序だった間違いかたしてるのだろうか

(02:13)

_ 勉強会

http://www.bokukoko.info/entries/2016/02/27

前半はともかくエピソードがなんかすごいな

(16:32)

_ 限定継続

http://wasabiz.hatenablog.com/entry/2013/10/03/124200

何が起きるかはわかるんだけど、なぜそれが欲しいのか、ってのがよくわからなくて。

たしかだいぶ前に聞いた時は、

• スタックの一部しか切り取らなくていいから実装が軽くなりうる
• 意味論の記述に便利(?)

みたいな話だったような気がする。前者はまあそいうもんだろうという気がするけど、後者はそうかいなという感

意味論て公理的表示的操作的とあって公理数学表示コンパイラ操作インタプリタ、R5RSが表示R6RSが操作、とメモ

(02:39)

_ プログラミング言語誤表記四天王

Javascript Ocaml Haskel SmallTalk

(04:48)

_ パフォーマンス

スタック使う実装だと大雑把に言ってこの順で良いという理解

• 例外(sjlj): レジスタのコピーだけ
• コルーチン: ↑に加えてアロケーション
• 限定継続: ↑に加えて reset/prompt などまでのスタックのコピー
• 継続: ↑に加えて全スタックのコピー

使わない実装だとどうなんの。

スタックフレームがヒープにあるようなやつだと、 GC のマークだけする感じだろうから全部似たようなもんかな

(11:42)

_ PHP の mt_rand

http://kusano-k.hatenablog.com/entry/2016/02/20/223229

の話。これ最初話聞いた時、「さすがPHPさんはPHPさんやなあ」とか思ったけど、まあ考えるととりあえずのリバート自体は適切な気がする。 kusano_k さんも書いておられる通り。

とはいえこれどっかで入れたいだろうから、

http://news.php.net/php.internals/91335

で言われてるようにどっかのリリースで入れるのがいい気がするよね。

てか乱数性だか周期性だか、これぱっと見損われるような気がするんだけど、

http://news.php.net/php.internals/91336

によると性能には問題がないとのこと。まあもしそれが本当なら mt_rand は MT rand じゃないです、ってドキュメントすれば十分という主張は全くナシではない…

にしてもこのバグ、テスト書けよって話だよなあ。真に問題なのはエンバグした「最適化」パッチをテスト無しで入れちゃってる文化な気がする

(12:15)

_ 続き

該当コード見ると性能差無いってのはちょっと信じにくいんだけど、乱数性に問題無いて根拠はこれらしい。

https://www.reddit.com/r/lolphp/comments/46fxi8/typofixing_commit_in_mersenne_twister_rng_code_is/d05zwgg

まあそっちはともかく、周期性はどうなん？ていう疑問はこっちで言われてる

http://news.php.net/php.internals/91337

なにかこの人の発言バランス取れてる感があって良いな

(18:14)

_ Ruby CoC

決定が出たけど予想通り苦情が出てるな

https://bugs.ruby-lang.org/issues/12004

https://github.com/ruby/www.ruby-lang.org/issues/1297

実効性のある CoC て基本的には良いことな気がする。自主的に立法するって発想は好きだし。

じゃあなんでこのスレの SJW が気に喰わないかっていうと、押し着せだからだろうな。全然自主的じゃねーぞっていう。先生に決められた生徒会規則かっていう

我々は文明的な装置を発見したこれはいいものだ、お前も使うべきーての、どういうレベルなら僕的に許容範囲なんだろう。宗教とか民族の自決とかからむケースでは、多少発展が遅れるとか死亡率高くなるくらいならやるべきじゃないと思うけど、虐殺とか極端な人権侵害とか起きてると、さすがにちょっとな。

Ruby CoC のケースはまあ CRuby 民族に自決させてやってくれって感しかない。てか「うーん、この CoC だとイマイチだと思うから残念だけど、無いよりはいいね。議論に時間使ってくれてありがとう。もし将来問題あったら遠慮なくコンタクトしてね！」とかいうノリだったら、「いいやつらだったな。。」的で良いと思うんだけど

はてなんでこんなに高圧的なんだ。まあなんか CRuby 民族の数人も高圧的感ある気がしてるんだけど

(13:18)

_ 文字列をソートしよう

以前から glibc qsort て std::sort より速いこと多い気がするなーとか思ってたんだけど、まあ今回もそれで、ただ Mac だと std::sort の方が速いぽい (Apple qsort が遅いのか libc++ std::sort が速いのかどちらかは謎) し、うーんとか思ってて。

まあそもそも文字列は汎用ソートにかけるべきじゃないだろーということで、色々調べてて、なんかなるほどこういうのがあるのかーとか思ってたりしたんだけど、その全てがこのリポジトリに入っていた

https://github.com/bingmann/parallel-string-sorting

感動的すぎるね。。秋葉さん作のソートも入ってる

(01:35)

_ 腰痛

立って仕事してたら腰痛くないなーと思ってたけど、先週末からひどく痛い。マッサージの人が立ってても腰痛くなるのはスタンディングデスクあるあるですよー気をつけてね、て言ってた翌日くらいから痛くなったので、なんかの呪いをかけられたのだろうか。

今の状態だと立っても痛くて、座るともっとひどくて、寝ると大丈夫ではあるので最悪という感じではないが、まあつらい。筋弛緩剤飲むと結構効いてるぽいのでまあそれでほっときゃマシになるかな

(19:34)