mimetex はどうかと思う。なんで texvc つかわんのかと。

今まで使ったことなかったが、input_value と output_value が超便利。要は任意のデータを serialize して out_channel にはき出す。

飲み会の話題にて。なんか、文字エンコード判定がしょぼくてどうこうというはなし。世の中のエンコード判定がどうなってるのか知らないけど、ルールベースでそのエンコードの範囲からはずれたら false とかしてるのかな。でも、やっぱりそこは、入力文字列: …

SC に行っていた２人が帰ってきたところで飲み会。例のごとくしゃぶしゃぶ食べ放題。食い過ぎた。きめぇ。

実は研究室の windows server は 4GB の HDD を搭載していて、残り 200MB しか余ってない。残り容量が足りずに 200 MB 近いツールをダウンロードすらできない。流石に古いので新しいマシンと交換しようかというはなしをしていたが、結局面倒なので外付け HDD…