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.