[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[nikomat:14737] Re:[-yota][Nikon]時間の止まった店



よしだ@訂正  です。

In message <199802100926.SAA14073@nikongw.nikon.co.jp>
   "[nikomat:14735] Re:[-yota][Nikon]時間の止まった店"
   "Koji YOSHIDA <yd@nikongw.nikon.co.jp>" wrote:

 >  { Xi | Action(Xi, A)  ∧  Action(Xi, B) } ∨  { Xi | Xi ∈ ♂ }
                                                ↑
                                                ¬(否定記号)

*****

推論システム(系)は? っつう 「つこっみ」も出来るな。


------
 吉田幸司  Dr.Eng. 1960.03.26生♂ Rh+O   (株)ニコン  zip.140-8601
    e-mail:yd@nikongw.nikon.co.jp        半導体露光装置第3設計部
    tel:03-3773-8502                            第3システムGr.
    fax:03-3775-9042                            知能システムR&D室