著者

宮村 勲 榎本 肇

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.24, no.5, pp.614-621, 1983-09-15

---

本論文は プログラムの生産 理解 修正を容易にするような新しい並列処理言語について述べている.この目的を達成するため プログラムに人工的な制約を課さず プログラムの構造が問題の論理構造を静的に反映できなければならない.プログラム・テキスト中に問題の階層構造を表現するため process resource procedure function という4種類のモジュールを用意し それらの任意の入れ子を可能にした.共有変数に起因するデッドロック問題を避けるため 変数のスコープはそれが宣言されたモジュールだけに制限する.モジュール間の相互作用はパラメータ転送 メッセージ交換 resource を用いて行われる.process の動作は 通常動作と例外的事象に対する動作に分けて記述される.例外的事象とは他モジュールから緊急メッセージを受信することである.そのようなメッセージは常時受信可能である.また メッセージ交換の相手は静的と動的の両方で制限される.resourceは共有objectに対するアクセスを制御する.resource procedure 間の並列動作の可能性は 個々の手続きとは分離して静的に記述する.個々の手続きが呼び出されるときの前提条件も分離して静的に記述される.非決定的表現として if文 do文 while文の三つを用意する.これらはDijkstraの提案したgarded commandに基づくが guard に入出力文のどちらでも書けるように拡張されている.本言語の有効性を明らかにするため フィボナッチ数列を計算するprocedureと Readers/Writers問題のプログラム例を示している.

著者

宮村 勲 村尾 洋 榎本 肇

雑誌

全国大会講演論文集

巻号頁・発行日

vol.46, pp.113-114, 1993-03-01

---

カラー画像を処理する場合,従来は要素信号ごとに白黒画像の手法を適用するのが一般的である.しかし,カラー画像は3種類の信号が互いに強い相関を持つため,これを分離して取り扱うのは望ましくない.我々は既にベクトル場の概念を用いた画像処理の方法を提案している.この手法を適用すことにより,画像分析,合成,動画像処理まで,全ての分野を統一的に取り扱うことができる.