chokudai(高橋 直大)@AtCoder社長 @chokudai コミケ、行ってみよう行ってみようと思いつつ、毎回直前に熱出していけない、みたいなことになっているので、今年こそは行ってみようかなぁ、と思ってる。知り合いのところ回るだけのつもりだからそんなに急いでいく必要ないけど、３日に分かれてるのがなー。誰がいついるのか全然わからんー 2013-12-06 09:39:43

この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ

この記事はつらぽよ Advent Calendar 2013 - Adventarの4日目です。 現在適応障害からのうつ病で休職しています。 休職を決定するまでの初期症状を振り返ってみます。 あくまで一例であり、また全部がうつによるものかは分かりませんが、心当たりのある方は医師に相談を。 起床時の脱力感・めまい 目が覚めて意識はあるものの、体を動かすことができません。 起きあがるために腕で体を支え、腹筋を動かし...といった一連の動作を想像するだけで心が折れたり、力が入らなかったりします。 起きあがれてもふらついたり座りこんで立ち上がれないことがあります。 主にこの症状のため遅刻・欠勤が増え、休職することになりました。 行動の切り替えが遅くなる 何かしているときに別の行動へ移らず、ぼーっとしている時間が長くなります。 てきぱきと仕事や家事を片付けることができず、余計に疲れが溜まります。 動

約1万円で10インチのRetina(2048x1536)なサブディスプレイを手に入れる 割と以前からそんなにサイズは大きくなくてよいけど解像度はそれなりに高いサブディスプレイが作業用に欲しいなぁと思っていました。用途としては、動画再生だったりTwitter,Facebook,LINE,ChatWorkみたいな立ち上げてるけど常に視界に無くてよいウインドウをそっちに追い出しておくのがメインな感じ。クラムシェルモードにしてしまってデュアルディスプレイというのもやってみたりしたんだけど、やっぱ思った以上に物理的に場所取るんですよね。基本的にはMacBook Pro 15”のディスプレイで作業しつつ、一部拡張としてサブディスプレイがきっと良いよなぁ、と。 とはいえ、こういう需要は極めて少ないのか、解像度の高さをそれなりに求めるとサイズ（インチ）が大きくなるか、値段がかなり高くなるかというところで、

Video of the presentation: http://youtu.be/ARqE4yT2Z0o Workshop presentation on using Accelerate effectively: https://speakerdeck.com/tmcdonell/gpgpu-programming-in-haskell-with-accelerate-workshop Current graphics cards are massively parallel multicore processors optimised for workloads with a large degree of SIMD parallelism. Peak performance of these devices is far greater than that of traditio