トップ «前の日記(2001-06-09) 最新 次の日記(2001-06-11)» 月表示 編集

日々の流転


2001-06-10 [長年日記]

λ. LK

そういえば、LKって何の略?

(追記) 2002-11-03を参照。

λ. 論理記号と文字コード

JIS X0213では数学の記号がだいぶ追加されてるけど、シーケント計算で使う「⊢」記号ってX0208, X0212. X0213のいずれにも含まれていないんだよね。罫線の「├」を使えって事か? そういえば、矛盾の「⊥」記号も無いんだよな。垂直記号の「⊥」で代用せよと? 何だか、冷遇されてるよなぁ。ギリシャ文字のファイ(「φ」)の他に、空集合の記号「∅」を追加したりするくらいなら、矛盾記号くらい追加して欲しいものだ。

λ. Unicodeは後で見てみよ。それと、MathMLも使えるかどうか確認しなくちゃ。

λ. 夕方

いっちーさんに頼まれていたjpegプラグインの改造もしたし、tDiaryのパッチも送ったし、多少はTODOをこなすことが出来た。よしよし。

本日のツッコミ(全3件) [ツッコミを入れる]
ψ いっちー (2001-06-16 07:19)

jpegプラグインの件、どうもありがとうございました。アナログ56Kbpsを省略したのは、やっぱ64Kbpsに近いから?

ψ さかい (2001-06-17 21:33)

アナログ56Kbps の存在はすっかり忘れていました。<br>手元のソースに「アナログ56Kbps」を加えときますね。<br><br>枠組を用意するのが僕の仕事で、<br>足りないエントリーについては<br>必要な人が追加すれば良いとも思ってました。<br>なので、あのソースに入っているエントリーは結構テキトーだったりします。(^^;;<br>他に必要な速度があったら言って下さい。

ψ いっちー (2001-06-22 07:37)

色々数値をいじっていたら、自分で速度を追加できることに気が付きました。<br>(↑おおばか者)<br><br>で、それを gimp-developer ML に投げつけました。<br>「ナイスなパッチだね! でも gimp-1.2.x での採用は見送らせてもらうよ。<br>gimp-1.4 ではファイル入出力プラグイン用に共通して使えるライブラリを<br>用意して、それでファイルサイズやプレビューなどを一貫した UI で提供<br>できるようにする予定だよ」(意訳)<br><br>とのお返事を頂きました。まだ ML では jpeg がらみのやりとりが続いて、<br>色々な方向に議論が分かれているので、その途中経過だけをお伝えしました。