計算アルゴリズムの基礎理論

(1)

数理解析研究所講究録 625

?

計算アルゴリズムの基礎理論

禁帯出期間

62.1e. 2 e 一一 lo, 2r7

. _{数研図書室}

京都大学数理解析研究所

1987 年 5 月

N

(2)

計算アルゴリズムの基礎理論研究集会報告集

1987年2月2日{}2˜ 月4日

研究代表者嵩忠雄(Tadao Kasami)

京都大学 88028928

図書

数岬鰯曙索所

鳩櫛帰ノ

1

■

2

■

3

●

4

■

5

■

6

0

7

■

Fredk i nの論理ケートを用いた可逆的Turing機械の設計

阪大・基礎工後野由文(Yoshifumi Gono)

〃森田憲一 (Kenichi Morita)

DEADLOCK AVOIBANCE AND CONSISTENCY I N DATABASE SYSTEM

名工大 Prasert Khanobthamchai

〃奥井順 (Jlln Oku i) 対象集合によるネノトワークデータへke・一Lスの設計

九大・工古川哲也(Tetsuya Furukawa)

〃上林弥彦(Yahiko Kambayashi) 論理回路における閉路の切断について

神大・工木村晋二(Shinji Kimura)

〃羽根田博正(Hiromasa Haneda) 優先度付きトークンリング方式

LAN

の「進行性」の検証について

阪大・基礎工住谷忠雄(Tadao Sumitani)

〃東野輝夫(Teruo Higashino)

〃谷ロ健一(Kenichi Taniguchi) CFGにおける並列性:多ヘノドCFG,部分同期CFG,および交代CFG

東女大・文理守屋悦朗(Etsuro Moriya) Graph grammars w i th pa th con tro l l ed embedd i ng

広大・工会沢邦夫(Kunio Aizawa)

〃出村昭(Akira Nakamura) i一

1 1 1

21 1 3

38

48

55

(3)

福井大柳瀬龍郎(Ta tsuro Yanase)

9.

整礎集合上の部分関数の有限微分閉包について

新潟大・経済西澤輝泰(Teruyasu Nishizawa)

10.

有限環上の線形セル構造オートマトン・一東洋大・工佐藤忠一(Tadakazu Sato)

11. Generation of Rewriting Programs from Horn Clause Specifications

東北大・電通研富樫敦(Atsushi Togashi) Glenn Mansfield

〃野ロ正一(shoichi Noguc』i)

12.

融合型プログラミング言語と処理系の実現について

東北大・電通研三宅延久(Nobuhisa Miyake)

〃富樫敦(Atsushi Togashi)

〃野口正一(shoichi Noguchi) 13. A Note on Three一一Way Two-Dimens iona i A l terna ting Tur i ng Mach i nes

山ロ大工業短大伊藤暁(Akira I to) 山口大・工井上克司(Katsushi Inoue)

〃高波五男(Itsuo Takanami) 14.線型領域におけるオルタネーションの能力について

国文学研戸田誠之助(Seinosuke Toda)

15. Exponen t i a l Speedllp by Vec tor Opera t i ons

京産大岩間一雄(Kazuo Iwama) 16.木バンキング問題について

京大・工増山繁(Shigeru Masuyama)

1 7

80

一87

98

108

118

132

137

一ii一

(4)

17.

18.

19.

20.

21.

22.

23.

On Parallel Camputation Time of Unification for Restricted Terms

京大・工大久保雅且(Masaaki Ohkubo)

〃安浦寛人(Hiroto Yasuura) 矢島脩三(Shuzo Yaj ima)

N)1

ゲーム木探索法

SSS

の非劣性について

京大・工加藤芳朗(Yoshiroh Ka toh)

〃茨木俊秀(Toshihide Ibaraki) ある種の平面有向ネノトワーク上の多品種流問題について

京大・工品持仁(Hiroshi Nagamochi)

〃茨木俊秀(Toshihide Ibaraki)

〃長谷川利治(Toshiharu Hasegawa)

A Variable Priority Queue and i ts Applications

東北大・工鈴木均(Hitoshi Suzuki)

〃西関隆夫(Takao Nishizeki)

〃 i斎:藤伸自(Nobuj i Saito) A Two-Phase Locking Mechan i sm Avo i d i ng Deadlock for

Read-Write Confliction

九大・工仲三国(Xingguo Zhong)

〃上林弥彦(Yahiko Kambayashi)

FIFO

キューを同期手段とする並列プログラムの実行における同期のためのオーバーヘソドの削減について

九工大永松正博(Masahiro Nagama tsu)

〃有田五次郎(ltsujiro Arita) シストリンクアルゴリズムの定式化とその結線構造

東北大・工阿曾弘具(Hirotomo ASO) 名大・工稲垣康善(Yasuyoshi Inagaki)

147

157

167

176

186

196

206 iii

(5)

群馬大・工嵯峨幸治(Koji Saga)

〃佐渡一広(Kazuhiro Sado)

〃五十嵐善英(Yoshihide Igarashi) 25.重み付positive submodular sys temの辞書式最適基を得るための

:貧欲アルゴリズムについて一一一

城西大・理岩村覚三(Kakuz61wamura)

〃出口洋三(YδzδDeguch i)

〃中山隆 (Takashi Nakayama)

26. Approx ima t i on Reduc t ion and Approxima t ion Rules of Term

Rewriting Sys tems一

名大・工直井徹(Tohru Naoi)

〃稲垣康善(Yasuyoshi Inagaki)

27.

項書き換えシステムの直和の停止性

NTT通研外山芳入(Yoshihito Toyama) 28. Parallel Reductions in 7xv一Calculus

東工大・理高橋正子(Masako Takahashi) 29. Seman t i cs of Jo i ns of Know l edge Bases

名大・工

〃

30.

様相論理に基づく論理型知識表現言語山形大・工

〃

31.

圖路自動合成のための推論機構山形大・工

〃

や

外山勝彦(Katsuhiko Toya鎚a) 稲垣康善(Yasuyoshi Inagaki)

岩沼宏治(Koj i Iwanuma) 原土政輝(凶asateru Harao) 武田和久(Kazuhisa Takeda)

計算アルゴリズムの基礎理論

数理解析研究所講究録 625