0522
昨晩は乱数の変換のための計算をしていました。関数形がシグモイドで綺麗だったからか、逆変換法というやつで素直に出せてよかった。式は$a^{-1}\log\frac{\beta-1}{\beta^{1-x}-1}$です($\beta=e^{ab}+1$、$a$は坂道の広がり具合の逆数、$b$は坂道の遠さ)。
あと数学もちょっとやりました。あまり進まなかったけど。フロベニウス置換が出てきたけど、まだ何なのかわかりません。
$\Q$の拡大$\Q(\zeta_N)$はいろいろとすてきな性質があったけれど、一般の代数体$K$にもそういうすてきな拡大があるよっていうのが類体論らしいです。なるほどねえ。
仕事は一段落。だけど昔書いたカスタムダイアログのレイアウト機構がなぜか特定条件下で改行を無視する不具合が見つかってつらい。あと二回くらい直したはずのメモリリークもまだ稀に再発している(これは条件がまったくわからない、レアケースだと信じているのだが)。ともあれ一段落。
さて、週末です。具合はちょっとだけ良くなったような気もするけどまだ油断はできません(悪いし)。ゆっくり休みましょう。
そういえば「放課後のプレアデス」いいですね。実質エイラーニャだし。いや、それだけの話ではないのですけれど。こう、道具立てがよく生かされている感じがある。よい。