| 講演名 | 1997/1/23 擬データと関数による並行プロセス群の記述 石井 裕一郎, 武市 正人, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 遅延評価関数型言語では、プロセスを決定的な関数として表現する手法がよく用いられ、この際入出力の処理は関数の外側にあるOS核が担当する。しかしこの手法では、非決定的処理を表現することも複数のプロセスからの要求が到着した順に処理をするサーバやOS核そのものの記述もできない。そこで我々は、関数型言語に一般的な単一代入ができる擬データを導入し、関数として表現されたプロセスが相互に通信する並行プロセス群全体をも関数として取り扱う機構を提案し、その処理系gofjavaを作成した。コンソール入出力やアプレット等のGUIもこの枠組で扱うことができる。本稿では、このような機構による並行プロセス群の記述とその実現法を述べる。 |
| 抄録(英) | In lazy functional languages, processes are often represented by functions where input and output are handled by an operating system kernel which is outside of the functions themselves. However this cannot deal with nondeterministic programs, such as a server or an operating system. In this paper, we introduce functional programming with pseudo data, where the whole group of concurrent processes, which communicate with each other, is described by a combination of functions. Practically, we have made the gofjava system which can compile our functional programs to JAVA code. We shall discuss how console input/output, GUI like applets, a server, and an operating system are described and implemented as concurrent functional processes. |
| キーワード(和) | 関数型言語 / 擬データ / 並行プロセス / 非決定的処理 / 入出力 / OS / GUI |
| キーワード(英) | functional language / pseudo data / concurrent processes / nondeterminism / input and output / OS / GUI |
| 資料番号 | COMP96-58,SS96-35 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 1997/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 擬データと関数による並行プロセス群の記述 |
| サブタイトル（和） | |
| タイトル（英） | Describing a Group of Concurrent Processes with Pseudo Data and Functions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 関数型言語 / functional language |
| キーワード(2)（和/英） | 擬データ / pseudo data |
| キーワード(3)（和/英） | 並行プロセス / concurrent processes |
| キーワード(4)（和/英） | 非決定的処理 / nondeterminism |
| キーワード(5)（和/英） | 入出力 / input and output |
| キーワード(6)（和/英） | OS / OS |
| キーワード(7)（和/英） | GUI / GUI |
| 第 1 著者 氏名（和/英） | 石井 裕一郎 / Yuichiro ISHII |
| 第 1 著者 所属（和/英） | 東京大学大学院工学系研究科情報工学専攻 Department of Information Engineering, Graduate School of Engineering, University of Tokyo |
| 第 2 著者 氏名（和/英） | 武市 正人 / Masato TAKEICHI |
| 第 2 著者 所属（和/英） | 東京大学大学院工学系研究科情報工学専攻 Department of Information Engineering, Graduate School of Engineering, University of Tokyo |
| 発表年月日 | 1997/1/23 |
| 資料番号 | COMP96-58,SS96-35 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 487 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |