Re: micromouse vs Micromouse vs MicroMouse
Would it be 2^10 -1 ways to capitalize the spelling of micromouse ?
Robotic Building Blocks
----- Original Message -----
From: "A Johnstone" <email@example.com>
To: "John Wright" <firstname.lastname@example.org>
Cc: "David Otten" <email@example.com>; "micromouse" <firstname.lastname@example.org>
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.
> Dr Adrian Johnstone, Senior Lecturer in Computing, Computer Science Dep,
> Royal Holloway, University of London, Egham, Surrey, TW20 0EX, England.
> Email email@example.com Tel:+44(0)1784 443425 Fax:+44(0)1784 439786