http://d.hatena.ne.jp/kgbu/20080617/1213685112 でひっかかっていたので、BarendregtのLambda calculi with typesを少し読んでみた。 以下、自分にもよくわからないメモなので、もし間違って検索でここに来た人は、すみませんが無視してください。

http://d.hatena.ne.jp/kgbu/20080425/1209104105 を追記修正した。 expectでコマンドを実行するとき、空白を含むオプションは、ダブルクォート(")でくくれば渡せるようだ。この場合、￥でエスケープする必要はあるが、とにかく可能であるようだ。 spawn rsy…

雨のち曇り。大変に蒸す