Coqってやつを使ってみようと思ったら,本家が落ちてて繋がらない。
またあとで。
http://www.nicovideo.jp/watch/sm1276083


関係ないけど,一時期タイトルが「腹痛が痛いダイアリー日記」だったためか
Googleで「腹痛」と検索してここにたどり着く人が多いみたい。
何も解決策は載っていません。 腹痛に苦しんでる皆さんごめんなさいごめんなさい