F#を用いた非同期プログラミングによるユビキタスコンピュータ群の制御手法

永井宏典, 柳沢豊, 寺田努, 塚本昌彦

ユビキタスコンピューティングでは，多数の小型コンピュータを分散，協調させて制御するためのプログラミングモデルが必要となる．ユビキタスコンピューティングは1種の分散システムであるためプログラムが複雑になり，また，一般の分散システムと比較して，コンピュータが小型であるためメモリやバッテリなどのリソースが少ない，コンピュータやネットワークの信頼性が低い，などの違いがある．そのため，一般のプログラミング言語ではプログラムを記述するのは困難である．本研究では，関数型プログラミング言語であるF#をベースとしたユビキタスコンピュータ群の制御手法を提案する．関数型プログラミング言語は命令型プログラミング言語と比べて，同じ処理を記述する場合のコード量が少なくなる，並列・分散処理の記述に有利となる．という特徴をもつ．また，副作用のないコードを記述でき，実行時エラーが発生しにくい．F#は，マイクロソフトがOCamlをベースとして開発している関数型プログラミング言語である．Visual Studioで開発やデバッグができ，他の.NET Framework言語と相互運用できるという特徴をもつ．

F#を用いた非同期プログラミングによるユビキタスコンピュータ群の制御手法

Abstract

Journal

Keywords

Details 詳細情報について

Export

Report a problem