rick@cs.arizona.edu (Rick Schlichting) (02/05/91)
-------------------------------------------------------------------------------
ADVANCES IN SOFTWARE SCIENCE AND TECHNOLOGY, Vol. 2, 1990
published by
Japan Society for Software Science and Technology
-------------------------------------------------------------------------------
[Author affiliations and addresses follow the table of
contents. -- Rick]
Contents
Editor's Message
Ikuo Nakata.........................................................1
Research Contributions
Attachment of a First-Order Data Constructor and Its Application
Hiroyuki Sato.......................................................1
A Smoothing Algorithm of Polygonal Curves and Polyhedral Surfaces
Yoshio Ohno.........................................................13
A Technique for Prolog Program Synthesis from Natural Language
Specification
Kunikazu Fujii, Kuniaki Uehara and Jun'ichi Toyoda...............45
Processing Left Extraposition in a Bottom-Up Parsing System
Satoshi Kinoshita and Hozumi Tanaka 61
On Learning Smullyan's Elementary Formal Systems: Towards an Efficient
Learning Method for Context-Sensitive Languages
Yasubumi Sakakibara 79
A Data Model in the Software Project Database KyotoDB
Yoshihiro Matsumoto and Tsuneo Ajisaha 103
Hamada Floating-Point Numbers and Real Numbers
Hiroshi Horiguchi, Tsutomu Tayama and Kazuaki Kajitori 123
An Efficient Multiple String Replacing Algorithm Using Patterns
with Pictures
Masayuki Takeda 131
Kamui88: A Parallel Computation Model with Fields and Events
Shin-ya Watanabe, Yasunori Harada, Kazufumi Mitani
and Eiichi Miyamoto 153
Tutorial
Formation and Development of the Concept of Algorithm
Ken Hirose........................................................177
Software Critique
WEB System and Its Processor
Tsunetoshi Hayashi.................................................197
Society News
Rules for Submission of English Papers and English Paper
Style Guidelines...................................................209-
Author's Guide.....................................................217
Japan Society for Software Science and Technology
Membership Application Form........................................219
Contributors
Numbers in parentheses refer to the pages on which the authors' contribution
begin.
Tsuneo Ajisaka (103), Department of Information Science, Kyoto University,
Yoshida, Hon-machi, Sakyo, Kyoto 606, Japan
Kunikazu Fujii (45), IBM Research, Tokyo Research Laboratory, IBM Japan,
5-II Sambancho, Chiyoda-ku, Tokyo 102 Japan
Yasunori Harada (153), Faculty of Information Engineering, Division of
Engineering, Hokkaido University, NI3-W8, Kita-ku, Sapporo, 060 Japan
Tsunetoshi Hayashi (197), Department of Computer Science and Systems
Engineering, Faculty of Science and Engineering, Ritsumeikan University, 56-1
Tojiin-kitamachi, Kita-ku, Kyoto, 603 Japan
Ken Hirose (177), Department of Mathematics, Waseda University, 3-4-1
Ohkubo, Shinjuku-ku, Tokyo, 160 Japan
Hiroshi Horiguchi (123), Department of Mathematics, Tokyo Denki University,
2-2 Nishiki-cho Kanda, Chiyoda-ku, Tokyo, 101 Japan
Kazuaki Kajitorii (123), Department of Mathematics, Tokyo Denki University,
2-2 Nishiki-cho Kanda, Chiyoda-ku, Tokyo, 101 Japan
Satoshi Kinoshita (61), Toshiba Corporation Research and Development Center,
1 Komukai-Toshiba-cho, Saiwai-ku, Kawasaki-shi, 210 Japan
Yoshihiro Matsumoto (103), Department of Information Science, Kyoto
University, Yoshida, Hon-machi, Sakyo, Kyoto 606 Japan
Kazufumi Mitani (153), Faculty of Information Engineering, Division of
Engineering, Hokkaido University, N13-W8, Kita-ku, Sapporo, 060 Japan
Eiichi Miyamoto (153), Faculty of Information Engineering, Division of
Engineering, Hokkaido University, N13-W8, Kita-ku, Sapporo, 060 Japan
Yoshio Ohno (13), Faculty of Science and Technology, Keio University, 3-14-1
Hiyoshi, Kohoku-ku, Yokohama, 223 Japan
Yasubumi Sakakibara (79), International Institute for Advanced Study of Social
Information Science (IIAS-SIS), Fujitsu Limited, 140, Miyamoto, Numazu,
Shizuoka, 410-03 Japan
Hiroyuki Sato (1), Department of Information Science, Faculty of Science, The
University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan
Masayuki Takeda (131), Department of Electrical Engineering, Kyushu University
36, Fukuoka, 812 Japan
Hozumi Tanaka (6I), Department of Computer Science, Tokyo Institute of
Technology, Oookayama 2-12-1, Meguro-ku, Tokyo, 152 Japan
Tsutomu Tayama (123), Department of Mathematics, Tokyo Denki University,
2-2 Nishiki-cho Kanda, Chiyoda-ku, Tokyo, 101 Japan
Jun'ichi Toyoda (45), The Institute of Scientific and Industrial Research, Osaka
University, 8-I Mihogaoka, Ibaragi-shi, Osaka 567 Japan
Kuniaki Uehara (45), Department of Systems Engineering, Faculty of
Engineering, Kobe University, Rokkodaicho, Nada-ku, Kobe 657 Japan
Shin-ya Watanabe (153), Division of Information Engineering, Faculty of
Engineering, Hokkaido University, N13-W8, Kita-ku, Sapporo, 060 Japan