天泣記

あれはたしか雑誌などの発売日をもとめるプログラムを作った時のことだ。正規表現で発売日を表現して日付とマッチさせることにしたのだが、隔週発売への対応に悩んで思いついたのだ。隔週の発売日は、日付をユリウス通日で表現して、それを 14を法として 0 から 13 までと比較すれば判定でき、それは 14状態の有限オートマトンで実現でき、それと等価な正規表現が存在する、というわけである。

まぁ、結局、そんな正規表現をいちいち書いてられないので、そのプログラムでは別の方法で対応したのだが。

うぅむ。尋ねられた後かなりたってから思い出したので答え損ねた...

#2

Batik is a Java(tm) technology based toolkit for applications that want to use images in the Scalable Vector Graphics (SVG) format for various purposes, such as viewing, generation or separator manipulation.

2001/07/11

#1: add と ci を一本の connection 上で発行すれば(admin を使わないでも) description を指定できることに気がつく。

2001/07/12

#1: Trueprint is a printing program for postscript printers that is designed to be the only printing program you'll need.

2001/07/13

#1

今日の zsh script:

t=1
while :
do
  sleep $t
  echo $t
  (( t = t * 2 ))
done

#2

思ったのだが、directory のなかにひとつ(だけ) directory があるときに ViewCVS でたどるのは面倒だな...

2001/07/15

#1

Sticky Tag に 1.1.9 とかを設定した時に add/commit が失敗するのを直してみる。

#2

今日の zsh script:

% t=2048
% while :
do
  sleep $t
  echo $t
  (( t = t + 60 ))
done

2001/07/16

#1

どうやら 1時間くらいらしい。

#2

ふと思い立って、emacsen と plural でサーチしてみる。

gnusae もサーチしてみる... こちらは説明が見つからない。

2001/07/17

#1: うぅむ。メールが読めない... もうちょっと冗長性を増やさないとなぁ。

2001/07/18

#1: Boomborg-Keisan を Emacs 20 で動かすパッチを掘り出す。 Emacs 21 でも動いた。

2001/07/19

#1: 寝坊する。

2001/07/20

#1: やっぱり初日はやめておいたほうがよかったかもしれない... 混んでいた。

2001/07/21

#1: visitor の乱用ぎみ...
#2: deltatext の順序は一意に決まってはいない事に気がつく。

2001/07/23

#1

cvs は rcs file を読むときに、全体をメモリに保持することはしない。例えば、checkin するときには rcsfile を右から左にコピーする途中で、新しい deltatext を適当な場所に挿入する。 (なんとも非富豪的である。読んでいないが、どうせ rcs も同様であろう。たぶん。)

さて、Ruby/CVS の次版では rcs.rb が入って rcs を捨てる予定なのであるが、富豪的に行くかどうかが悩みどころである。

結局、rcs file のサイズとメモリ量の増加のどちらが速いか、とゆーのが問題なわけだが...

所詮人間の作業なんだから rcs file の増加はたかが知れている、かな?

#2

cvs.m17n.org の rcs file のサイズを調べてみる。上位にはバイナリが並ぶことに気がつく。うぅむ。人間の作業結果ではない連中が厄介なのだな...

ちなみに、人間の作業結果らしきなかで最大のものは gnus/texi/gnus-ja.texi,v の 8.7M であった。

#3

なんとなく、escape sequence を termcap に従って逆変換するスクリプトを作ってみる。

まぁ、パターンを長い順にソートしてるのが何だが。ちゃんと escape sequence が残らないようなマッチを探すにはどうするのが簡単だろうか?

せめて flex.rb を使ってマッチ対象の最長を探した方が良かったかも知れない。

2001/07/24

#1

明日は土用の丑の日。

#2

unreadable... kterm, xterm は button 3 でコピーする領域を拡張できるので、下端をドラッグして指定した後、スクロールして上端で button 3 をクリックすると、大きな領域を指定できる。

まぁ、これもローテクではある。

なお、 (とくに button 2 が auto repeat する環境では) scroll-back と scroll-forw を適当なキーに bind しておくと便利である。

また、unreadable にこだわるならウインドウサイズはスクリーンサイズで制約されているわけではないので、最大化で満足するのは早計であろう... と思ったが、(button 3 を使わない場合には)コピーの限界が一画面だからこれは意味がないか。

#3

昔 select-start や select-end をキーに bind することを試したが、なんかうまく行かなかったことを思い出す。

今だったら、screen で、ということになるんだろうか...

#4

KTerm*VT100.Translations を眺め直すと... scroll-back と scroll-forw のほかに insert-selection もよく使っているな...

#5

appres に補完がついていないことに気がつく。

2001/07/25

#1

newphrase が終わるのは

admin の場合、先頭に num が現れた場合であり、num と id は異なるので判別でき、
delta の場合、先頭に desc という id が現れた場合であり、これはひとつのトークンの種類だけでは区別できず、
deltatext の場合、先頭に text という id が現れた場合であり、これもひとつのトークンの種類だけでは区別できない。

ならば desc と text を id でなくしてしまえばいい... というのはあさはかであったことに気がつく。

desc と text は symbol として現れ得るから、そんなことをしたら symbol として使えなくなってしまう...

本質的に曖昧かどうかというと... 1.1 log @@ text @@ 1.2 log @@ x ; text @@ は (1.1 log @@ text @@) (1.2 log @@ x ; text @@) というふたつの deltatext と 1.1 log @@ (text @@ 1.2 log @@ x ;) text @@ というひとつの deltatext のどちらにも認識できるのでやはり曖昧である。

delta の newphrase は... どうなんだろ? どうであろうと全体として曖昧であることには違いないが。

とすると、ocamlyacc は(すくなくとも単純には)使えないな... どちらかというと再帰降下型のパーザを書き下した方が適切か。

#2

アルコールと typo に相関関係はあるか?

#3

いちおう、cvs tag desc とか cvs tag text とかしてみる。まぁ、予測通りではあるがなんの問題もない。

ついでに、

% for f in rcs*.tar.*
tar tvfz $f|grep '[yl]$'

とする。でてきたか、と思ったら man の l section だった。

2001/07/26

#1

% cat a.ml 
class virtual c1 =
  object
  end

and c2 =
  object (self)
    method m = (self : #c1 :> c1)
  end
% ocamlc -c a.ml 
File "a.ml", line 7, characters 16-20:
This expression has type < m : 'a; .. > but is here used with type c1 = c1
Self type cannot be unified with a closed object type

ぬ? ふむ。 mutually exclusive にしなければ通るが...