GTK+ な message user agent。 数日ぶりの version up。
Windows な application を emacsen ライクな使い勝手にする tool。 約 1 週間ぶりの version up。
ブラジルに戻った先生からレフェリー報告をいただいた。 英文の細かな修正といくつかの命題・補題のまとめ直し、命題に関する証明の追加を要求された。 削られると予想していた部分は、意外にもそのままで良いと判断されたようだ。 で、修正部分のより詳細な情報が欲しかったので、とりあえず返信して反応待ち。
いきなり“Page 5, delete line 4, and line -7.”なんて書き方されても分かりません…。
この論文誌は最終版でも e-mail で受け付けてくれないみたい。 厳しすぎる。 ;(
…困った。 もう一つ解きたい問題がかなりハッキリと出来てしまった。 仕方無い、今週末と正月休みも数学やりますか…。
dellin さんの日記から。 貴重だ。