(追記) plus さんからメールをもらいました. まだ確認してませんが, 色々とまずそうです. 少くとも, physical-line を入れてないと動かないことが判明しています. 修正版を調べて up できるようにします. (さらに追記) とりあえず, plus さんに頂いたパッチ…

ゴールデンウィークか そういや今日からゴールデンウィークかあ. とりあえず, 自分は月曜まで休み. 既に昼夜逆転ぎみ. 火曜, 水曜と普通に講義があって, 木曜から日曜まで休み. 休みになる講義は, ・・・1つだけ？あとは, ゼミがまるまる休みになるぐらいか.…