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

• 研究課題/領域番号: 21700029
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 京都大学
• 研究代表者: 馬谷 誠二 京都大学, 大学院・情報学研究科, 助教 (40378831)
• 研究期間 (年度): 2009 – 2011
• 研究課題ステータス: 完了 (2011年度)
• 配分額: 3,640千円 (直接経費: 2,800千円、間接経費: 840千円); 2011年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2010年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2009年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
• キーワード: プログラム処理系 / プロセス計算 / 分散システム / コード移動 / プログラミング言語 / モバイルコード / 大規模分散システム / モバイル・エージェント / アンビエント計算 / Webアプリケーション開発

研究概要

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

研究成果

• [雑誌論文] Parallel Graph Traversals using Work-Stealing Frameworks for Many-core Platforms (2012)
  • 著者名/発表者名: Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani, Taiichi Yuasa
  • 雑誌名: Journal of Information Processing 巻: 20 号: 1 ページ: 128-139
  • DOI: 10.2197/ipsjjip.20.128
  • NAID: 130002116405
  • ISSN: 1882-6652
  • 査読あり
• [雑誌論文] Safe AmbientsのためのJavaフレームワーク (2011)
  • 著者名/発表者名: 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
  • 雑誌名: 情報処理学会論文誌プログラミング 巻: 4巻3 ページ: 26-41
  • NAID: 110008616689
  • 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
  • 査読あり
• [雑誌論文] 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 Coorination Models and Languages 巻: LNCS 6721 ページ: 172-186
  • DOI: 10.1007/978-3-642-21464-6_12
  • ISBN: 9783642214639, 9783642214646
  • 査読あり
• [雑誌論文] Safe AmbientsのためのJavaフレームワーク (2011)
  • 著者名/発表者名: 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
  • 雑誌名: 情報処理学会論文誌:プログラミング 巻: (掲載確定)
  • NAID: 110008616689
  • 査読あり
• [雑誌論文] 動的名前解決による通信先・移動先の柔軟な指定が可能_な分散アンビエントシステムの設計 (2010)
  • 著者名/発表者名: 馬谷誠二, 八杉昌宏, 湯淺太一
  • 雑誌名: コンピュータソフトウェア 巻: 27巻2号 ページ: 50-61
  • NAID: 10026468319
  • URL: http://japanlinkcenter.org/JST.JSTAGE/jssst/27.2_50
  • 査読あり
• [雑誌論文] 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計 (2010)
  • 著者名/発表者名: 馬谷誠二, 八杉昌宏, 湯淺太一
  • 雑誌名: コンピュータソフトウェア 巻: vol.27, No.2 ページ: 50-61
  • NAID: 10026468319
  • 査読あり
• [雑誌論文] L-Closureを用いた真に末尾再帰的なSchemeインタプリタ (2010)
  • 著者名/発表者名: 八杉昌宏, 平石拓, 小島啓史, 馬谷誠二, 小宮常康, 湯淺太一
  • 雑誌名: 情報処理学会論文誌:プログラミング 巻: 3巻5号 ページ: 1-17
  • NAID: 110007970943
  • 査読あり
• [雑誌論文] リターンバリア型実時間ごみ集めの抽象モデル検査 (2009)
  • 著者名/発表者名: 藤川浩光, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 雑誌名: 情報処理学会:プログラミング vol.2 no.4 ページ: 13-32
  • NAID: 110007970917
  • 査読あり
• [雑誌論文] Cache-conscious階層的グループ化データ配置法:Cache-oblivious配置法との実験的比較 (2009)
  • 著者名/発表者名: 八杉昌宏, 後藤裕輔, 馬谷誠二, 湯淺太一
  • 雑誌名: 情報処理学会:プログラミング vol.2 no.3 ページ: 33-47
  • NAID: 110007970908
  • 査読あり
• [学会発表] Scala ActorライブラリによるSafe Ambientsフレームワークの実装 (2012)
  • 著者名/発表者名: 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
  • 学会等名: 情報処理学会第87回プログラミング研究会
  • 発表場所: 久米島町イーフ情報プラザ(沖縄県)
  • 年月日: 2012-01-23
• [学会発表] JNIコーディングの規則違反を検出するための支援ツールSEANの開発 (2012)
  • 著者名/発表者名: 西脇春名, 鵜川始陽, 馬谷誠二, 八杉昌宏、湯淺太一
  • 学会等名: 情報処理学会第87回プログラミング研究会
  • 発表場所: 久米島町イーフ情報プラザ(沖縄県)
  • 年月日: 2012-01-23
• [学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境 (2011)
  • 著者名/発表者名: 林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 日本ソフトウェア科学会第28回大会
  • 発表場所: 沖縄産業支援センター(沖縄県)
  • 年月日: 2011-09-28
• [学会発表] ワークスティーリングフレームワークにおけるブロードキャスト機能 (2011)
  • 著者名/発表者名: 松井健, 平石拓, 八杉昌宏, 馬谷誠二, 湯浅太一
  • 学会等名: 2011年並列/分散/協調処理に関する『鹿児島』サマー・ワークショップ(SWoPP鹿児島2011)
  • 発表場所: かごしま県民交流センター(鹿児島県)
  • 年月日: 2011-07-29
• [学会発表] 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
• [学会発表] 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 (COORDINATION 2011)
  • 発表場所: Reykjavik, Iceland(発表確定)
  • 年月日: 2011-06-07
• [学会発表] 動的負荷分散フレームワークTascellの広域分散およびメニーコア環境における評価 (2011)
  • 著者名/発表者名: 平石拓, 八杉昌宏, 馬谷誠二
  • 学会等名: 先進的計算基盤システムシンポジウム(SACSIS2011)
  • 発表場所: 秋葉原コンベンションホール(東京都)
  • 年月日: 2011-05-25
• [学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境 (2011)
  • 著者名/発表者名: 林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 定山渓ビューホテル(北海道)
  • 年月日: 2011-03-09
• [学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境 (2011)
  • 著者名/発表者名: 林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
  • 発表場所: 定山渓ビューホテル(北海道)
  • 年月日: 2011-03-09
• [学会発表] Safe AmbientsのためのJavaライブラリ (2011)
  • 著者名/発表者名: 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
  • 学会等名: 第82回情報処理学会・プログラミング研究会
  • 発表場所: 宮古島市中央公民館(沖縄)
  • 年月日: 2011-01-20
• [学会発表] Safe AmbientsのためのJavaライブラリ (2011)
  • 著者名/発表者名: 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
  • 学会等名: 第82回 情報処理学会・プログラミング研究会
  • 発表場所: 宮古島市中央公民館(沖縄)
  • 年月日: 2011-01-20
• [学会発表] アンビエント計算に基づくWebアプリケーション開発環境 (2010)
  • 著者名/発表者名: 外山真, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 琴参閣(香川県)
  • 年月日: 2010-03-04
• [学会発表] アンビエント計算に基づくWebアプリケーション開発環境 (2010)
  • 著者名/発表者名: 外山真, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
  • 発表場所: 琴参閣(香川県)
  • 年月日: 2010-03-04
• [学会発表] 広域分散環境で動作するSafeアンビエント処理系 (2010)
  • 著者名/発表者名: 宮本琢也, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークシヨップ
  • 発表場所: 琴参閣(香川県)
  • 年月日: 2010-03-03
• [学会発表] 広域分散環境で動作するSafeアンビエント処理系 (2010)
  • 著者名/発表者名: 宮本琢也, 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
  • 発表場所: 琴参閣(香川県)
  • 年月日: 2010-03-03
• [学会発表] 高級アンビエント計算システムを用いた分散プログラミング (2009)
  • 著者名/発表者名: 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 夏のプログラミング・シンポジウム
  • 発表場所: ラフォーレ那須(栃木県)
  • 年月日: 2009-09-02
• [学会発表] 高級アンビエント計算システムを用いた分散プログラミング (2009)
  • 著者名/発表者名: 馬谷誠二, 八杉昌宏, 湯淺太一
  • 学会等名: 夏のプログラミング・シンポジウム2009
  • 発表場所: ラフォーレ那須(栃木県)
  • 年月日: 2009-09-02