HDTenEightyP/NetNews huggingface dataset:
From: icking@gmd.de (Werner Icking)
Subject: Re: TeX-based music notation program query
Organization: GMD, Sankt Augustin, Germany
Date: Mon, 25 Jan 1993 14:40:19 GMT

... there's a predecessor of  MusicTeX:    MuTeX

the MusicTeX-docs (musicdoc.tex) point at it. 

A MIDI to MusicTeX-converter is available. (rf. midi2tex which
is available by anonymous ftp from here  ftp.gmd.de: music/...
you can find  MuTeX, MusicTeX, midi2tex, ... there, too)

You may find additional information  either in the FAQ of rec.music.composer
(???) or  comp.text.tex.

Hope this hilft  --  Werner
--
Werner Icking        Werner.Icking@gmd.de        (+49 2241) 14-2443     __o
GMD - Gesellschaft fuer Mathematik und Datenverarbeitung mbH          _`\<,_
Schloss Birlinghoven, P.O.Box 1316, D-5205 Sankt Augustin, Germany   (_)/ (_)
                             "Der Dativ ist dem Genitiv sein Tod." ~~~~~~~~~~~
From: tnguyen@hpcc01.corp.hp.com (Thinh Nguyen)
Date: Wed, 27 Jan 1993 19:42:38 GMT
Subject: Akai ME30IIP Midi Patchbay anyone?
Organization: the HP Corporate notes server
Newsgroups: comp.music


   I just get a used Midi Patchbay Akai ME30IIP, without a manual. If you
have one, can you tell me how to config a patchbay via midi program change.

    Thanks
    Thinh Nguyen.
Newsgroups: comp.music
Newsgroups: comp.music
From: cassiel@cassiel.demon.co.uk (C A S S I E L)
X-Sender:  (Unverified)
Subject: Re: Winter NAMM '83
Date: Wed, 27 Jan 1993 09:24:23 +0000

>Imagine, very soon you will be
>able to get these cheap fake books (around $35.00, containing
>1000s of printed score music) and simply scan the information
>in and have them translated to a standard midi file ready to be
>played back by your sound module.  Isnt this the ultimate 
>midi freaks' dream product?  

Er.... No. Next question?

>The lady at the booth explained that it may need some editing though.

I'm not totally surprised.

>Sounds reasonable. I am very excited about this product. 

I'm not at all excited, but I'm impressed if it'll work.

Think, though; we're having this argument about sampling right now. What if
you can scan 4 bars of some orchestrated music, spin it into your sequence
and use it in your own compositions?

                     Nick Rothwell  |  "I was 'on the floor' while they
  CASSIEL Contemporary Music/Dance  |   were being shot and I vividly
       cassiel@cassiel.demon.co.uk  |   remember Joan Collins' legs."
       cassiel@cix.compulink.co.uk  |      -- J. B., Script Editor, Space:1999
Via: uk.ac.leeds.scs; Sat, 23 Jan 1993 20:32:36 +0000
Distribution: world
X-News-Gateway: NewsGateway@phaze.UUCP (NewsGateway 1.0 by Pierre Rioux)
Date: Sat, 23 Jan 93 20:34:12 GMT
Newsgroups: comp.music
Organization: The University of Leeds, School of Computer Studies
From: ross-c@scs.leeds.ac.uk
To: usenet@phaze.cam.org
Cc: 
Subject: Sampling and Session Musicians (was Re: Casey Kasem wrote )

One thing that people seem to have missed is that sampling has the potential
to revolutionise the way some of us think about session musicians. Already
there are sample CDs available (e.g. Dave Ruffy's Dance etc, Zero-G Funk
Guitar) which have a large number of performances by the musician ready
for sampling and inclusion in your own music.

It looks to me that if this spreads the consequences are important

(1) Even amateurs will be able to legally include performances by top
musicians in their recordings. Higher quality recordings 

(2) If studios and other professionals lean towards this, the demand for
quality studio musicians will drop.

(3) It's bad enough that many records have almost the same riffs etc on them
now. If session musician sample CDs spread, it's going to be more so.

Comments?

Cheers,

Ross-c
From: stevela@csulb.edu (Steve La)
Newsgroups: comp.music
Subject: Re: Winter NAMM 1983
Date: 21 Jan 93 20:20:44 GMT
Organization: Cal State Long Beach

In article <C14KFB.M9B@esri.com> tapas@esri.com (Tapas Das) writes:

Thanks for the brief report!...

[stuff deleted...]

   However, the most intriguing and innovative product was the
   HOLTZs Midi Translator.  This product was displayed in the 
   Atari booth, by Jimmy Holtz, the inventor himself.  This device
   will revolutionize the way we trigger midi sound sources. 

I saw and even played the Holtz demo unit several years ago, they (Atari &
Jimmy Holtz) promised to have the consumer version (different sizes) of the
Holtz 'keyboard' available 'soon'.  I thought the product is vaporware!  Is it
available now?

-Steve
  ___   _____   ____   _  _   ____       _       __           Steve La     
/ ___) (_   _) | ___) | || | | ___)     | |     /  \       Network Manager 
\__  \   | |   | _)_  | || | | _)_      | |__  | || |     stevela@csulb.edu
(____/   |_|   |____)  \__/  |____)     |____) |_||_|      (310) 985-4750  
CALSTATE UNIVERSITY LONG BEACH, 1250 Bellflower Blvd. Long Beach, CA  90840
Newsgroups: comp.music
From: cassiel@cassiel.demon.co.uk (C A S S I E L)
X-Sender:  (Unverified)
Subject: Re: K2000 - midi'able filters?
Date: Wed, 27 Jan 1993 09:23:53 +0000

>Now, what I like about this emu
>thing is the programable digital filters.  That is nice.  not as nice
>as programmable voltage filters, but still really nice. 

I'm not clear what you mean by "programmable digital filters." Programmable
in what sense? The Peavey and the Wavestation allow filter cutoff to be
controlled by MIDI (though they only have lowpass nonresonant filters so
this isn't much to write home about). The MicroWave allows independent
cutoff and resonance control via modulation matrix. Then there's the
Matrix-1000...

>Actually, now that I have said this, does the Peavey SP have midi controllable
>filters?  If so, then it is the AD & SP for me!

I'm still not clear what you're after here. You do have realtime control
over the A/D effects processors which you can feed from the SP via analogue
ins; but that's not the same as anything you can get with the K2000.

>Although, IMHO
>(This is to you Nick) contemperary dancers would in no way be able to tell
>the difference between an EMU vintage keys or a Chroma, minimoog, whatever.
>They are all spending too much time being cool.

Of course, dammit, the man's absolutely right. It is, however, a matter of
sonic balance: when faced with a Mark Murphy physical theatre performance,
one needs analogue filters to compete with the stomp of multiple Dr.
Martens.

                     Nick Rothwell  |  "I was 'on the floor' while they
  CASSIEL Contemporary Music/Dance  |   were being shot and I vividly
       cassiel@cassiel.demon.co.uk  |   remember Joan Collins' legs."
       cassiel@cix.compulink.co.uk  |      -- J. B., Script Editor, Space:1999

Newsgroups: comp.music
From: EIVERSO@cms.cc.wayne.edu
Subject: Re: Computer scored music
Organization: Wayne State University, Detroit MI  U.S.A.
Date: Thu, 21 Jan 1993 15:27:26 GMT

In article <2236@blue.cis.pitt.edu>
wbdst+@pitt.edu (William B Dwinnell) writes:
 
>Does anyone have software that will write music- I don't mean just
>let a user write it, but the software itself write the music?
>I heard some stuff by EMI, which emulates Mozart, and it was
>amazing! Anyone got anything like this?
 
This may not be the answer you wanted, but...
Aliens implanted transistors in my brain and now my computer
tells me what to do and when to do it.
I just carry out commands; flip a few switches, turn a few
knobs--voila! Instant music!
 
I better go now
 
--Eric
 
eiverso@cms.cc.wayne.edu  "I'm the Inman    And I'm keen
Detroit, Michigan  USA     I've a mind    Like a machine"
Newsgroups: comp.music
From: jeff@is.s.u-tokyo.ac.jp (Jeff McAffer)
Subject: MPU401 and SCSI
Reply-To: jeff@is.s.u-tokyo.ac.jp
Organization: University of Tokyo / Object Technology International
Date: Tue, 26 Jan 1993 06:43:52 GMT
Distribution: comp
X-Bytes: 347

Do typical 401 PC cards have SCSI controllers as well?  If so, how
compatible are they with standard SCSI devices like tape drives, CDs,
Disks...

In particular, is this true of the Roland MPU 401?


--
ato de, |m        -- "Throughout my life I have sought peace and quiet"
                                                          - Ted Nuggent
Newsgroups: comp.music
From: doogie@garfield.catt.ncsu.edu (Jeff House)
Subject: SCSI Drives?
Organization: Computer and Technologies Theme Program, NCSU, Raleigh
Date: Sun, 24 Jan 1993 09:05:09 GMT



I am doing some sampling with my sound card, which has a SCSI interface.

Would it be simple to connect a SCSI drive to the card, and use it for
sampling as well as for the rest of my machine?

How does SCSI work?

How much would, say, a 200 MB SCSI drive run?

Thanks a zillion again!


Doogie

____________________________________________________________________________
    Jeff House                     "I am nobody telling everybody about
 house@dg-rtp.dg.com                somebody that can save anybody."
 doogie@catt.ncsu.edu 			 wjhouse@eos.ncsu.edu
Newsgroups: comp.music
From: EIVERSO@cms.cc.wayne.edu
Subject: Re: Roland TB-303 and MIDI
Organization: Wayne State University, Detroit MI  U.S.A.
Date: Fri, 22 Jan 1993 16:01:30 GMT

In article <1jk6ufINNhp5@shelley.u.washington.edu>
piverson@stein.u.washington.edu (Paul Iverson) writes:
 
>I'm wondering how to sync my Roland TB-303 Bass Line to my Alesis
>HR-16.
 
Doesn't the 303's synch input require a 16th- or 32nd-note clock pulse?
Should be simple to supply if the HR-16 has seperate outputs.
 
>Perhaps I could buy some used Roland equipment that uses
>both MIDI and Roland sync, but I'm not sure if it would
>simultaneously receive MIDI timing information and sync the TB-303.
>I'm also planning to buy a MIDI interface for my Mac, so there may
>be other options. Any suggestions?
 
Have your sequencer output a metronome during playback, hook the Mac's
speaker out to the synch in. No midi-conversion necessary, I trust.
 
>Paul Iverson
>piverson@u.washington.edu
 
--Eric Iverson (no relation)
 
eiverso@cms.cc.wayne.edu  "I'm the Inman    And I'm keen
Detroit, Michigan  USA     I've a mind    Like a machine"
Newsgroups: comp.music
From: dale.eason@ncrnd3.stpaul.ncr.com (Dale Eason)
Subject: Re: Key frequencies.
Organization: NCR network products devision
Date: Mon, 25 Jan 1993 17:42:30 GMT

In article <1993Jan22.220047.1749@colorado.edu> piperno@titan.Colorado.EDU (Serge Piperno) writes:
>From: piperno@titan.Colorado.EDU (Serge Piperno)
>Subject: Key frequencies.
>Date: Fri, 22 Jan 1993 22:00:47 GMT
>Can anyone tell me what key frequencies are pre-set 
>on currently-sold (Yamaha-Korg-Roland, etc...) keyboards?
>
>Are they well-tempered?
>Or which fifths or fourths are respected??
>
>Thanks, Serge.
>
>
Most are user configurable. My Yamaha V50 and Kurzweil are.  They have 
several tables of different temperments. You can also create your own and
save it along with the factory generated ones.
Newsgroups: comp.music
From: barham@medtronic.COM (Bill Barham)
Subject: Re: 88-Key Weighted Keyboards - Which?
Reply-To: barham@medtronic.COM
Organization: Medtronic, Inc.
Date: Tue, 26 Jan 1993 23:41:58 GMT

I would like to hear comments about the The Miracle Piano Teaching system
which attaches to a PC.

---
Thanks,
Bill Barham      Medtronic Micro-Rel, CAE/CAD Support  602-921-6439
                 email  barham@urel.medtronic.com


Newsgroups: comp.music
From: piperno@titan.Colorado.EDU (Serge Piperno)
Subject: Pedals
Reply-To: piperno@boulder.Colorado.EDU
Organization: University of Colorado at Boulder
Date: Fri, 22 Jan 1993 22:07:26 GMT

I'm looking for organ-pedals (and only pedals)
which could well go along with a YAMAHA PSR keyboard.
Can anyone give me a hint?

Serge.
From: bryguy@apple.com (bRYgUY K. Carter)
Newsgroups: comp.music
Subject: 88-Key Weighted Keyboards - Which?
Date: 23 Jan 93 19:23:49 GMT
Followup-To: comp.music
Organization: Apple Computer, Inc.

Greetings Earth,

   I've been learning keyboards/piano for a year now.  I've been practicing
on a SY55.  I don't want to buy a piano.  They are too big and ya can't
take them with ya to a friend's place.
   So, I'm looking to purchase an 88-key weighted MIDI keyboard and/or
controller.  Some of the controllers that I've looked at don't really
appeal to me, save the Roland A-80 or the newer Peavy DPCM-8 (correct model
#?).  I did try the Korg 01/W ProX workstation.  This was a very nice unit.
   Admittedly, I don't know *what* I'm supposed to look for in a MIDI
controller.  Features, responsiveness of the weighted keys, etc.

I'm looking to invest around $2500.

Any insights?

bRYgUY K. Carter
"Life is rough.  Then you Fly or Fry." -- Oh no you don't...these words are
MINE!
email: bRYgUY@apple.com       ALINK: bRYgUY
Work : "Uh, bRY..."           Home : "Where is he now?"
Elsewhere: "Hey, you!"
Newsgroups: comp.music
From: djk@world.std.com (Dan J Keldsen)
Subject: Re: Lexicon LXP-1 editor?
Organization: The World @ Software Tool & Die
Date: Thu, 21 Jan 1993 05:11:54 GMT

v035550@stortek.com (Steve Monroe) writes:

>I have a Lexicon LXP-1, and am interested in 
>some type of  computer  based  sysex  editor 
>that would run on the Atari ST.  Anyone know
>where I might find one?  Any  help  will  be 
>very appreciated.

>sjm


i'd like to say I could help, but I'm actually looking for an editor
for the LXP-1 also, but for the Macintosh. If it was an Opcode
Galaxy+ module, or written in MAX, I would be happy. I'd actually 
be happier if it was written in MAX.

--
Dan Keldsen
djk@world.std.com
Xref: sparky comp.music:6404 rec.audio.pro:2873
From: scott@bbx.basis.com (Scott Amspoker)
Newsgroups: comp.music,rec.audio.pro
Subject: Re: Tascam 488 & 688 (info & wanted)
Date: 26 Jan 93 16:59:45 GMT
Organization: BASIS International, Ltd., Albuquerque NM USA

In article <thomasd.34.728003984@tps.COM> thomasd@tps.COM (Thomas W. Day) writes:
>I'm looking for information on the Tascam 488/688 recorder/board products.  
>Does anyone have an opinion on the sound quality of the mixer/recorder, 
>transport durability, MIDI sync features, etc. of these products?

I've used a 688 and it is surprisingly good for a cassette format.  They
managed to cram in 8 tracks with clean sound and virtually no crosstalk.
The DBX noise reduction pumps a little with the usual instruments.  The
mixer is a tad noisier than it should be.  I found myself doing mixdowns
by running the 8 direct tape outputs to a quieter external mixer.

I use SMPTE for sync (on track 8).  No need for a guard track on 7.
I experimented with the built-in MIDI sync once.  It seemed to work
as advertised.  You will need a sequencer that can slave to MIDI 
clocks and respond to MIDI song pointer.

My only strong warning concerns the complexity.  If this is your first
experience with this kind of multi-track recording, expect to
have a lot a patience.  It takes a while to get the hang of the
operations of the 688.

>I'm 
>hoping one of these decks will be useful in a personal demo studio 
>environment.  

As a "porta-studio", the 688 is about the best you can do.  The next
step from there would be an open reel 8-track (or ADAT) with an external
mixer.  You'll probably want an effects unit too.  The cost can start
adding up.

-- 
Scott Amspoker                       |    
Basis International, Albuquerque, NM |  Too bad ignorance isn't really
                                     |  bliss.  Then it could be outlawed.
scott@bbx.basis.com                  |
Newsgroups: comp.specification
From: lindner@fzi.de (Thomas Lindner)
Subject: Call for experience reports: FM applied to large-scale projects
Reply-To: lindner@fzi.de
Organization: Forschungszentrum Informatik (FZI), Karlsruhe, Germany
Date: Tue, 26 Jan 1993 09:35:57 GMT

I am looking for experience reports about the usage of formal methods in
large-scale industrial projects. I would be happy about every reference
to publications on this topic.

Please answer by email, I'll summarize.

Thomas Lindner
Forschungszentrum Informatik,
Karlsruhe, Germany.
From: cliff@cs.man.ac.uk (Cliff B Jones)
Newsgroups: comp.specification
Subject: Historical references
Date: 22 Jan 93 17:22:27 GMT
Organization: Dept Computer Science, University of Manchester, U.K.

A Technical Report (details below) containing references to papers of
historical interest in the area of `formal methods' is available
either by FTP from

            m1.cs.man.ac.uk (130.88.13.4)

	    pub/TR/umcs-92-12-2.ps.Z

or in hard copy by e-mailing

            jenny@cs.man.ac.uk

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

Formal Methods -- Selected Historical References

C. B. Jones and A. M. McCauley
	Department of Computer Science
	University of Manchester
	Oxford Rd., Manchester, U.K.

\date{1992-12-09}

Abstract

This report contains citations to papers which are of
historical interest in the area of formal approaches
to software development. 

+++++++++++++++++++++++++++++++++++++++++++++++++++++++
+++++++++++++++++++++++++++++++++++++++++++++++++++++++

Also available in hard copy (no ftp for copyright reasons) is

+++++++++++++++++++++++++++++++++++++++++++++++++++++++
The Search for Tractable Ways of Reasoning about Programs

C.\ B.\ Jones

\date{1992-03-31 (minor typographical errors corrected: 1992-06-23)}

Abstract

This paper traces the most important steps in the history of research
on reasoning about programs.
The main focus is on ways of verifying that sequential imperative
programs satisfy their specifications.
Over time it has become clear that {\em post facto} verification is
only practical for small programs;
verification methods which support the development of larger programs
exploit a notation of compositionality.
Coping with concurrent algorithms is much more challenging --
this and other extensions are considered briefly.
The main thesis is that the idea of reasoning about programs has been
around for a long time;
the search has been to find tractable methods.

