ハシモト　マサトモ   Masatomo Hashimoto   橋本　政朋    所属   千葉工業大学  人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター    職種   主席研究員
言語種別	日本語
発行・発表の年月	2002/09
形態種別	学術雑誌
査読	査読あり
標題	移動計算のためのプログラミング言語 MobileML
執筆形態	共著
掲載誌名	コンピュータソフトウェア
掲載区分	国内
出版社・発行元	ソフトウェア科学会
巻・号・頁	18(2),244-261頁
著者・共著者	橋本政朋，米澤明憲
概要	移動計算を実践するための新しいプログラミング言語の設計を提案する．移動計算とは，単なるデータだけではなく，プログラムコードがネットワーク上を移動し，各ネットワークノード上の資源を利用しながら継続的に実行されるという分散計算の一つの形態である．移動計算の概念は，ワークフローシステムや知的検索システムなどの分散アプリケーションを効率的かつ柔軟に生産するための有望な枠組として注目されている．しかしながら，既存言語システムの多くは，移動とそれに伴う資源利用に対する簡明な記述や，型安全性などのプログラムの性質の導出が困難であるという点で，必ずしも満足のゆくものとはいえない．我々の目的は，移動計算に基づいたプログラミングを的確に支援する言語システムを堅牢な理論的基礎に基づき構築することである．その試みの一つとして，関数型言語MLを基礎とし，移動計算のための言語機構を導入した“MobileML”と呼ぶ新しい言語システムの設計を行なった．
DOI	doi.org/10.11309/jssst.18.244
ISSN	0289-6540
researchmap用URL	https://www.jstage.jst.go.jp/article/jssst/18/2/18_2_244/_article/-char/ja/