Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/3/84; site talcott.UUCP Path: utzoo!linus!philabs!cmcl2!seismo!harvard!talcott!gjk From: gjk@talcott.UUCP (Greg Kuperberg) Newsgroups: net.net-people Subject: Need a path to Tsutomu Hosoi... Message-ID: <346@talcott.UUCP> Date: Sat, 9-Mar-85 23:01:45 EST Article-I.D.: talcott.346 Posted: Sat Mar 9 23:01:45 1985 Date-Received: Tue, 12-Mar-85 20:16:05 EST Distribution: net Organization: Harvard Lines: 9 He is rumored to be in Tokyo somewhere. He wants to teach a course on Mizar, a computer language that Andrzej Trybulec (and maybe some other people) developed, and Dr. Trybulec would like to be able to correspond with him over the computer. --- Greg Kuperberg harvard!talcott!gjk "2*x^5-10*x+5=0 is not solvable by radicals." -Evariste Galois.