トップ «前の日記(2003-09-18) 最新 次の日記(2003-09-20)» 月表示 編集

日々の流転


2003-09-19 [長年日記]

λ. 親知らず

親知らずを抜歯。多少痛む。

λ. pcl-cvs

cvsコマンドを直接使うのが馬鹿らしくなったので、pcl-cvsを使ってみる。しかし、MeadowからCygwinのsshにパスフレーズを渡すことは出来ないみたい(MeadowがCygwinのptyを扱えないのはまぁ当然だよね)。ssh-agentを使えば良いみたいだけど、どうせなのでwin-ssh-askpassというのを使ってみる。なかなか便利。

λ. 分類と情報射のなす圏のexponential (PDF)

そのままじゃ存在しないよね。忘れないうちにメモしておく。

[2005-03-27 追記] distributive category でないことを示しすことによって間接的に証明した方がスマートだと思う。

本日のツッコミ(全1件) [ツッコミを入れる]
ψ torry (2003-09-23 00:36)

俺はcygwinの起動時にssh-agentでpass phrase入力して、<br>$ meadow &なんてしてます。