はじめてのにき

_ android斑鳩

https://play.google.com/store/apps/details?id=com.ggee.vividruntime.game_ticket_1791

ムリムリ腕いたい…

ラフレシア前後半の間と長元坊だけは相変わらず稼ぎ所だった。処理落ちしまくってるせいで音楽が全然あってないのが残念ですね…

(01:06)

_ フカシギな数え方

https://www.youtube.com/watch?v=ge8vy4tc_kQ

で、これどういうアルゴリズムで早く計算できるんだろう…

(19:42)

_ ffmpeg

コマンドメモ

絵をとる

ffmpeg -r 20 -s 1024x768 -f x11grab -i :0.0 -acodec libmp3lame -vcodec libx264 -b 1000k -ar 22050 -ab 48k -threads 5 -vsync 1 -y -f flv ~/out.flv

音をまぜる

ffmpeg -t 00:01:15 -itsoffset -00:00:05 -i out.flv -i mus.mp3 -map 0:0 -map 1:0 -target ntsc-dvd -b 500k mov.webm

(13:24)

_ intel のなんか

http://sw-event.intel.jp/event_4.html

これに行ってみた。 intel cilk plus ってやつ普通に良さそうだなぁとか思った。なんか後で cilk_spawn どうやって実装してるの? co-routine? って聞きにいったらそうだとのこと。なんか network 越える場合厄介でみたいなこと言ってた気がして越えるのかすごいな…とか思ってたけど、なんか勘違いぽい気がする。 GCC に入ってる branch があるらしいから実装読んでみたいところ。ていうか実装についての論文があればそっちの方がいいんだけど、あるかな。

あと array slicing てこれ領域重なってる場合どうなるの、っていうお決まりの質問もしたけど、ヤバイ、とのこと。最初は大丈夫に作ったけどパフォーマンスがよくないからやめたとか。そりゃそうだ。単純な例ならコンパイラが warning 出せるってのと、あと現状では runtime checker 的なのは無いとのこと。

こういうのライブラリとして直接さわらず使ってる人は結構ハマったり、そうでなくても大丈夫なんだろうか…って気になってうっとうしい部分だと思うんで、 runtime checker があるといいんだろうなと思う。

あと xeon phi はこう GPGPU への敵対心というか、まぁ普通に考えて不利な立場だからか、かなり攻撃的な感じだった。内容は

• たしかにピーク性能は少し負けている
• ただ GPGPU と違って普通のプログラムとして書けばいいから既存の資産も生きるしこれからも書きやすいしデバッグもしやすいよ!
• なんか実は性能も現実的なシーンでは割といいぽいよ

みたいな感じだった。

直前に読んだ

http://d.hatena.ne.jp/w_o/20121202#1354384823

のエントリで紹介されてる論文も「ちゃんとした学会で発表された論文でもGPGPUは100ばいはやいとかはおかしいって言ってるよ」！とかいう感じで引用してて、それオマエらが書いた論文やんけ、とか思った。

とはいえ、攻撃的だったと書いたけど、実際こうかなり公平な感じの言及だったと思う。なんていうか intel ってやつは昔から技術に関して真摯なイメージがあるんだよな。何倍速いとかは必ず小数点以下1ケタまで書く印象というか。昔 Mac OSX が出た時に Apple が 4x faster とか広告出してる隣で、 core2 の宣伝で 127% performance improvement みたいな(数字は適当)地味な宣伝を出してたのを思い出す。まあ当時はこの 127% 速いコアに変えて 4x faster ってことは、根拠もなく速いって言ってた G4 ってなんだったんだろうな、とかアップルにムカついてただけだけど。

あとは普通の xeon と xeon phi 積んだマシン複数用意して、それを全部同じコードで同時にぶんまわす、ってのができるよ、っていうのが楽しげだなーと思った。実際デモもやってたし。

しかし xeon phi は xeon のざっくり 2.X 倍くらいとのことで、なんか普通のマルチコアでいいんじゃね…っていう疑問には割と答えられてない気もした。まぁムーアの法則的にコアの数増やすのはできるはず、って話なんだろうけど。

(18:12)

_ 仕様

http://cilkplus.org/sites/default/files/open_specifications/CilkPlusABI_1.1.pdf

を読めばわかる気がする。

via http://cilkplus.org/download#open-specification

(18:26)

_ ruby w/ thread

http://jstorimer.com/2012/11/08/matz-is-not-a-threading-guy.html

via https://twitter.com/_ko1/status/277343915261169665

よくわかってないんだけど、 ruby に thread があったら何するんだろう。それはプロセスではダメなんだろうか

(19:15)

_ bastard

半年以上前だけど新しいの出てるんだなーと思った。そしてレビューみてみたらひどかった。

http://www.amazon.co.jp/BASTARD-%E6%9A%97%E9%BB%92%E3%81%AE%E7%A0%B4%E5%A3%8A%E7%A5%9E-27-%E3%82%B8%E3%83%A3%E3%83%B3%E3%83%97%E3%82%B3%E3%83%9F%E3%83%83%E3%82%AF%E3%82%B9-%E8%90%A9%E5%8E%9F%E4%B8%80%E8%87%B3/dp/4088701712

(19:21)

_ ゴルフ

http://codeiq.hatenablog.com/entry/2012/12/03/234209

うーん。1位がたくさん出るってのはゴルフの問題としてはどうでもよかった、ってことなんだけどな。

同着の人がみんな僕のコードと似たような形のコードだとすると、ここまではまあテクニックといくらかの時間だけで書けるコードで、アルゴリズムはわりと自明な感じだった、ってことなので。

