a{ とか i{ によって対応する {} を選択することはできる*1けど，カーソル位置の if/else 全体を選択したいときがたまにあるので． 実装方法に悩んだけど，結局カーソル位置から前方に { を探していき，それが if/else によるものの場合はそこで止まって，そ…

http://acm.pku.edu.cn/JudgeOnline/problem?id=1376 概要 直径 1.6 メートルのロボットがグリッドの交点上を動く．グリッド 1 マスの一辺は 1 メートル． 障害物に触れてはいけない． ロボットは 左に 90 度回転 右に 90 度回転 前に 1 マス進む 前に 2 マ…

こんなかんじに使う． % echo 'length x' | ./hint [a] % echo 'x + 1' | ./hint (GHC.Num.Num a) => a % echo 'foldl x 0 [2,3]' | ./hint (GHC.Num.Num a, GHC.Num.Num b) => a -> b -> a % echo 'nub x' | ./hint Data.List (GHC.Classes.Eq a) => [a]元…

なんか最近 Vimperator のことばかり書いてますね… たまに欲しくなるので bang をトグルするキーマップを定義してみた． 例えば :mr hoogle map とかした後，やっぱり個別のページで見たいなと思って すると :mr! hoogle map に切り替わる． bang がついてい…

このポストで気付いた． http://twitter.com/YarmUI/status/13397162500 今まではここにまとめてあるように，各 event に対して id しか渡されていなかった． http://ssig33.com/blog/2010-04-25-1.html しかし，手元のログだとちょうど今日5月5日の5時くら…

Firefox のアクセスキーの設定は ui.key.generalAccessKey ui.key.chromeAccess ui.key.contentAccess で行うことができ，chromeAccess は chrome の要素に，contentAccess はページコンテンツの要素に使われるアクセスキーを指定する． generalAccessKey が…