HDTenEightyP/NetNews huggingface dataset:
From: nick@dcs.ed.ac.uk (Nick Rothwell)
Newsgroups: comp.music,comp.sys.mac.apps,comp.sys.mac.misc
Subject: Re: Now what? (MIDI)
Date: 28 Aug 92 11:12:27 GMT
	<Bto53D.3sn@usenet.ucs.indiana.edu>
	<D88-JWA.92Aug28104318@dront.nada.kth.se>
Organization: Naff Green Shorts Dance Co.
In-reply-to: d88-jwa@dront.nada.kth.se's message of 28 Aug 92 09:43:18 GMT

In article <D88-JWA.92Aug28104318@dront.nada.kth.se> d88-jwa@dront.nada.kth.se (Jon W{tte) writes:

   Actually, as anyone in rec.music.synth will tell you,
   using audio, or computer, cables for MIDI may very well
   induce a lot of noise and hum and current loops into
   your audio rig (which, after all, is more important than
   the computer aspects of it...)

All the MIDI cables I've ever seen have just been good quality audio cables
with the word MIDI printed down the side. This is obvious: all five pins are
wired.

Nick.
--
  Nick Rothwell, LFCS, Edinburgh | "Say, how many contemporary dancers are
               nick@dcs.ed.ac.uk |     there in this bar?"
CASSIEL Contemporary Music/Dance | "Dunno; count the Dr. Martens and
     cassiel@cix.compulink.co.uk |     divide by two..."
Newsgroups: comp.music
From: F1.DAO@isumvs.iastate.edu (David Oesper)
Subject: Isao Tomita and Beyond...
Organization: Iowa State University, Ames IA
Date: Tue, 1 Sep 1992 06:38:39 GMT

What is Isao Tomita up to nowadays?  I haven't heard much from him
or about him for quite a while.  I am a real classical music fan and
for me Tomita literally opened up the door to a new world of
"electronic orchestral music".  I particularly like his earlier
works (Snowflakes Are Dancing, Firebird, Pictures at an Exhibition),
but much of his later work (but not all of it!) seems rather
uninspired and uninspiring.  Even so, I feel that Tomita has done
much to elevate electronic music beyond experimentalism.  I'd like
to hear him do Ottorino Respighi's "The Pines of Rome".  Wouldn't it
be great?

Now, if someone like Isao Tomita can do such wonderful
full-orchestral electronic reworkings of well-known classical works
back in the 70s and 80s, what could some young electronic composer,
with a strong-background and love for classical music and inspired
by the brilliant work of Tomita, do today?  Is there anybody out
there writing original electronic symphonies, tone poems, etc.?

I love classical music and the music of Tomita.  What else is there
out there for me to listen to in the electronic music domain?

David Oesper
Ames, Iowa
From: noam@techunix.technion.ac.il (noam amir)
Newsgroups: comp.music
Subject: Re: Composing & notation software... help me!
Date: 2 Sep 92 05:10:59 GMT
Organization: Technion, Israel Institute of Technology

have you guys heard of MUZIKA? i posted a announcment to this
group a while ago about it, it's a notation software. it's not
complete yet, but a preliminary version is available by ftp
from simtel and garbo sites, or from me. it runs under windows,
creates midi files, supports multiple staves and parts and
looks pretty good. the sources are available too:
MUZPAK1 is the program+guide, MUZSRC1 is the source+docs.
right now it doesn't print, and has some features missing,
but i hope to have that fixed soon. inquiries are welcome,to
noam@techunix.technion.ac.il
                          noam.
Newsgroups: comp.music
Subject: Falcons, more than Graphix.
From: mjbutler@miavx2.ham.muohio.edu
Date: 2 Sep 92 15:07:49 EDT
Organization: Miami University, Hamilton campus

Couple gripes and complaints.

#1.. Last I looked this was the comp.music sig.. 
  You are all talking about the resolution of the Falcon, which is great,
but it isn't the only great thing about the Falcon.

#2.. You must not relize how hard it is to convince people that think
  that Atari is a Game Machine, when quite the contrary.

#3.. The Falcon has some incredable sound capabilities.  They included
  a DSP chip (Digital Signal Processor) to replace the old Yamaha chip
  used for MIDI.  Plus with the addition of a Stereo Microphone Jack, you
  (yes, the average Joe) can make your own samples WITHOUT a MIDI Keyboard.

#4.. Check out some of the sound feature.. This is the music sig, and the
  Falcon 030 can DEFINATLY do music. (BTW: That is why it is still in a 
  single case, because the MIDI people wanted it to be portable.)
           |||
           |||                        .\\ike
          //|\\ Support? We don't need no stinkin' support!
From: rosensta@spade.rutgers.edu (Michael "Trott" Rosenstark)
Newsgroups: comp.music
Subject: Graduate programs
Keywords: PhD level
Date: 26 Aug 92 23:27:05 GMT
Organization: Rutgers Univ., New Brunswick, N.J.


hello:

I am looking for opinions on graduate programs (Ph.D. level) in music
composition/electronic music.  Specifically, I am looking for programs
that will allow me to concentrate on composing and not weigh me
down with extraneous history and theory courses.

Any info at all would be appreciated.  Summary posted if warranted.

thanks,

mike
-- 
rosensta@ace.rutgers.edu
rosensta@silvertone.princeton.edu


      "Domini caveat e smilium, diem e smilium, Corpus Christi e smilium."

--Caesar, proposing a ban on the use of smileys on Rome's "usenet", ca. 40 A.D.
From: doodsf@gaia.ecs.csus.edu (Sam messin w/ Unix)
Newsgroups: comp.music
Subject: FTP site for mods
Date: 30 Aug 92 03:44:04 GMT
Article-I.D.: csusac.1992Aug30.034404.7940
Organization: California State University, Sacramento


I recently got a soundblaster for the PC...

So, I was wondering if anyone knew any sites with lots of .mod files.

Thanks in advance!

Sam
Newsgroups: comp.music
Subject: low-cost MIDI for IBM PC / Finale
From: burnstc@ucunix.san.uc.edu (Thomas C Burns)
Date: Wed, 2 Sep 92 13:10:11 GMT
Distribution: USA
Organization: University of Cincinnati

I am using Finale 2.0.1 on an IBM PC with no MIDI anything.  I'd like info on
the lowest-cost way of being able to :
	1) Hear what I've written (up to 12 voices)
	2) Be able to enter music from a MIDI keyboard (I don't play piano, so 
		a big fancy-schmancy keyboard is pointless)