もうちょいいい問題だと、アルゴリズム的な転回とテクニックのバランスが色々でてきて、まぁそこが面白くて難しくて時間が無駄に消費される部分だと思うんだけど。

というわけでこの問題を面白かったことにできんもんかと、なんとか削れんもんかなーとたまに眺めるもののキツい。

(03:11)

_ 2^n に切り上げ

http://d.hatena.ne.jp/kazuhooku/20121203/1354552696

GCC 前提で…

#include <stdio.h>

inline long long ct_binary_roundup(long long n) {
  long long r = 1LL << (64 - __builtin_clzll(n));
  return r == n * 2 ? n : r;
}

int main() {
  printf("%lld\n", ct_binary_roundup(256LL));
  printf("%lld\n", ct_binary_roundup(432432423LL));
  printf("%lld\n", ct_binary_roundup(432432423999LL));
}

とかは割とアリな気がする。 log とかでも消えるんじゃないかなーと思ったけど、なんかうまくいかなさげ…

(03:40)

_ ぷよぷよS級

今にはじまったことじゃないけど、やばいなー

http://www.nicovideo.jp/watch/sm19420263

なんか A 級はチラチラ見てる感じ、参考になるなーと思う時が結構あるんだけど、 S 級は理解を越えてる。

なんでそんなことするん? って思っちゃう置き方がちらほらあるのは、ちぎりとか考えてる感じなんかなぁ

(00:23)

_ 体調わろす

なんか熱出ないからそれほどしんどくないんだけど、 軽くだるい喉軽く痛いでだらだら37度をキープしている。

なんかまあ生活はできるんだけど、 コーディングとかの気力が一瞬で尽きる。 尽きるとやることないから寝るしかない感じなんだけど、 しかしずっと寝てるわけにもいかんからダラダラ どうでもいいサイトを見てるとかそういう…

効率良くない

(23:14)

_ 世情

思い出したんだけど、世情の歌詞って普通に保守も革新も頑固者、って感じだと思ってたんだけど、ぐぐってみると右ぽい人は変わってない頑固者、を拾って、左ぽい人はシュプレヒコールあたりを拾って、それぞれ右/左の歌だと考えられる的なことを思って、どちらからも一定の支持が得られているようだ。よくできている。

個人的には字面だけ拾うと左寄りの歌だとするのは無理があると思うのだけど、他の曲とかも考えると中島みゆきが左にシンパシー持ってた時期があったのもまぁたぶんそうだと思う。

あと中島みゆきが昔左翼とつきあってたとかいう話を聞いたことがあって、気になってぐぐってみたことあるけど、まぁよくわからなかった。核マルシンパだった、ってのは出てくるんだけど。その話をした人が加藤登紀子と勘違いしてたってのが今のところの想像だけど…

あとよくわからんこととしては、アクメツってマンガのたしか最終回で Project X 風の演出で地上の星を全部伏せ字で出して、巻末の漫画家コメントで、中島みゆきさんの歌って歌詞出す許諾おりないんですよね、って書いてあったことがある。

つーのは哭きの竜最終回に JASRAC 許諾つきで友情って曲の歌詞が出てくるんだよね。哭きの竜は僕の中で月下の棋士と並んで能條マンガの最高峰なんだけど、友情好き補正がかなりかかってるのは否定できない。麻雀マンガのムチャクチャ牌譜としてもかなりのものがあったと思うけど。

最初からどうでもいい話が、どうでもよくなっていくけど、友人が能條は何題材に書いても能條ってジャンルのマンガ書いてるだけだって言ってて、まさにその通りだと思う…

麻雀マンガってのはなんか昔っからデタラメなことが行なわれていて良いと思う。ちゃんとしたやつではノーマーク爆牌党ってのはすごかったと思うけど、デタラメな方向では

• 桜井章一20年無敗時代のマンガとして、全員イカサマのプロなので自分の前の全ての山をコントロールできる&全員が山の牌を完全に知っている、ことが前提の対局が行なわれる、ショーイチ
• 青天井で役満1000万点打ち切りなので、天和捨ててアホみたいな数のドラ集めて 378 京点とか叩き出したトーキョーゲーム (ムダヅモ無き改革より十年以上前)
• 牌を全部白にしたり、太陽を近付けて対局者を焼き殺す(麻雀全く関係ない)超能力麻雀、風の雀吾

あたりはすごく印象に残っている。ムダヅモも良いと思う。哲也は個人的には火力不足だな…

(02:20)

_ エヴァQ

ありていに言って面白くなかったかなぁ。テレビ 25,26 も death & revirth も別にいいと感じたけど、今回はなくね、って感じ。

まー展開とかは最終回でこう納得させられる可能性が無いわけじゃないと思うけど、いくらなんでも厳しそうだな、ってのと、単純に演出とかが今までの水準に達してたんだろか、っていう

(21:10)

_ 縁会

ちょっと前に中島みゆきのコンサートに行ってみた。予約は当たり外れがあるので、ネットで適当に3回くらい外れては申し込むってのをやった。そういうチャンネルがいくつもあるぽいんで、まあ熱心なファンほど当選確率が高くなるって感じなんだと思う。

内容はまぁ面白かった。実際いたらいい人すぎてしんどい系の感じの話だけど、なんか紅白の地上の星の歌詞忘れ思い出すとかそういうの含めて話も面白かった。

あと年齢層がバラけまくってるのはさすがだな、っていう…

(23:31)

_ まどかマギカ

まどかマギカってやつは最終話だけたまたま無料で見れたので見た。で、3話というのを見てみようと思ったんだけど、ニコニコポイントが失効してて、かつ失効したポイントがちょうど1話見れる量だったようなので、なにかくやしいぞ…

(16:26)