Received: from kudpc.kudpc.kyoto-u.ac.jp (kudpc.kudpc.kyoto-u.ac.jp [130.54.8.13]) by nacm.com (8.6.9/8.6.9) with ESMTP id XAA28535 for <executor@nacm.com>; Fri, 11 Nov 1994 23:21:25 -0800
Received: from sakura.kudpc.kyoto-u.ac.jp (sakura.kudpc.kyoto-u.ac.jp [130.54.9.11]) by kudpc.kudpc.kyoto-u.ac.jp (8.6.5/8.6.5) with SMTP id QAA09481 for <executor@nacm.com>; Sat, 12 Nov 1994 16:21:08 +0900
Received: by sakura.kudpc.kyoto-u.ac.jp (4.1/6.4J.6)