From leavens@cs.uiowa.edu Thu Jan 18 13:24:11 2001 MIME-Version: 1.0 Date: Thu, 18 Jan 2001 13:23:49 -0600 From: "Gary T. Leavens" Reply-To: leavens@cs.uiowa.edu X-Accept-Language: en Subject: 22C:181 URL Content-Type: multipart/mixed; boundary="------------5BED98D5CD085F2D46A40876" >From leavens Wed Jan 17 09:13:23 2001 Date: Wed, 17 Jan 2001 09:11:53 -0600 From: "Gary T. Leavens" Reply-To: leavens@cs.uiowa.edu X-Accept-Language: en,de,fr To: Jeff Mohror CC: Students in 181 , Shu Liu Subject: Re: 22C:181 Content-Type: text/plain; charset=us-ascii X-Mozilla-Status2: 00000000 Jeff, you wrote: > The web address given in class > (http://www.cs.iastate.edu/~leavens/ui181/index.shtml) does not seem to be > working. I have been accessing the web page through > http://www.cs.iastate.edu/~leavens/ui181/WWW, is this the same page? Yes, you are right. The address I meant to write is: http://www.cs.iastate.edu/~leavens/ui181/WWW/index.shtml Gary  -=- MIME -=-  This is a multi-part message in MIME format. --------------5BED98D5CD085F2D46A40876 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit --------------5BED98D5CD085F2D46A40876 Content-Type: message/rfc822 Content-Transfer-Encoding: 7bit Content-Disposition: inline >From leavens Wed Jan 17 09:13:23 2001 Received: from mail.rdc1.il.home.com (imail@ha1.rdc1.il.home.com [24.2.1.66]) by server.divms.uiowa.edu with id JAA08242; Wed, 17 Jan 2001 09:13:14 -0600 (CST) Received: from cs.uiowa.edu ([24.9.193.95]) by mail.rdc1.il.home.com (InterMail vM.4.01.03.00 201-229-121) with ESMTP id <20010117151313.KSLD8992.mail.rdc1.il.home.com@cs.uiowa.edu>; Wed, 17 Jan 2001 07:13:13 -0800 Message-ID: <3A65B638.7F30C9A@cs.uiowa.edu> Date: Wed, 17 Jan 2001 09:11:53 -0600 From: "Gary T. Leavens" Reply-To: leavens@cs.uiowa.edu X-Mailer: Mozilla 4.76 [en] (Win98; U) X-Accept-Language: en,de,fr MIME-Version: 1.0 To: Jeff Mohror CC: Students in 181 , Shu Liu Subject: Re: 22C:181 References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mozilla-Status2: 00000000 Jeff, you wrote: > The web address given in class > (http://www.cs.iastate.edu/~leavens/ui181/index.shtml) does not seem to be > working. I have been accessing the web page through > http://www.cs.iastate.edu/~leavens/ui181/WWW, is this the same page? Yes, you are right. The address I meant to write is: http://www.cs.iastate.edu/~leavens/ui181/WWW/index.shtml Gary --------------5BED98D5CD085F2D46A40876-- From leavens@cs.uiowa.edu Mon Jan 22 15:21:41 2001 MIME-Version: 1.0 Date: Mon, 22 Jan 2001 15:21:44 -0600 From: "Gary T. Leavens" Reply-To: leavens@cs.uiowa.edu X-Accept-Language: en,de,fr To: Timothy VanFosson Subject: Re: homework 0, problems 1 and 2 Content-Type: text/plain; charset=us-ascii Timothy, Timothy VanFosson wrote: > A question about Homework 0... > > Should we interpret "do you encounter" to mean us personally or people in > general? It is ambiguous isn't it. A typical problem with English specifications :-) > For instance, I don't personally work with computer-controlled > milling machines, but the failure of safety interlocks on some such > machines could be hazardous to their operators. On the other hand, there > are some systems that I do personally encounter on a regular, if not daily, > basis that also have such risks associated with them. You can answer this either way. In order not to make this too involved it may be best to limit your discussion to systems you encounter personally... > I guess what I'm getting at here is how many types of such systems do you > want us to list. If I restrict it to my personal experience the list will > be much shorter. A few examples is fine; probably the ones you personally encounter would be enough. Gary