Short of buying a freight-car-load of equipment that the local "trust me man,
I'm not on commission" music store salesman is trying to hustle, what can 
I do?  The music I'm writing is for classical chamber ensembles, so I'll never
use the rig for performance.  Thanks in advance for any advice.

P.S.  I'm posting this for a friend (he dictated the message.), but any e-mail
	to me will get to him.


Newsgroups: comp.music
From: jyoung@nyx.cs.du.edu (Jeff Young)
Subject: Re: Atari Falcons $799!!!!!
Organization: Nyx, Public Access Unix at U. of Denver Math/CS dept.
Date: Thu, 3 Sep 92 04:28:48 GMT

In article <1992Sep2.130649.906@yvax.byu.edu> sean@digaudio.byu.edu writes:
>
>Many graphics modes does not mean any graphics mode.  As soon as another  
>graphics size is needed, or an unusual bit depth is required, you can  
>throw the Falcon out the window.  A locked design, no matter how many  
>modes are supported, is a poor design for an advanced computer, period.

??? If Falcon OS has VDI (virtual device independent) and allow 
software to have any graphic size then what is problem?  If want better
answer then please post to comp.sys.atari.st so ST experts can
help out with facts!

Is memory protection advanced computer design too?  If yes then
will you throw Mac out of window?  What about premptive multitasking
on Macs? Solution is to throw more Macs out of window?
  
>Well, I read that too.  But if the Falcoln does not support an advanced  
>graphics system (and it sound like it does not), we won't be seeing  
>Falcons running NeXTSTEP (which sits on DPS) for a long time now.

Why not post ALL questions you have to atari.st groups for TRUE
information?  Or maybe people will find many computers outside
you window..


From: David.Rawsthorne@f812.n623.z3.fidonet.org (David Rawsthorne)
Sender: acsnet@csource.oz.au
Newsgroups: comp.music
Subject: Midi player for DOS
Date: Tue, 18 Aug 1992 10:04:03 +1000

