ワークステーション研究会_第1回シンポジウム_分散オペレーティング・システム_講演_“Mach”