■Linux で印刷ができない問題は，用紙サイズを CUPS で設定したら良かった．通常，letterサイズになっているらしい．無益な時間を過ごした． めも：http://localhost:631/■コロキウム 来週のコロキウムではなす内容を勉強してたけど、まったく自明ではないの…