移行するのか使い分けるのか決めずに始めましたが，移行する気がしています． http://eagletmt.hateblo.jp/

Twitter for iPhone や Photobucket を利用して画像を上げると，画像は p.twimg.com/*.jpg というような場所に置かれる． このパスの部分の文字列がどうやって生成されているのか気になった． しばらく観察してわかったことは 15文字固定 使われる文字は英数…

今まで推論規則を書くときは proof.sty を使っていた． \[ \infer[\mbox{\sc T-App}]{ \Gamma \vdash t_1\ t_2 : \tau_2 }{ \Gamma \vdash t_1 : \tau_1 \rightarrow \tau_2 & \Gamma \vdash t_2 : \tau_1 } \] と書くと のようにレイアウトされる． しかし…

例えば 'autocomplete' を有効にして :ec commandl と入力すると，:ec co の段階で多くの補完候補が表示され，そのときの高さを保ったまま :ec commandl の補完候補が表示された状態になる． これは特にページのコンテンツを見ながらコマンドラインを入力し…