Hello everyone, I am after a PD MIDI program that will play, save, and
allow editing of .MID files. I have an MPU401 midi board and a Yamaha
keybaord, but the only half decent program around runs under Windows,
and I cant afford the space for windows just to run the sequencer.

cHOW, dAVID

... Daddy, what does "FORMATTING DRIVE C:" mean?
 * Origin: The Flying Eagle's BBS. Lithgow. (063)523007 V32. (3:623/812.0)
From: psr@acsu.buffalo.edu (Ben the Crafter)
Newsgroups: comp.music
Subject: Music Time
Summary: Looking for a test run before I buy.
Date: 31 Aug 92 04:03:58 GMT
Followup-To: psr@acsu.buffalo.edu
Organization: UB

Anyon ehave Passport's Music Time?
I'm thinking of getting this program but would like to see it in operation first so I can make sure it suits my needs.
Thanks.
_Strider

-- 
Strider                     | SUNY @ Buffalo | psr@acsu.buffalo.edu
Lord Mayor, The Hill People | (716) 636 4862 | V127MHSK@ubvms.bitnet

    "For the good of all and according to the free-will of all."
From: kjohnson@castor.cs.uga.edu (Kristopher Johnson)
Newsgroups: comp.music
Subject: Re: Where can I find MOD songs?
Date: 1 Sep 92 04:27:34 GMT
Organization: University of Georgia, Athens

In article <1685411ECA.C556212@mizzou1.missouri.edu> C556212@mizzou1.missouri.edu (Jeoff Hines) writes:
>
> 
>Does anyone know where I can find some MOD songs?  FTP or otherwise. Thanks.
> 

You can get them at a lot of FTP sites, actually.  However, most would be
found at sites which carry Atari ST and Amiga files.  One place I *KNOW* 
that has several megabytes worth of MOD's is atari.archive.umich.edu in
atari/sounds/mods/.  There are several large archives of MOD files in
there.

Steve
Newsgroups: comp.music,rec.music.misc
From: timk@meaddata.com (Tim Klein)
Subject: Re: Isao Tomita and Beyond...
Organization: Mead Data Central, Dayton OH
Date: Wed, 2 Sep 1992 12:56:20 GMT

In article <1992Sep2.031321.19077@en.ecn.purdue.edu>, davisonj@en.ecn.purdue.edu (John M Davison) writes:
|>         does anyone know if _The_Bermuda_Triangle_ and _Grand_
|> _Canyon_Suite_ are going to be released on CD?


The Bermuda Triangle exists on CD in Japan.  You can have it imported
for you for tremendous amounts of money.  (I did -- it's worth it.
And you even get a lyrics(!) sheet.)


===========================================================================
Timothy Klein                 I wish I had a kryptonite cross.  Then I
timk@meaddata.com             could keep both Dracula AND Superman away.
...!uunet!meaddata!timk                               -- Jack Handey
From: mikew@kpc.com (Mike Wexler)
Newsgroups: comp.music
Subject: Re: Finale for the Mac --- Help!!!
Date: 25 Aug 92 19:54:37 GMT
Reply-To: mikew@kpc.com
Organization: Kubota Pacific Computers Inc.

Ok, I ftped the demo version of Finale and 
I would like some basic instructions on how to use it.
Also, what tool would people recommend for a novice musician who doesn't
want to spend a lot of moeny on a music composition tool, but just wants
to play around a little with composition?
--
Mike Wexler (mikew@kpc.com)
From: geraint@aifh.ed.ac.uk (Geraint Wiggins)
Newsgroups: comp.music
Subject: Re: Graduate programs
Keywords: PhD level
Date: 27 Aug 92 11:52:17 GMT
Reply-To: geraint@aifh.ed.ac.uk (Geraint Wiggins)
Organization: Dept of AI, University of Edinburgh, Scotland

In article <Aug.26.19.27.04.1992.13207@spade.rutgers.edu>,
rosensta@spade.rutgers.edu (Michael "Trott" Rosenstark) writes:
>
>hello:
>
>I am looking for opinions on graduate programs (Ph.D. level) in music
>composition/electronic music.  Specifically, I am looking for programs
>that will allow me to concentrate on composing and not weigh me
>down with extraneous history and theory courses.

