ずっと昔、UNIX システムでは、 rsh (remote shell) という、便利な仕掛けがあったけれど、 とっくの昔にそういう素朴な仕掛けは使えなくなって、 代わりに ssh (secure shell) という仕掛けで置き換えられるようになった。 使いこなすと便利です。
この節の内容は、研究室の某君への説明用 (として書き出した)。 例などは彼でないと理解不能。
