Meteor リアルタイム画面更新に感動した。なるほど確かに development に WebSocket は使えるかもしれない。 インストール インストールは、ワンライナーで。 curl install.meteor.com | sh Hello World! インストールすると、 Meteor installed! To get sta…

Mosh という SSH 代替ターミナルソフトが紹介されていた。 mosh: MITからモバイル時代のSSH代替品 - karasuyamatenguの日記 なるほど面白そうだ! というわけで早速インストールしてみたので、以下メモ。環境は、 Server: CentOS 5.8 ... のつもりだったけど…

野矢茂樹さんの「入門! 論理学」を読んでいて、個人的にわかりにくかったところがあったのでメモ。 存在量化の除去則 ある x が存在し [Ax]、Aa ならば C -> C これを、「アンパンを食べたものには天罰が下る」といった文を例に説明していたが、この C が何…