I don't know if you're interested in institutions outside the US, but
the University of Edinburgh offers a 3 year PhD in composition - no
taught stuff at all, only supervised research/composition work.
Nigel Osborne and Peter Nelson are the two main supervisors. As far
as I know there is no restriction on the kind of work you do.

I've been enrolled on the course for a year so far, and have found it
exciting and interesting.

You can get official info from 

	Miss Cynthia Cole
	Faculty Officer
	The Faculty of Music
	Alison House
	Nicholson Square
	Edinburgh
	Scotland

Hope this helps.

Geraint
Newsgroups: comp.specification
From: martin@weigele.de (Martin Weigele)
Subject: Re: wanted: books/paper on formal methods
Organization: M. Weigele
Date: Sun, 30 Aug 1992 23:28:45 GMT

In article <3977@sol.deakin.OZ.AU> cjc@cm.deakin.OZ.AU (Chris Coomber) writes:
> --------------------
> Could someone please tell me the title of a good introductory book and/or
> journal paper on formal methods, in particular, on first order logic from
> a software specification viewpoint.

Caroll Morgan, Programming from Specifications, Prentice Hall, 1990

Perhaps "introductory" is a relative statement...

-- 
Martin Weigele, Kapellenweg 32, D-W-5300 Bonn 2
phone +49 228 333252 home, +49 228 9866385 office
email: martin@weigele.de
From: areid@dcs.glasgow.ac.uk (Alastair Reid)
Newsgroups: comp.specification
Subject: Looking for paper about quantification
Keywords: algebra, universal quantification, empty carrier sets
Date: 2 Sep 92 12:49:07 GMT
Organization: Glasgow University Computing Science Dept.

I'm looking for a paper I skimmed a few months ago but failed to take
a proper note of its location. I thought it was published in a recent
volume of LNCS but checking likely candidates for the last five years
failed to refind it.

The paper suggested a slightly different definition of "valuations."

  The usual definition of a valuation is something like:

    A valuation v:X->A is a family of indexed functions v_s : X_s -> A_s
    which assign a value from A_s (the set of values of sort s in an
    algebra A) to variable symbols taken from X_s.

  If A_s is empty, no value can be assigned to variables from X_s and
  (assuming X_s to be non-empty), no valuation exists.

  From memory, the definition in the paper differed as follows:

    Instead of requiring that v_s(x) (the value assigned to a variable
    x of sort s by a valuation v : X -> A) must always be defined, the
    paper required that:

      v_s(x) is undefined,  if A_s is empty; and
      v_s(x) \in A_s,       if A_s is non-empty.

  This second definition ensures that valuations v : X -> A exist even
  if A does have empty carrier sets and avoids the need for a lot of
  shenanigans in the definition of evaluation of a term, satisfaction
  of a formula and observational equivalence wrt a set of free
  variables.

Any help in finding this paper would be greatly appreciated.

--
Alastair Reid, Computing Science Department, Glasgow University, rm G091,
17 Lilybank Gardens, Glasgow G12 8QQ, SCOTLAND. Work:no phone;home:041 334 3048
JANET: areid@dcs.glasgow.ac.uk   BANG!net: via mcsun and ukc  FAX: 041 330 4913
INTERNET: via nsfnet-relay.ac.uk  BITNET: via UKACRL   UUCP: areid@glasgow.uucp
-- 
Alastair Reid, Computing Science Department, Glasgow University, rm G091,
17 Lilybank Gardens, Glasgow G12 8QQ, SCOTLAND. Work:no phone;home:041 334 3048
JANET: areid@dcs.glasgow.ac.uk   BANG!net: via mcsun and ukc  FAX: 041 330 4913
From: kuhn@swe.ncsl.nist.gov (Rick &)
Newsgroups: comp.specification
Subject: Re: wanted: books/paper on formal methods
Date: 2 Sep 92 17:22:19 GMT
X-Newsreader: Tin 1.1 PL4

cjc@cm.deakin.OZ.AU (Chris Coomber) writes:
: --------------------
: Could someone please tell me the title of a good introductory book and/or
: journal paper on formal methods, in particular, on first order logic from
: a software specification viewpoint.
: 
: Thanks,
: Chris Coomber
: cjc@aragorn.cm.deakin.oz.au
: --------------------

