[Prev][Next][Index][Thread]
Re: micromouse vs Micromouse vs MicroMouse
Would it be 2^10 -1 ways to capitalize the spelling of micromouse ?
Hehehehe
Steve
Robotic Building Blocks
http://www.rdk2001.com
----- Original Message -----
From: "A Johnstone" <adrian@cs.rhul.ac.uk>
To: "John Wright" <j.wright@ieee.org>
Cc: "David Otten" <otten@mit.edu>; "micromouse" <micromouse@cs.rhul.ac.uk>
Sent: Thursday, May 24, 2001 10:33 AM
Subject: Re: micromouse vs Micromouse vs MicroMouse
>
> Nothing like a point of gramar or usage to get everybody going. There are,
> of course 2**10 = 1024 possible ways of capitalising MicROmOuSe, or 2**11
> if we include variants with and without the space (micro mouse) (or
> 3*2**10 if we allow hyphenation as well (micro-mouse)). Perhaps we should
> set up a server on the web site which supplies the next permutation to a
> list-user so that we cycle through all of them in sequence, thus
> satisfying everybody, or more likely nobody...
>
> This is just the sort of stupid idea that gets computer scientists a bad
> idea, of course.
>
> Adrian
>
> Dr Adrian Johnstone, Senior Lecturer in Computing, Computer Science Dep,
> Royal Holloway, University of London, Egham, Surrey, TW20 0EX, England.
> Email a.johnstone@rhul.ac.uk Tel:+44(0)1784 443425 Fax:+44(0)1784 439786
>
>
Follow-Ups:
References: