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 firstname.lastname@example.org Tel:+44(0)1784 443425 Fax:+44(0)1784 439786