权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

コーディネーションに基づく記号計算プログラミング

基于协调的符号编程

基本信息

批准号：
10780164
负责人：
チャクラヴァーティマヌエル
金额：
$ 1.34万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1998
资助国家：
日本
起止时间：
1998 至 1999
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-10780164/
关键词：
関数型プログラミング分散プログラミングコーディネーション言語遠隔操作可能言語関数型言語並列制約プログラミングインターネットプログラミング Goffin モバイルコード軽量スレッドグラフ簡約

项目摘要

本研究では,分散型計算用プログラム言語の新たな実装手法として,関数型言語を用いる方法を提案した.新たに提案した実装法は,「分散型の計算を行なうプログラム言語に必要となる機能が,コーディネーションのための部分と,計算の部分との2つに分割できる」という着想に基づく.コーディネーションの処理の記述には並行制約解消系,計算処理の記述には純粋関数型言語が適する.そこで,本研究では,純粋関数型言語Haskellを拡張し,並行処理,分散処理,通信のための並行制約解消機能を実現した.本研究者が,並列プログラム言語Goffinの研究に携わった際に,「時間的制約・明示的配置・相互利用通信・多対多ポート等を利用する分散型の計算には,制約解消の機能が必要である」との知見をすでに得ていた.先行研究では,論理変数を利用する手法が主流であったが,本研究では,新たに,モナドの概念を利用した単一代入型の変数を利用する.これにより,言語の設計や実装を簡単化することが可能になった.本研究の成果であるプログラム言語Distributed HaskellはHaskell上の,分散計算を行うライブラリとして,その実装が完了している.既存のHaskellの言語処理系には,ネットワークアクセスの機能がない.このため,Haskellとオペレーティングシステムとの間のインターフェース部分は,これまで,C言語により書かれることが多かった.これは,高レベルのプログラミングには馴染まず,分散プログラミングを複雑なものにしてしまう.そこで,本研究では,Haskellからシステムライブラリを呼び出すための新たな方法として,インターフェース作成の作業を半自動化するツールを開発した.また,本研究では,強い型付け可能性を考察し,形式的手法によるコーディネーション理論を確立した.これにより,関数型言語を用いた分散プログラムの効率的な開発が可能になった.

In this study, we propose a new method for the implementation of speech in decentralized computing. The new proposal is based on the idea of "decentralized computing, line selection, speech, necessary functions, part of computing, part of computing, 2 of segmentation." The description of the processing of the computer is based on parallel constraints, and the description of the computing processing is based on pure numerical language. In this paper, we study the implementation of parallel processing, decentralized processing, parallel constraint resolution of communication. In the course of the research of parallel speech Goffin, the researcher found that the function of restriction cancellation is necessary in decentralized computing, such as time restriction, explicit allocation, mutual utilization communication, and multi-pair multi-port utilization. In this paper, we introduce the concept of logic and substitution. The design of speech is simple and simple. The results of this research are: Distributed Haskell, distributed computation, complete implementation. The existing Haskell speech processing system is opposite, and the function of the service is different. This is the first time that Haskell has ever written a book about the world. In response to this, the high level of competition and competition in the field of sports, sports and sports, the high level of competition and competition in the field of sports, sports and sports. In this study,Haskell developed a new method to semi-automate the production process. In this study, we investigate the possibility of a strong model and establish the theory of a formal model. This is the first time that digital speech has been used in a decentralized way.