GitHub へのアカウント開設はすでに済んでいるとする． ssh の鍵は既に生成済みとする． Account Settings にて公開鍵を登録する． GitHub 側のユーザ名は常に git なので，手元のローカルユーザ名からのアクセスを可能にするために ~/.ssh/config を編集す…

debian マシンで gauche で trace するには以下のようにする．まず SLIB (portable scheme library) が必要である． $ sudo aptitude install slibプログラム中で以下のようにする． (define (fact n) (if (= n 0) 1 (* n (fact (- n 1))))) (use slib) (req…