+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Newsgroups: comp.specification
From: louis@cpd.Tandem.COM (Louis Meadows)
Subject: ARC:Intershake/Interkey/Interview/ Manuals Needed.
Organization: Tandem Computers Inc., Cupertino CA
Date: Mon, 25 Jan 1993 19:04:19 GMT


 Hi,

 I need to get a set of manuals for the Interkey/Interview/Intershake.
If you have copies or know of this datascope please contact me. 

  Thanks,
    Louis
Newsgroups: comp.specification.z
From: cflatter@nrao.edu (Chris Flatters)
Subject: Re: Trees in Z (was: common data structures in Z
Reply-To: cflatter@nrao.edu
Organization: NRAO
Date: Tue, 26 Jan 93 00:25:30 GMT

In article 5378@beaver.cs.washington.edu, jon@cs.washington.edu (Jon Jacky) writes:
>This generic schema summarizes some techniques I've seen.  You don't need to
>bother with free types, and you don't need recursive data structures.  Remember
>that any graph composed of nodes and arcs can be modelled by a relation.  A
>tree is just a special case:
>
>	+--Tree[Node]---------------------------
>	|  nodes: P Node
>	|  root: Node
>	|  parent: Node -+> Node
>	|  children: Node <-> Node
>	+---------------------------
>	|  root e nodes
>	|  dom parent U ran parent = nodes	
>	|  dom parent = nodes \ {root}
>	|  children = parent~
>	|  parent+ \cap id = empty
>	+--------------------------------------
>
>Parent is declared to be a function, not a relation, to say that a node can
>have only one parent.
>
>In order, the predicates say:
>
>- The root is a node.
>- All the nodes are connected, and everything that is connected is in nodes.
>- Every node except the root has a parent.
>- The children relation is just the inverse of the parent function.
>- There aren't any cycles - no node is its own ancestor.   This is expressed
>  by saying the transitive closure of parent doesn't intersect the identity
>  function.  
>
>I think that does it.

No.  In the general case the ordering of the subtrees rooted at a given node
is significant.  At the very least children would have to have the type
Node -> seq Node.  

	Chris Flatters
	cflatter@nrao.edu
Newsgroups: comp.specification.z
From: jon@cs.washington.edu (Jon Jacky)
Subject: Re: Z and other design methodologies
Summary: Z can easily model state transition diagrams
Keywords: Z, state transitition diagrams
Organization: Computer Science & Engineering, U. of Washington, Seattle
Date: Wed, 27 Jan 93 17:40:47 GMT

In article <1993Jan26.154610.27454@spectrum.xerox.com> kirby@xerox.com writes:

> One of the most useful features of your 
> traditional design and analysis methodologies (like rumbaugh, shlaer/mellor,
> etc..) is the state-transition diagram.  Is there a way in Z to model not 
> only  the states, but the transitions into and out of different states? 

Yes.  If S is the state schema that contains the state variables 
for the subsystem modelled by the diagram,
then each bubble in the diagram represents a set of states distinguished
by some predicate on those variables.   So, bubbles labelled A and B can be 
represented by Z state schemas also:

	SA =^=  [ S  | ... predicate for state SA ... ]

	SB =^=  [ S  | ... predicate for state SB ... ]

Then the transition from A to B is simply:

	TrAB =^=  SA /\ SB'

- Jon Jacky, jon@radonc.washington.edu, University of Washington, Seattle USA
From: moreaux@litsun22.epfl.ch (Michel Moreaux)
Newsgroups: comp.specification.z
Subject: J.R. Abrial e-mail address and B references
Date: 21 Jan 93 16:03:11 GMT
Distribution: comp
Organization: Laboratoire d'informatique technique


I am currently investigating automatic theorem proving on Z specifications.
I have heard of a langage called B that has been created by J.-R. Abrial.
Could someone send me his e-mail address. I am also interested with references
concerning the B language. For now, I have the two following references:

  Abrial, J.-R., B reference Manual
  BP Research, B User Manual.

Thanks in advance.

------------------------------------------------------------------------------
Michel Moreaux,                           | "Ceux qui ne savent rien en savent
Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
Departement d'Informatique                |  n'en savent pas plus qu'eux"
Laboratoire d'Informatique Technique      |                  P. Dac.
EL-Ecublens                               |___________________________________
CH-1015 Lausanne                           
Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
------------------------------------------------------------------------------
--
------------------------------------------------------------------------------
Michel Moreaux,                           | "Ceux qui ne savent rien en savent
Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
Departement d'Informatique                |  n'en savent pas plus qu'eux"
Laboratoire d'Informatique Technique      |                  P. Dac.
EL-Ecublens                               |___________________________________
CH-1015 Lausanne                           
Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
------------------------------------------------------------------------------