2001-06-10 [長年日記]
λ. 論理記号と文字コード
JIS X0213では数学の記号がだいぶ追加されてるけど、シーケント計算で使う「⊢」記号ってX0208, X0212. X0213のいずれにも含まれていないんだよね。罫線の「├」を使えって事か? そういえば、矛盾の「⊥」記号も無いんだよな。垂直記号の「⊥」で代用せよと? 何だか、冷遇されてるよなぁ。ギリシャ文字のファイ(「φ」)の他に、空集合の記号「∅」を追加したりするくらいなら、矛盾記号くらい追加して欲しいものだ。
λ. Unicodeは後で見てみよ。それと、MathMLも使えるかどうか確認しなくちゃ。
λ. 夕方
いっちーさんに頼まれていたjpegプラグインの改造もしたし、tDiaryのパッチも送ったし、多少はTODOをこなすことが出来た。よしよし。
jpegプラグインの件、どうもありがとうございました。アナログ56Kbpsを省略したのは、やっぱ64Kbpsに近いから？
アナログ56Kbps の存在はすっかり忘れていました。<br>手元のソースに「アナログ56Kbps」を加えときますね。<br><br>枠組を用意するのが僕の仕事で、<br>足りないエントリーについては<br>必要な人が追加すれば良いとも思ってました。<br>なので、あのソースに入っているエントリーは結構テキトーだったりします。(^^;;<br>他に必要な速度があったら言って下さい。
色々数値をいじっていたら、自分で速度を追加できることに気が付きました。<br>(↑おおばか者)<br><br>で、それを gimp-developer ML に投げつけました。<br>「ナイスなパッチだね！ でも gimp-1.2.x での採用は見送らせてもらうよ。<br>gimp-1.4 ではファイル入出力プラグイン用に共通して使えるライブラリを<br>用意して、それでファイルサイズやプレビューなどを一貫した UI で提供<br>できるようにする予定だよ」(意訳)<br><br>とのお返事を頂きました。まだ ML では jpeg がらみのやりとりが続いて、<br>色々な方向に議論が分かれているので、その途中経過だけをお伝えしました。