高級な通信・移動機能を備えた実用的アンビエント計算言語

2011 年度 研究成果報告書

• 研究課題/領域番号: 21700029
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 京都大学
• 研究代表者: 馬谷 誠二 京都大学, 大学院・情報学研究科, 助教 (40378831)
• 研究期間 (年度): 2009 – 2011
• キーワード: プログラム処理系 / プロセス計算 / 分散システム / コード移動

研究概要

本研究では,アンビエント計算に基づく実用的プログラミング言語の開発を行った.開発した言語は, rl計算におけるチャネル通信に相当する機能,静的スコープによる遠隔地の指定,動的束縛の構文による明確な分離といったプログラマにとって直観的に理解しやすい機能を備えている.さらに,高水準言語を実現するためのより低水準なアンビエント計算実行フレームワーク,広域分散環境上で正しく実行するための実装技術の開発も行った.

研究成果

• [雑誌論文] Safe AmbientsのためのJavaフレームワーク (2011)
  • 著者名/発表者名: 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
  • 雑誌名: 情報処理学会論文誌プログラミング 巻: 4巻3 ページ: 26-41
  • URL: http://id.nii.ac.jp/1001/00074635/
  • 査読あり
• [雑誌論文] Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks (2011)
  • 著者名/発表者名: Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
  • 雑誌名: Proceedings of the 13th International Conference on Coordination Models and Languages 巻: LNCS6721 ページ: 172-186
  • DOI: DOI:10.1007/978-3-642-21464-612
  • 査読あり
• [雑誌論文] 動的名前解決による通信先・移動先の柔軟な指定が可能_な分散アンビエントシステムの設計 (2010)
  • 著者名/発表者名: 馬谷誠二, 八杉昌宏, 湯淺太一
  • 雑誌名: コンピュータソフトウェア 巻: 27巻2号 ページ: 50-61
  • URL: http://japanlinkcenter.org/JST.JSTAGE/jssst/27.2_50
  • 査読あり
• [学会発表] Scala ActorライブラリによるSafe Ambientsフレームワークの実装 (2012)
  • 著者名/発表者名: 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
  • 学会等名: 情報処理学会第87回プログラミング研究会
  • 発表場所: 久米島町イーフ情報プラザ(沖縄県)
  • 年月日: 2012-01-23
• [学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境 (2011)
  • 著者名/発表者名: 林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 日本ソフトウェア科学会第28回大会
  • 発表場所: 沖縄産業支援センター(沖縄県)
  • 年月日: 2011-09-28
• [学会発表] Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks (2011)
  • 著者名/発表者名: Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
  • 学会等名: 13th International Conference on Coordination Models and Languages
  • 発表場所: Reykjavik, Iceland
  • 年月日: 2011-06-07
• [学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境 (2011)
  • 著者名/発表者名: 林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 定山渓ビューホテル(北海道)
  • 年月日: 2011-03-09
• [学会発表] Safe AmbientsのためのJavaライブラリ (2011)
  • 著者名/発表者名: 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
  • 学会等名: 第82回情報処理学会・プログラミング研究会
  • 発表場所: 宮古島市中央公民館(沖縄)
  • 年月日: 2011-01-20
• [学会発表] アンビエント計算に基づくWebアプリケーション開発環境 (2010)
  • 著者名/発表者名: 外山真, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 琴参閣(香川県)
  • 年月日: 2010-03-04
• [学会発表] 広域分散環境で動作するSafeアンビエント処理系 (2010)
  • 著者名/発表者名: 宮本琢也, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークシヨップ
  • 発表場所: 琴参閣(香川県)
  • 年月日: 2010-03-03
• [学会発表] 高級アンビエント計算システムを用いた分散プログラミング (2009)
  • 著者名/発表者名: 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 夏のプログラミング・シンポジウム
  • 発表場所: ラフォーレ那須(栃木県)
  • 年月日: 2009-09-02