• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2010 年度 実績報告書

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

研究課題

研究課題/領域番号 21700029
研究機関京都大学

研究代表者

馬谷 誠二  京都大学, 情報学研究科, 助教 (40378831)

キーワードプログラミング言語 / プロセス計算 / 大規模分散システム / コード移動
研究概要

本年度は,本研究が目標としているアンビエント計算に基づく高水準言語処理系の土台として用いるための,より低水準な実装技術およびフレームワークの開発を行った.具体的な成果としては,主に以下の3つが挙げられる.
1.Java言語用アンビエント計算フレームワーク
アンビエント計算の近接移動および膜融解の機能を汎用言語であるJavaから利用するためのフレームワークを構築した.これにより,アンビエント間の並行・協調動作を単純なモデルで表現しつつ,各アンビエント内の処理をJavaで記述するという書き分けが可能となり,プログラムの記述性・再利用性が向上した.
2.Scheme言語用アンビエント計算ライブラリ
アンビエント計算の機能をScheme言語から利用するためのライブラリを構築した.1とは異なり動的かつインタラクティブなScheme言語をベースに採用することで柔軟な分散アプリケーションの開発が用意な環境を提供している.たとえば,プログラマブルな分散チーム開発ツールなどは,このライブラリを使ったScheme対話環境上で容易に実現できる.
3.大規模分散環境向け実装技術の開発
上記1,2の基盤となる技術として,アンビエント計算の諸機能を大規模分散環境やモバイル環境で実現するための実装方式の設計を行った.この方式がアンビエント計算モデルを正しく実装できていることについての厳密な数学的証明も行った.

  • 研究成果

    (6件)

すべて 2011 2010

すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (3件)

  • [雑誌論文] Safe AmbientsのためのJavaフレームワーク2011

    • 著者名/発表者名
      岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
    • 雑誌名

      情報処理学会論文誌:プログラミング

      巻: (掲載確定)

    • 査読あり
  • [雑誌論文] 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計2010

    • 著者名/発表者名
      馬谷誠二, 八杉昌宏, 湯淺太一
    • 雑誌名

      コンピュータソフトウェア

      巻: vol.27, No.2 ページ: 50-61

    • 査読あり
  • [雑誌論文] L-Closureを用いた真に末尾再帰的なSchemeインタプリタ2010

    • 著者名/発表者名
      八杉昌宏, 平石拓, 小島啓史, 馬谷誠二, 小宮常康, 湯淺太一
    • 雑誌名

      情報処理学会論文誌:プログラミング

      巻: 3巻5号 ページ: 1-17

    • 査読あり
  • [学会発表] Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks2011

    • 著者名/発表者名
      Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
    • 学会等名
      13th International Conference on Coordination Models and Languages (COORDINATION 2011)
    • 発表場所
      Reykjavik, Iceland(発表確定)
    • 年月日
      2011-06-07
  • [学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境2011

    • 著者名/発表者名
      林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • 発表場所
      定山渓ビューホテル(北海道)
    • 年月日
      2011-03-09
  • [学会発表] Safe AmbientsのためのJavaライブラリ2011

    • 著者名/発表者名
      岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
    • 学会等名
      第82回 情報処理学会・プログラミング研究会
    • 発表場所
      宮古島市中央公民館(沖縄)
    • 年月日
      2011-01-20

URL: 

公開日: 2012-07-19  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi