アンビエント計算に基づく実用的かつ信頼性の高い分散プログラム開発環境

• 研究課題/領域番号: 24700028
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: ソフトウエア
• 研究機関: 京都大学
• 研究代表者: 馬谷 誠二 京都大学, 情報学研究科, 助教 (40378831)
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• 研究課題ステータス: 完了 (2014年度)
• 配分額: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円); 2014年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2013年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円); 2012年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
• キーワード: 分散プロセス計算 / プログラミング言語 / コード移動 / プログラム解析 / プログラム解析・検証

研究成果の概要

本研究では，研究代表者がこれまでに開発を行っていたアンビエント計算に基づく分散プログラミング言語から得られた柔軟な分散協調機能の設計に関する指針およびそれらの機能の効率良い実現手法を活用し，汎用プログラミング言語を用いて信頼性の高い分散プログラムを開発するためのフレームワークの開発を行った．このフレームワークは，実用的かつ柔軟性の高いアンビエント計算機能を提供するのに加え，専用分散言語で書く際には問題となりにくいユーザプログラムの安全性を保証するための解析・検証ツールを備えている．

研究成果

• [雑誌論文] Design and Implementation of a Java Bytecode Manipulation Library for Clojure (2015)
  • 著者名/発表者名: Seiji Umatani, Tomoharu Ugawa, Masahiro Yasugi
  • 雑誌名: Journal of Information Processing 巻: 印刷中
  • NAID: 130005100079
  • 査読あり / オープンアクセス / 謝辞記載あり
• [雑誌論文] Practical Implementation Techniques of Ambient Calculus in Conventional Dynamic Languages (2014)
  • 著者名/発表者名: Seiji Umatani
  • 雑誌名: Proceedings of the 29th Annual ACM Symposium on Applied Computing (SAC2014) 巻: - ページ: 1345-1351
  • DOI: 10.1145/2554850.2554995
  • 査読あり / 謝辞記載あり
• [雑誌論文] L-Closure の呼び出しコストの削減 (2013)
  • 著者名/発表者名: 田附 正充,八杉 昌宏,平石 拓,馬谷 誠二
  • 雑誌名: 情報処理学会論 文誌 プログラミング 巻: Vol.6, No.2 ページ: 13-32
  • NAID: 110009602856
  • 査読あり
• [雑誌論文] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境 (2013)
  • 著者名/発表者名: 林 奉行，馬谷 誠二，八杉 昌宏，湯淺 太一
  • 雑誌名: コンピュータ ソフトウェア 巻: 30 号: 1 ページ: 1_231-1_256
  • DOI: 10.11309/jssst.30.1_231
  • NAID: 130004549313
  • ISSN: 0289-6540
  • 査読あり
• [雑誌論文] SEAN: Support Tool for Detecting Rule Violations in JNI Coding (2012)
  • 著者名/発表者名: Haruna Nishiwaki, Tomoharu Ugawa, Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
  • 雑誌名: IPSJ Online Transactions 巻: 5 号: 0 ページ: 139-144
  • DOI: 10.2197/ipsjtrans.5.139
  • NAID: 130002122066
  • ISSN: 1882-6660
  • 査読あり
• [学会発表] Clojure用JVMバイトコード操作ライブラリの設計と実装 (2015)
  • 著者名/発表者名: 馬谷 誠二，鵜川 始陽，八杉 昌宏
  • 学会等名: 情報処理学会第102回プログラミング研究会
  • 発表場所: 宮崎大学木花キャンパス，宮崎県宮崎市
  • 年月日: 2015-01-13 – 2015-01-14
• [学会発表] Practical Implementation Techniques of Ambient Calculus in Conventional Dynamic Languages (2014)
  • 著者名/発表者名: Seiji Umatani
  • 学会等名: 29th Symposium on Applied Computing (SAC 2014)
  • 発表場所: Gyeongju, Korea
• [学会発表] JVMバイトコードへの低水準操作を簡潔に記述可能なマクロシステム (2014)
  • 著者名/発表者名: 馬谷 誠二
  • 学会等名: 第55回プログラミング・シンポジウム
  • 発表場所: 静岡県伊東市
• [学会発表] 行儀の良い分散プログラミングのための拡張Lisp言語 (2013)
  • 著者名/発表者名: 馬谷 誠二
  • 学会等名: 数理システムLispセミナ
  • 発表場所: NTTデータ数理システム
• [学会発表] L-Closureの呼び出しコストの削減 (2013)
  • 著者名/発表者名: 田附 正充，八杉 昌宏，平石 拓，馬谷 誠二
  • 学会等名: 情報処理学会第92回プログラミング研究会
  • 発表場所: AiAiひろば（鹿児島県）
• [学会発表] 高速版Barnes-Hut多体シミュレーションの並列実装 (2012)
  • 著者名/発表者名: 松井 健，平石 拓，八杉 昌宏，馬谷 誠二
  • 学会等名: 先進的計算基盤システムシンポジウム (SACSIS2012)
  • 発表場所: 神戸国際会議場（兵庫県）
• [学会発表] ワークスティーリングフレームワークにおける集団通信機能 (2012)
  • 著者名/発表者名: 松井 健，平石 拓，八杉 昌宏，馬谷 誠二
  • 学会等名: 2012年並列／分散／協調処理に関する『鳥取』サマー・ワークショップ（SWoPP鳥取2012）
  • 発表場所: 北九州国際会議場（福岡県）
• [学会発表] Safeアンビエントの移動動作のセキュアな実装手法 (2012)
  • 著者名/発表者名: 馬谷 誠二，八杉 昌宏
  • 学会等名: 日本ソフトウェア科学会第29回大会
  • 発表場所: 法政大学小金井キャンパス（東京都）
• [学会発表] Detecting Bugs in Android Using a Static Escape Analyzer SEAN for Native Code (2012)
  • 著者名/発表者名: Haruna Nishiwaki, Tomoharu Ugawa, Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
  • 学会等名: 10th Asian Symposium on Programming Languages and Systems (APLAS 2012)
  • 発表場所: Kyoto International Community House (Kyoto)