The best place to start is the Sept. 1990 triple issue of IEEE Software,
Computer and Trans. on SW Eng.  You'll find several good introductory
level papers and lots of references to other material.

--

Rick Kuhn                                   Telephone: +1 301 975 3337       
Natl Institute of Standards & Technology    Fax:       +1 301 590 0932      
Technology Bldg. B266                       Internet: kuhn@swe.ncsl.nist.gov
Gaithersburg, Md.  20899  USA                       DRKuhn@dockmaster.ncsc.mil
From: king@client66.comlab (Steve King)
Newsgroups: comp.specification.z
Subject: Re: Boolean Valued Functions?
Date: 30 Aug 92 15:48:48 GMT
Organization: Oxford University Computing Laboratory, UK
Originator: king@client66.comlab

In article <1992Aug29.214201.28617@sctc.com> fine@sctc.com (Todd Fine) writes:
>
>On page 125 of Spivey's "The Z Notation, A Reference Manual" (1st edition),
>disjoint is declared as:
>
>   disjoint _ : P (I \pfun P X)
>
>On page 62 of the manual, the type rules for function application are
                                              ^^^^^^^^^^^^^^^^^^^^
>given as:
>            (rest deleted)
>Todd Fine
>fine@sctc.com

Here's the problem: in the *predicate* disjoint <A,B>, you're not dealing
with function application, but with an object (`disjoint') from the
syntactic category Pre-Rel, together with its expression.

All is clear on p73 of ZRM (1st edition).

On p48, you can see that disjoint is given as the only example of the
syntactic category Pre-Rel.

I haven't checked it, but I'd hope that all the types will work properly now.

Steve King

Programming Research Group
Oxford University Computing Laboratory
11 Keble Rd
Oxford OX1 3QD
From: ach@dsg.npl.co.uk (Andrew Harry)
Newsgroups: comp.specification.z
Subject: Automatic translation, simulation, Z
Date: 28 Aug 92 13:16:51 GMT
Distribution: eunet
Organization: National Physical Laboratory, UK

I have been involved in the production of a report (for the Data Security Group) looking into current research into ways of automatically generating test code and reference implementations (prototypes) from formal descriptions. The work has revealed a large amount of tools currently available in languages such as LOTOS, SDL, and RAISE. but I am unable to find any pointers to work in this field for the formal language Z, and very little for the language VDM (apart from me-too, EPROS and and a VDM-to-SML tra







nslator being developed here).

I would be interested to here from anyone who has or is developing tools in this area in Z or VDM. This includes translation tools and executable subsets, BUT NOT type checkers, syntax directed editors or proof tools.

The report is due for publication soon so prompt replies would be hoped for.

Thankyou in advance

Andrew Harry (Scientific officer)
Data Security Group,
National Physical Laboratory,
Queens Road,
Teddington,
Middlesex, TW11 0LW,
ENGLAND

Tel: +4481 943 7009
Fax: +4481 977 7091
From: fine@sctc.com (Todd Fine)
Newsgroups: comp.specification.z
Subject: Boolean Valued Functions?
Date: 29 Aug 92 21:42:01 GMT
Article-I.D.: sctc.1992Aug29.214201.28617
Organization: SCTC

In the following, I'll use the following notation:

   P = \power, < ... > = \langle ... \rangle, Z = \num

On page 125 of Spivey's "The Z Notation, A Reference Manual" (1st edition),
disjoint is declared as:

   disjoint _ : P (I \pfun P X)

Laws given for disjoint include:

   disjoint <A,B> \iff A \cap B = \empty

On page 62 of the manual, the type rules for function application are
given as:

   In the expression E_1 E_2, the sub-expression E_1 must have type
   P (t_1 \cross t_2), and E_2 must have type t_1, for some types
   t_1 and t_2.  The type of the whole expression is then t_2.

Suppose A and B are of type P t.  Then, <A,B> is of type P (Z \cross P t).
For disjoint <A,B> to be well typed:

   t_1 = P (Z \cross P t)

   P (t_1 \cross t_2)  = P ( (P (Z \cross P t)) \cross t_2) =
      P (I \pfun P X) = P (P (I \cross P X)) for some I and X

Letting I = Z and X = t almost works, but what about the "\cross t_2"?
Since disjoint <A,B> appears to return either true or false, it seems
that t_2 must be {true,false}.

By equating a set and its characteristic function, I can see how "disjoint Y"
could be viewed as being equivalent to "Y \in disjoint".

The type rules given for \in are that if E_1 has type t in "E_1 \in E_2",
then E_2 must have type P t.  So, the requirement for "<A,B> \in disjoint"
to be well typed is:

   P P (Z \cross P t) = P (P (I \cross P X)) for some I and X

So, choosing I = Z and X = t makes it work out alright.

Is there some place I'm missing in the reference manual where it says that:

   E_1 E_2 == E_2 \in E_1 when E_2 has type t and E_1 has type P t, and
   E_1 E_2 == "apply E1 to E2" when E_2 has type t and E_1 has type
               P (t \cross t_2)

Can someone clear this up?

Todd Fine
fine@sctc.com
Newsgroups: comp.specification.z
From: als@bohra.cpg.oz.au (Anthony Shipman)
Newsgroups: comp.specification.z
Subject: Re: Please review & comment
Date: 31 Aug 92 10:25:38 GMT
Organization: Computer Power Software

hallam@zeus02.desy.de (Phill Hallam-Baker) writes:

>In article <9208261428.AA20587@cse.uta.edu>, hufnagel@cse.uta.edu (Stephen
>Hufnagel) writes:

>|>     We plan to construct a LaTex/Z development environment.  Attached
>|>     is  a  brief  set  of  requirements.  Your comments, suggestions,
>|>     and/or participation would be appreciated.  Also, If you know  of
>|>     existing similar components or capabilities, please let us know.

>|>     APPROACH: The LTD editor will be optimized  for  the  syntax  and
>|>     semantics  of  LaTex and LaTex style files --i.e., ZED.STY and/or
>|>     OZ.STY.  Its key function is to provide LaTex  sensitive  editing


An idea I have been toying with which is half-way to what you propose is
a more general purpose X "macro" tool.  This tool can store a database 
of fragments of whatever text you like, organised and accessed using 
GUI-navigation or keyword search.  Once a fragment is selected the tool 
will then type it into another xterm window on your screen.  
Context-sensitive help can be associated with each stored fragment.

For LaTeX the database would have a collection of commonly used forms
such as lists and tables.  It could have a complete menu of LaTeX and
TeX commands on-line.  You could then extend this with a ZED or OZ module.

Pros:  It is a separate tool that can be reused for other jobs.  It is 
simpler.

Cons: It is not the fully-integrated super-duper system that you are
contemplating.

PCs tend to large integrated (ie closed) systems because they have no
alternative tool infrastructure or culture.  I would prefer a cluster of
tools.
-- 
Anthony Shipman                 "You've got to be taught before it's too late,
CP Software Export Pty Ltd,      Before you are six or seven or eight,
19 Cato St., East Hawthorn,      To hate all the people your relatives hate,
Melbourne, Australia, 3121       You've got to be carefully taught."  R&H
From: dts@dcs.ed.ac.uk (Don Sannella)
Newsgroups: comp.specification
Subject: Re: Larch for SML
Keywords: Larch, SML, Extended ML
Date: 26 Aug 92 17:02:41 GMT
Organization: Department of Computer Science, University of Edinburgh

In article <1992Aug25.141510.28180@ibmpa.awdpa.ibm.com>, wkh@austin.ibm.com writes:
> 
> Is anyone aware of work on a Larch interface language for SML?
> Seems like it would be a natural thing to do given the SML module
> system.

See:

    Jeannette Wing, Eugene Rollins and Amy Zaremski. Thoughts on a Larch/ML
    and a new application for LP.  CMU report CMU-CS-92-135, May 1992.

I can't help adding an advertisement for Extended ML, a specification and
formal development framework for SML which we have been working on for a number
of years.  See for example:

    Don Sannella.  Formal program development in Extended ML for the working
    programmer.  Proc. 3rd BCS/FACS Workshop on Refinement, Hursley Park, 1990.
    Springer Workshops in Computing, 99-130 (1991).

which is available by anonymous ftp from internet host ftp.dcs.ed.ac.uk
(address 129.215.160.5), directory pub/dts, file bcs.ps.Z (this is a
compressed Postscript file; don't forget to issue the command "binary"
before fetching it).

Don Sannella
University of Edinburgh