2012-09-02 2012年09月01日のつぶやき twitter @sasashin: “プログラミング Coq 〜 絶対にバグのないプログラムの書き方 〜” URL2012-09-02 03:53:29 via Hatena @sasashin: . @k_enji おつかれさまでした!ミステリーズvol.55 を楽しみ待ってます!2012-09-02 01:24:03 via web to @k_enji @sasashin: “「はてなOne」「はてなまとめ(仮)」「はてなハイク2(仮称)」「はてなリング」と、一部のラボサービス終了のお知らせ - はてなの日記 - 機能変更、お知らせなど” URL2012-09-01 20:58:29 via Hatena @sasashin: 【募集】「近田鳶迩さんのミステリーズ!新人賞受賞をお祝いする会」を1次会で抜けて仕事してる人のために2次会の実況してくれる人。2012-09-01 19:42:17 via さらそば岬