はじめてのにき

_ 腰痛

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

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

(19:34)

_ 文字列をソートしよう

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

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

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

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

(01:35)

_ 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)

_ 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)

_ 限定継続

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)

_ てにをは

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

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

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

(02:13)

_ 勉強会

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

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

(16:32)

_ Brainfuckコンテスト

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

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

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

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

(13:44)