| 講演名 | 1994/3/9 ν計算・並行結合子・プログラミング言語 本田 耕平, 久保 誠, 指野 篤司, 竹内 格, バスコンセロス バスク, 吉田 展子, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿は、並行算体間の相互通信を根本にすえて計算・プログラミングの概念を基礎から捉え直すという方向へ向けての著者らのここ数年の試みの一部を概括する。もしも命令型のプログラミング・計算概念、関数型のプログラミング・計算概念が、その基礎レベルにおいて、それぞれ極めて明確な基本操作(代入・ジャンプ・関数適用等)に的を絞ることによって、体系だちかつ有用なソフトウェア構成・実装技術を可能にしてきたとするなら、並行・分散ソフトウェア構成の基本原理も、同様に、単純な基本操作、例えば相互作用の概念を基礎に据えることで見出されることが期待できる。このような文脈の中で行われた研究のなかから、本稿では、基本的な形式系・言語構成子・型概念・理論的基礎をもつ実装枠組などについて簡単に紹介を行なう。 |
| 抄録(英) | The paper outlines the development of new programming methodologies for concurrency based on the idea of interaction.By concentrating on simple ideas of the operation,it is expected that systematic and principled foundations for concurrent programming will be constructed,just as in the procedural or functional paradigms.The discussed topics include the basic formalism of concurrency called asynchronous ν-calculus,concurrent combinators, new language primitives for interaction,type systems for concurrency,as well as new implementation methodologies for concurrent programming languages. |
| キーワード(和) | 並行計算 / 意味論 / 相互作用 / ν-計算 / 並行プログラミング言語 / 型理論 |
| キーワード(英) | concurrency / semantics / tnteraction / ν-calculus / concument programming |
| 資料番号 | COMP93-80,SS93-48 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 1994/3/9(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ν計算・並行結合子・プログラミング言語 |
| サブタイトル（和） | |
| タイトル（英） | Asynchronous ν-calculus and Interaction-based Programming Methodol ogies |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 並行計算 / concurrency |
| キーワード(2)（和/英） | 意味論 / semantics |
| キーワード(3)（和/英） | 相互作用 / tnteraction |
| キーワード(4)（和/英） | ν-計算 / ν-calculus |
| キーワード(5)（和/英） | 並行プログラミング言語 / concument programming |
| キーワード(6)（和/英） | 型理論 |
| 第 1 著者 氏名（和/英） | 本田 耕平 / Kohei Honda |
| 第 1 著者 所属（和/英） | 慶應義塾大学理工学部 Faculty of Science and Technology,Keio University |
| 第 2 著者 氏名（和/英） | 久保 誠 / Makoto Kubo |
| 第 2 著者 所属（和/英） | 慶應義塾大学理工学部 Faculty of Science and Technology,Keio University |
| 第 3 著者 氏名（和/英） | 指野 篤司 / Atsushi Sashino |
| 第 3 著者 所属（和/英） | 慶應義塾大学理工学部 Faculty of Science and Technology,Keio University |
| 第 4 著者 氏名（和/英） | 竹内 格 / Kaku Takeuchi |
| 第 4 著者 所属（和/英） | 慶應義塾大学理工学部 Faculty of Science and Technology,Keio University |
| 第 5 著者 氏名（和/英） | バスコンセロス バスク / Vcsco Vasconcelos |
| 第 5 著者 所属（和/英） | 慶應義塾大学理工学部 Faculty of Science and Technology,Keio University |
| 第 6 著者 氏名（和/英） | 吉田 展子 / Nobuko Yoshida |
| 第 6 著者 所属（和/英） | 慶應義塾大学理工学部 Faculty of Science and Technology,Keio University |
| 発表年月日 | 1994/3/9 |
| 資料番号 | COMP93-80,SS93-48 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 496 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |