logic-ml のみなさま， 管理人の五十嵐です． ここ数日 logic-ml などメイリングリストの調子がおかしかったようなのでメ ンテをしております． これはテストですので，無視してください． -- 五十嵐 淳 (IGARASHI Atsushi) E-mail: igarashi at kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/