ssreflect の proof script のインデント - 論理とか計算機とか数学とか
ssreflect を使っているとき，proofgeneral のデフォルトのままだと（といっても何が本当にデフォルトなのか把握できていませんが，少なくともそんなにいじってないはずの手元の環境では）インデントがあんまりうまくいってない感じが強いので何とかできないかなと思っています。 今日ちょっと coq-smie-indent.el などを見てみたら，by のインデントの調整くらいはすぐにできそうな気がしたのでやってみました。 (defadvice coq-smie-rules (around ssr-by-tactical (kind token) activate) (if (and (eq kind :before) (equal token "by") (save-excursion (skip-chars-backward "\t\n\r ") (= (char-before (
田舎に住んでる人って日本人口の何パーセント？
今年は国税調査かな？ 大阪、東京、さらに地方の10万人の街、地方政令市、などなど、で暮らしたことある俺が調べてみたよ！ 全部2010年の人口だよ！ さてさて、この年、日本人口は1億2800万人です。 あ、ざっくりした数字で書いていくからね！ 関東人東京都、神奈川県、埼玉県、千葉県の4つを合わせた人口は3562万人！ 日本人口の28%ってことです。 この人たちは、俺らは東京周辺に住んでる、日本でも中道の人間だぜ！って思っていることでしょう。 実際、1/4を超える割合です。 紛れも無い都会人ですね。 実際は、房総半島の先っぽとかは絶望的な田舎なんだろうけど、ざっくりとした話だから許してね。 関西人大阪府、京都府、兵庫県、奈良県、滋賀県の5つ合わせると1991万人！ 人口の16%を占めます。 この人たちは土曜のお昼に新喜劇見て、せやねん見て暮らしています。 16%というと、時計で言えば12時間中
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
