馬谷誠二 Umatani Seiji

研究者番号	40378831
その他のID
所属 (現在)	2025年度: 神奈川大学, 情報学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2023年度: 神奈川大学, 情報学部, 准教授 2019年度 – 2022年度: 神奈川大学, 理学部, 准教授 2009年度 – 2018年度: 京都大学, 情報学研究科, 助教 2011年度: 京都大学, 大学院・情報学研究科, 助教 2010年度: 京大, 情報学研究科, 助教
審査区分/研究分野	研究代表者ソフトウエア / 小区分60050:ソフトウェア関連 / ソフトウェア研究代表者以外ソフトウェア / 理工系
キーワード	研究代表者プログラミング言語 / 静的解析 / アクセス制御 / プログラム解析 / コード移動 / コンパイラ / インタプリタ / 遷移系 / メタプログラミング / 抽象解釈 … もっと見る / オブジェクト指向言語 / アクセス制御論理 / 動的言語 / セキュリティ / プログラム解析・検証 / 分散プロセス計算 / Webアプリケーション開発 / アンビエント計算 / モバイル・エージェント / 大規模分散システム / モバイルコード / 分散システム / プロセス計算 / プログラム処理系 … もっと見る研究代表者以外トレース意味論 / 計算効果 / プログラミング言語 / 非決定計算 / 顕在的契約計算 / 型システム / 漸進的型付け / shift/reset / ゲーム意味論 / 限定継続 / 代入 / プログラム検証 / ソフトウェア契約 / 資源管理機構 / 計算モデル / プログラム言語 / ハイパーフォーマンス・コンピューティング / InTrigger / LMNtal / プロセス計算 / システム検証 / クラスターコンピューティング / ハイパフォーマンスコンピューティング / アルゴリズム / 並列分散処理 / ハイパーフォーマンスコンピューティング / ソフトウェア学 / 計算機システム隠す

モジュール間の安全な相互作用を可能にするメタプログラミング言語機構研究代表者
- 研究代表者
  
  馬谷誠二
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  神奈川大学
現代的なプログラミング言語のための漸進的型システムの理論
- 研究代表者
  
  五十嵐淳
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  京都大学
柔軟かつ利便性の高いアクセス制御機能を備えたプログラミング言語研究代表者
- 研究代表者
  
  馬谷誠二
- 研究期間 (年度)
  2016 – 2018
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  京都大学
ソフトウェア契約に基づく高階型付プログラムの理論
- 研究代表者
  
  五十嵐淳
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  京都大学
アンビエント計算に基づく実用的かつ信頼性の高い分散プログラム開発環境研究代表者
- 研究代表者
  
  馬谷誠二
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  京都大学
高級な通信・移動機能を備えた実用的アンビエント計算言語研究代表者
- 研究代表者
  
  馬谷誠二
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  京都大学
情報爆発に対応する高度にスケーラブルなソフトウェア構成基盤
- 研究代表者
  
  近山隆
- 研究期間 (年度)
  2006 – 2010
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  東京大学

[雑誌論文] Work-Stealing Strategies That Consider Work Amount and Hierarchy2021
- 著者名/発表者名
  Ryusuke Nakashima, Masahiro Yasugi, Hiroshi Yoritaka, Tasuku Hiraishi, Seiji Umatani
- 雑誌名
  
  IPSJ Transaction on Programming（掲載決定）
  
  巻: －
- NAID
  130008065250
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-20K11757
[雑誌論文] Extending a Work-Stealing Framework with Priorities and Weights2019
- 著者名/発表者名
  Nakashima Ryusuke、Yoritaka Hiroshi、Yasugi Masahiro、Hiraishi Tasuku、Umatani Seiji
- 雑誌名
  
  Proceedings of 2019 IEEE/ACM 9th Workshop on Irregular Applications: Architectures and Algorithms
  
  巻: - ページ: 9-16
- DOI
  10.1109/ia349570.2019.00008
- 査読あり
- データソース
  KAKENHI-PROJECT-17H01723
[雑誌論文] Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs2019
- 著者名/発表者名
  Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani
- 雑誌名
  
  Parallel Computing
  
  巻: 82 ページ: 19-36
- DOI
  10.1016/j.parco.2018.06.003
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00099, KAKENHI-PROJECT-17H01723, KAKENHI-PROJECT-16K00096, KAKENHI-PROJECT-26280023
[雑誌論文] HOPE: A Parallel Execution Model Based on Hierarchical Omission2019
- 著者名/発表者名
  Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, Kento Emoto
- 雑誌名
  
  ICPP 2019: Proceedings of the 48th International Conference on Parallel Processing
  
  巻: Article 77 ページ: 1-11
- DOI
  10.1145/3337821.3337899
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00099, KAKENHI-PROJECT-17H01723
[雑誌論文] 規則違反コードの構造を反映した木パタンを用いるコード検査器2016
- 著者名/発表者名
  中村真也, 鵜川始陽, 馬谷誠二
- 雑誌名
  
  情報処理学会論文誌　プログラミング
  
  巻: Vol.9, No.4 ページ: 1-15
- NAID
  170000148144
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00096
[雑誌論文] Design and Implementation of a Java Bytecode Manipulation Library for Clojure2015
- 著者名/発表者名
  Seiji Umatani, Tomoharu Ugawa, Masahiro Yasugi
- 雑誌名
  
  Journal of Information Processing
  
  巻: 印刷中
- NAID
  130005100079
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-24700028
[雑誌論文] Design and Implementation of a Java Bytecode Manipulation Library for Clojure2015
- 著者名/発表者名
  Seiji Umatani, Tomoharu Ugawa, Masahiro Yasugi
- 雑誌名
  
  Journal of Information Processing
  
  巻: 23 号: 5 ページ: 716-729
- DOI
  10.2197/ipsjjip.23.716
- NAID
  130005100079
- ISSN
  1882-6652
- 言語
  英語
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-25280024
[雑誌論文] Practical Implementation Techniques of Ambient Calculus in Conventional Dynamic Languages2014
- 著者名/発表者名
  Seiji Umatani
- 雑誌名
  
  Proc. of ACM Symposium on Applied Computing
  
  巻: 1 ページ: 1345-1351
- 査読あり
- データソース
  KAKENHI-PROJECT-25280024
[雑誌論文] Practical Implementation Techniques of Ambient Calculus in Conventional Dynamic Languages2014
- 著者名/発表者名
  Seiji Umatani
- 雑誌名
  
  Proceedings of the 29th Annual ACM Symposium on Applied Computing (SAC2014)
  
  巻: - ページ: 1345-1351
- DOI
  10.1145/2554850.2554995
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24700028
[雑誌論文] L-Closure の呼び出しコストの削減2013
- 著者名/発表者名
  田附正充,八杉昌宏,平石拓,馬谷誠二
- 雑誌名
  
  情報処理学会論文誌プログラミング
  
  巻: Vol.6, No.2 ページ: 13-32
- NAID
  110009602856
- 査読あり
- データソース
  KAKENHI-PROJECT-24700028
[雑誌論文] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境2013
- 著者名/発表者名
  林奉行，馬谷誠二，八杉昌宏，湯淺太一
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 30 号: 1 ページ: 1_231-1_256
- DOI
  10.11309/jssst.30.1_231
- NAID
  130004549313
- ISSN
  0289-6540
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-24700028
[雑誌論文] SEAN: Support Tool for Detecting Rule Violations in JNI Coding2012
- 著者名/発表者名
  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
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-24700028
[雑誌論文] Parallel Graph Traversals using Work-Stealing Frameworks for Many-core Platforms2012
- 著者名/発表者名
  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
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-21300008, KAKENHI-PROJECT-21700029
[雑誌論文] Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks2011
- 著者名/発表者名
  Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
- 雑誌名
  
  Proceedings of the 13th International Conference on Coordination Models and Languages
  
  巻: LNCS6721 ページ: 172-186
- 査読あり
- データソース
  KAKENHI-PROJECT-21700029
[雑誌論文] Safe AmbientsのためのJavaフレームワーク2011
- 著者名/発表者名
  岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
- 雑誌名
  
  情報処理学会論文誌:プログラミング
  
  巻: (掲載確定)
- NAID
  110008616689
- 査読あり
- データソース
  KAKENHI-PROJECT-21700029
[雑誌論文] Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks2011
- 著者名/発表者名
  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
- 査読あり
- データソース
  KAKENHI-PROJECT-21700029
[雑誌論文] Safe AmbientsのためのJavaフレームワーク2011
- 著者名/発表者名
  岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
- 雑誌名
  
  情報処理学会論文誌プログラミング
  
  巻: 4巻3 ページ: 26-41
- NAID
  110008616689
- URL
  http://id.nii.ac.jp/1001/00074635/
- 査読あり
- データソース
  KAKENHI-PROJECT-21700029
[雑誌論文] L-Closureを用いた真に末尾再帰的なSchemeインタプリタ2010
- 著者名/発表者名
  八杉昌宏, 平石拓, 小島啓史, 馬谷誠二, 小宮常康, 湯淺太一
- 雑誌名
  
  情報処理学会論文誌:プログラミング
  
  巻: 3巻5号ページ: 1-17
- NAID
  110007970943
- 査読あり
- データソース
  KAKENHI-PROJECT-21700029
[雑誌論文] L-Closureを用いた真に末尾再帰的なSchemeインタプリタ2010
- 著者名/発表者名
  八杉昌宏、平石拓、児島啓史、馬谷誠司、湯浅太一
- 雑誌名
  
  情報処理学会論文誌、プログラミング
  
  巻: 3-5 ページ: 1-17
- NAID
  110007970943
- 査読あり
- データソース
  KAKENHI-PLANNED-18049015
[雑誌論文] 動的名前解決による通信先・移動先の柔軟な指定が可能_な分散アンビエントシステムの設計2010
- 著者名/発表者名
  馬谷誠二, 八杉昌宏, 湯淺太一
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 27巻2号ページ: 50-61
- NAID
  10026468319
- URL
  http://japanlinkcenter.org/JST.JSTAGE/jssst/27.2_50
- 査読あり
- データソース
  KAKENHI-PROJECT-21700029
[雑誌論文] 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計2010
- 著者名/発表者名
  馬谷誠二, 八杉昌宏, 湯淺太一
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: vol.27, No.2 ページ: 50-61
- NAID
  10026468319
- 査読あり
- データソース
  KAKENHI-PROJECT-21700029
[雑誌論文] リターンバリア型実時間ごみ集めの抽象モデル検査2009
- 著者名/発表者名
  藤川浩光, 馬谷誠二, 八杉昌宏, 湯淺太一
- 雑誌名
  
  情報処理学会:プログラミング vol.2 no.4
  
  ページ: 13-32
- NAID
  110007970917
- 査読あり
- データソース
  KAKENHI-PROJECT-21700029
[雑誌論文] リターンバリア型実時間ごみ集めの抽象モデル検査2009
- 著者名/発表者名
  藤川浩光、馬谷誠二、八杉昌宏、湯淺太一
- 雑誌名
  
  情報処理学会論文誌(プログラミング) 2(4)
  
  ページ: 13-32
- NAID
  110007970917
- 査読あり
- データソース
  KAKENHI-PLANNED-18049015
[雑誌論文] 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計2009
- 著者名/発表者名
  馬谷誠二、八杉昌宏、湯淺太一
- 雑誌名
  
  コンピュータソフトウェア 27(2)
  
  ページ: 50-61
- NAID
  10026468319
- 査読あり
- データソース
  KAKENHI-PLANNED-18049015
[雑誌論文] Cache-conscious階層的グループ化データ配置法:Cache-oblivious配置法との実験的比較2009
- 著者名/発表者名
  八杉昌宏, 後藤裕輔, 馬谷誠二, 湯淺太一
- 雑誌名
  
  情報処理学会:プログラミング vol.2 no.3
  
  ページ: 33-47
- NAID
  110007970908
- 査読あり
- データソース
  KAKENHI-PROJECT-21700029
[雑誌論文] Efficient and Portable Implementation of Java-style Exception Handling in C2006
- 著者名/発表者名
  Seiji Umatani
- 雑誌名
  
  IPSJ Digital Courier 2
  
  ページ: 238-247
- NAID
  130000058354
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] Lightweight DSL for Describing Extensible Transition Systems2024
- 著者名/発表者名
  Seiji Umatani
- 学会等名
  The 39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K11757
[学会発表] 健全な手続き的マクロの抽象解釈フレームワーク2023
- 著者名/発表者名
  馬谷誠二
- 学会等名
  第25回プログラミングおよびプログラミング言語ワークショップPPL 2023
- データソース
  KAKENHI-PROJECT-20K11757
[学会発表] Racket言語のための抽象解釈に向けて2022
- 著者名/発表者名
  馬谷誠二
- 学会等名
  情報処理学会第138回プログラミング研究発表会
- データソース
  KAKENHI-PROJECT-20K11757
[学会発表] Work-Stealing Strategies That Consider Work Amount and Hierarchy2021
- 著者名/発表者名
  中嶋隆介，八杉昌宏，寄高啓司，平石拓，馬谷誠二
- 学会等名
  情報処理学会第132回プログラミング研究発表会
- データソース
  KAKENHI-PROJECT-20K11757
[学会発表] 具象コード実行を伴う抽象解釈器の実行モデル2021
- 著者名/発表者名
  馬谷誠二
- 学会等名
  情報処理学会第133回プログラミング研究発表会
- データソース
  KAKENHI-PROJECT-20K11757
[学会発表] HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル2020
- 著者名/発表者名
  八杉昌宏，村岡大輔，平石拓，馬谷誠二，江本健斗
- 学会等名
  日本ソフトウェア科学会第37回大会
- データソース
  KAKENHI-PROJECT-20K11757
[学会発表] ワーカの重要度を考慮した並列実行フレームワークの障害耐性評価手法の検討2019
- 著者名/発表者名
  西牟禮亮, 八杉昌宏, 平石拓, 馬谷誠二
- 学会等名
  情報処理学会第125回プログラミング研究発表会
- データソース
  KAKENHI-PROJECT-17H01723
[学会発表] 汎用送受信に対応したHOPEコンパイラの研究2019
- 著者名/発表者名
  橋本孝太, 八杉昌宏, 平石拓, 馬谷誠二
- 学会等名
  情報処理学会第125回プログラミング研究発表会
- データソース
  KAKENHI-PROJECT-17H01723
[学会発表] JVM上の動的言語のための抽象解釈の実装2019
- 著者名/発表者名
  馬谷誠二
- 学会等名
  第60回プログラミング・シンポジウム
- データソース
  KAKENHI-PROJECT-17H01723
[学会発表] JVM上の動的言語のための抽象解釈の実装2019
- 著者名/発表者名
  馬谷誠二
- 学会等名
  第60回プログラミング・シンポジウム
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] JVM上の動的言語のための抽象解釈2018
- 著者名/発表者名
  馬谷誠二
- 学会等名
  情報処理学会第121回プログラミング研究会
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] 分割統治型総和の部分的計算結果を効率よく利用する方式の研究2018
- 著者名/発表者名
  佐多育斗，八杉昌宏，平石拓，馬谷誠二
- 学会等名
  情報処理学会第121回プログラミング研究会
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] 並列分散フレームワークの耐障害性評価のための通信障害模擬機能2018
- 著者名/発表者名
  西牟禮亮，八杉昌宏，平石拓，馬谷誠二
- 学会等名
  第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018） (ポスター発表)
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] JVM上の動的言語のための抽象解釈2018
- 著者名/発表者名
  馬谷誠二
- 学会等名
  情報処理学会第121回プログラミング研究会
- データソース
  KAKENHI-PROJECT-17H01723
[学会発表] 仮想環境を考慮した要求駆動型負荷分散2017
- 著者名/発表者名
  良本海，八杉昌宏，平石拓，馬谷誠二
- 学会等名
  日本ソフトウェア科学会第34回大会
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール2017
- 著者名/発表者名
  馬谷誠二，藤原康史，五十嵐淳
- 学会等名
  日本ソフトウェア科学会第33回大会
- 発表場所
  東京大学本郷キャンパス工学部２号館4階242教室
- 年月日
  2017-09-06
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] データフロー解析結果を付加した構文木に対するパターンマッチによるコード検査2017
- 著者名/発表者名
  谷口力斗, 馬谷誠二, 鵜川始陽
- 学会等名
  第113回情報処理学会プログラミング研究会
- 発表場所
  東京大学本郷キャンパス工学部２号館4階242教室
- 年月日
  2017-03-03
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] HOPEコンパイラのプロトタイプ実装2017
- 著者名/発表者名
  重本孝太，八杉昌宏，平石拓，馬谷誠二
- 学会等名
  2017年並列／分散／協調処理に関する『秋田』サマー・ワークショップ (SWoPP2017)
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] 優先度ならびに重みを用いたワークスティールフレームワークの性能改善2017
- 著者名/発表者名
  寄高啓司，八杉昌宏，平石拓，馬谷誠二
- 学会等名
  The 1st. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2017)
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] アクセス制御論理に基づくIoT向け分散型アクセス制御フレームワーク2017
- 著者名/発表者名
  五十嵐琢磨，馬谷誠二
- 学会等名
  第15回ディペンダブルシステムワークショップ (DSW 2017)
- データソース
  KAKENHI-PROJECT-17H01723
[学会発表] アクセス制御機能の組み込まれた拡張オブジェクト指向言語2017
- 著者名/発表者名
  馬谷誠二
- 学会等名
  第58回プログラミング・シンポジウム
- 発表場所
  静岡県伊東市ラフォーレ伊東
- 年月日
  2017-01-06
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] アクセス制御論理に基づくIoT向け分散型アクセス制御フレームワーク2017
- 著者名/発表者名
  五十嵐琢磨，馬谷誠二
- 学会等名
  第15回ディペンダブルシステムワークショップ (DSW 2017)
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] Extending a Work-Stealing Framework with Probabilistic Guards2016
- 著者名/発表者名
  Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, and Seiji Umatani
- 学会等名
  Ninth International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2) 2016
- 発表場所
  TUCC (Temple University Center City), Philadelphia, PA USA
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] Evaluation of an MPI-Based Implementation of the Tascell Task-Parallel Language on Massively Parallel Systems2016
- 著者名/発表者名
  Daisuke Muraoka, Masahiro Yasugi, Tasuku Hiraishi, and Seiji Umatani
- 学会等名
  TUCC (Temple University Center City), Philadelphia, PA USA
- 発表場所
  TUCC (Temple University Center City), Philadelphia, PA USA
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00096
[学会発表] Practical Implementation Techniques of Ambient Calculus in Conventional Dynamic Languages2014
- 著者名/発表者名
  Seiji Umatani
- 学会等名
  29th Symposium on Applied Computing (SAC 2014)
- 発表場所
  Gyeongju, Korea
- データソース
  KAKENHI-PROJECT-24700028
[学会発表] Practical Implementation Techniques of Ambient Calculus in Conventional Dynamic Languages2014
- 著者名/発表者名
  Seiji Umatani
- 学会等名
  ACM Symposium on Applied Computing
- 発表場所
  Gyeongju, Korea
- データソース
  KAKENHI-PROJECT-25280024
[学会発表] JVMバイトコードへの低水準操作を簡潔に記述可能なマクロシステム2014
- 著者名/発表者名
  馬谷誠二
- 学会等名
  第55回プログラミング・シンポジウム
- 発表場所
  静岡県伊東市
- データソース
  KAKENHI-PROJECT-24700028
[学会発表] L-Closureの呼び出しコストの削減2013
- 著者名/発表者名
  田附正充，八杉昌宏，平石拓，馬谷誠二
- 学会等名
  情報処理学会第92回プログラミング研究会
- 発表場所
  AiAiひろば（鹿児島県）
- データソース
  KAKENHI-PROJECT-24700028
[学会発表] 行儀の良い分散プログラミングのための拡張Lisp言語2013
- 著者名/発表者名
  馬谷誠二
- 学会等名
  数理システムLispセミナ
- 発表場所
  NTTデータ数理システム
- データソース
  KAKENHI-PROJECT-24700028
[学会発表] Detecting Bugs in Android Using a Static Escape Analyzer SEAN for Native Code2012
- 著者名/発表者名
  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)
- データソース
  KAKENHI-PROJECT-24700028
[学会発表] 高速版Barnes-Hut多体シミュレーションの並列実装2012
- 著者名/発表者名
  松井健，平石拓，八杉昌宏，馬谷誠二
- 学会等名
  先進的計算基盤システムシンポジウム (SACSIS2012)
- 発表場所
  神戸国際会議場（兵庫県）
- データソース
  KAKENHI-PROJECT-24700028
[学会発表] Scala ActorライブラリによるSafe Ambientsフレームワークの実装2012
- 著者名/発表者名
  岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
- 学会等名
  情報処理学会第87回プログラミング研究会
- 発表場所
  久米島町イーフ情報プラザ(沖縄県)
- 年月日
  2012-01-23
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] Safeアンビエントの移動動作のセキュアな実装手法2012
- 著者名/発表者名
  馬谷誠二，八杉昌宏
- 学会等名
  日本ソフトウェア科学会第29回大会
- 発表場所
  法政大学小金井キャンパス（東京都）
- データソース
  KAKENHI-PROJECT-24700028
[学会発表] ワークスティーリングフレームワークにおける集団通信機能2012
- 著者名/発表者名
  松井健，平石拓，八杉昌宏，馬谷誠二
- 学会等名
  2012年並列／分散／協調処理に関する『鳥取』サマー・ワークショップ（SWoPP鳥取2012）
- 発表場所
  北九州国際会議場（福岡県）
- データソース
  KAKENHI-PROJECT-24700028
[学会発表] JNIコーディングの規則違反を検出するための支援ツールSEANの開発2012
- 著者名/発表者名
  西脇春名, 鵜川始陽, 馬谷誠二, 八杉昌宏、湯淺太一
- 学会等名
  情報処理学会第87回プログラミング研究会
- 発表場所
  久米島町イーフ情報プラザ(沖縄県)
- 年月日
  2012-01-23
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] Safe AmbientsのためのJavaライブラリ2011
- 著者名/発表者名
  岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
- 学会等名
  情報処理学会第82回プログラミング研究会
- 発表場所
  沖縄県宮古市中央公民館
- 年月日
  2011-01-20
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] Safe AmbientsのためのJavaライブラリ2011
- 著者名/発表者名
  岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
- 学会等名
  第82回情報処理学会・プログラミング研究会
- 発表場所
  宮古島市中央公民館(沖縄)
- 年月日
  2011-01-20
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] ワークスティーリングフレームワークにおけるブロードキャスト機能2011
- 著者名/発表者名
  松井健, 平石拓, 八杉昌宏, 馬谷誠二, 湯浅太一
- 学会等名
  2011年並列/分散/協調処理に関する『鹿児島』サマー・ワークショップ(SWoPP鹿児島2011)
- 発表場所
  かごしま県民交流センター(鹿児島県)
- 年月日
  2011-07-29
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] 動的負荷分散フレームワークTascellの広域分散およびメニーコア環境における評価2011
- 著者名/発表者名
  平石拓, 八杉昌宏, 馬谷誠二
- 学会等名
  先進的計算基盤システムシンポジウム(SACSIS2011)
- 発表場所
  秋葉原コンベンションホール(東京都)
- 年月日
  2011-05-25
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] Safe AmbientsのためのJavaライブラリ2011
- 著者名/発表者名
  岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
- 学会等名
  第82回情報処理学会・プログラミング研究会
- 発表場所
  宮古島市中央公民館(沖縄)
- 年月日
  2011-01-20
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] 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
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境2011
- 著者名/発表者名
  林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  日本ソフトウェア科学会第28回大会
- 発表場所
  沖縄産業支援センター(沖縄県)
- 年月日
  2011-09-28
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境2011
- 著者名/発表者名
  林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  北海道札幌市定山渓ビューホテル
- 年月日
  2011-03-09
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] 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
- 発表場所
  Reykjavik, Iceland
- 年月日
  2011-06-07
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境2011
- 著者名/発表者名
  林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  定山渓ビューホテル(北海道)
- 年月日
  2011-03-09
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境2011
- 著者名/発表者名
  林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
- 発表場所
  定山渓ビューホテル(北海道)
- 年月日
  2011-03-09
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] Dynamic Graph Traversals for Concurrent Rewriting using Work-Stealing Frameworks for Multicore Platforms2010
- 著者名/発表者名
  Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani, Taiichi Yuasa
- 学会等名
  16th International Conference on Parallel and Distributed Systems (ICPADS 2010)
- 発表場所
  Shanghai, China
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] アンビエント計算に基づくWebアプリケーション開発環境2010
- 著者名/発表者名
  外山真, 馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  第12回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  琴参閣(香川県)
- 年月日
  2010-03-04
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] L-Closureを用いた真に末尾再帰的なSchemeインタプリタ2010
- 著者名/発表者名
  八杉昌宏, 小島啓史, 小宮常康, 平石拓, 馬谷誠二, 湯淺太一
- 学会等名
  情報処理学会第79回プログラミング研究会
- 発表場所
  東京都目黒区東京工業大学大岡山キャンパス
- 年月日
  2010-06-14
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] Tascell : a Backtracking-based Load Balancing Framework2010
- 著者名/発表者名
  Tasuku Hiraishi, Masahiro Yasugi, Takuya Kouno, Seiji Umatani, Taiichi Yuasa
- 学会等名
  24th International Conference on Supercomputing (ICS'10)(Poster presentation)
- 発表場所
  茨城県つくば市
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] バックトラックに基づく負荷分散の高並列環境における評価2010
- 著者名/発表者名
  平石拓, 河野卓矢, 八杉昌宏, 馬谷誠二, 湯淺太一
- 学会等名
  2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010
- 発表場所
  石川県金沢市金沢市文化ホール
- 年月日
  2010-08-04
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] 広域分散環境で動作するSafeアンビエント処理系2010
- 著者名/発表者名
  宮本琢也, 馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  第12回プログラミングおよびプログラミング言語ワークシヨップ
- 発表場所
  琴参閣(香川県)
- 年月日
  2010-03-03
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] アンビエント計算に基づくWebアプリケーション開発環境2010
- 著者名/発表者名
  外山真, 馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
- 発表場所
  琴参閣(香川県)
- 年月日
  2010-03-04
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] 広域分散環境で動作するSafeアンビエント処理系2010
- 著者名/発表者名
  宮本琢也, 馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
- 発表場所
  琴参閣(香川県)
- 年月日
  2010-03-03
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] 構成的理論に基づいたプログラミング言語Zとその実装2010
- 著者名/発表者名
  新名庸生, 佐藤雅彦, 馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  情報処理学会第79回プログラミング研究会
- 発表場所
  東京都目黒区東京工業大学大岡山キャンパス
- 年月日
  2010-06-14
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] 高級アンビエント計算システムを用いた分散プログラミング2009
- 著者名/発表者名
  馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  夏のプログラミング・シンポジウム
- 発表場所
  ラフォーレ那須(栃木県)
- 年月日
  2009-09-02
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] 高級アンビエント計算システムを用いた分散プログラミング2009
- 著者名/発表者名
  馬谷誠二
- 学会等名
  情報処理学会夏のプログラミング・シンポジウム2009
- 発表場所
  那須
- 年月日
  2009-09-02
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] 高級アンビエント計算システムを用いた分散プログラミング2009
- 著者名/発表者名
  馬谷誠二, 八杉昌宏, 湯淺太一
- 学会等名
  夏のプログラミング・シンポジウム2009
- 発表場所
  ラフォーレ那須(栃木県)
- 年月日
  2009-09-02
- データソース
  KAKENHI-PROJECT-21700029
[学会発表] 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計2008
- 著者名/発表者名
  馬谷誠二
- 学会等名
  日本ソフトウェア科学会第25回大会
- 発表場所
  筑波大学東京キャンパス
- 年月日
  2008-09-10
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] Design of a Distributed Ambient System That Enables Flexible Designation of Communication/Migration Targets with Dynamic Name Resolution2008
- 著者名/発表者名
  Seiji Umatani
- 学会等名
  Workshop on Software Science and Technology in China and Japan
- 発表場所
  桂林(中国)
- 年月日
  2008-09-01
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] Towards a Practical Pi-Calculus Based Mobile Agent System2007
- 著者名/発表者名
  Seiji Umatani
- 学会等名
  Asian Symposium on Programming Languages and Systems
- 発表場所
  Singapore
- 年月日
  2007-11-29
- データソース
  KAKENHI-PLANNED-18049015
[学会発表] Clojure用JVMバイトコード操作ライブラリの設計と実装
- 著者名/発表者名
  馬谷誠二，鵜川始陽，八杉昌宏
- 学会等名
  情報処理学会第102回プログラミング研究会
- 発表場所
  宮崎大学木花キャンパス，宮崎県宮崎市
- 年月日
  2015-01-13 – 2015-01-14
- データソース
  KAKENHI-PROJECT-24700028

1. 五十嵐淳 (40323456)

共同の研究課題数: 2件

共同の研究成果数: 1件
2. 田浦健次朗 (90282714)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 遠藤敏夫 (80396788)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 横山大作 (80345272)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 中澤巧爾 (80362581)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 近山隆 (40272380)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 湯淺太一 (60158326)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 上田和紀 (10257206)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 末永幸平 (70633692)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 海野広志 (80569575)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 平石拓

共同の研究課題数: 0件

共同の研究成果数: 2件
12. 湯浅太一

共同の研究課題数: 0件

共同の研究成果数: 10件

馬谷 誠二 Umatani Seiji

研究課題

研究成果

共同研究者

モジュール間の安全な相互作用を可能にするメタプログラミング言語機構研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

現代的なプログラミング言語のための漸進的型システムの理論

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

柔軟かつ利便性の高いアクセス制御機能を備えたプログラミング言語研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェア契約に基づく高階型付プログラムの理論

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

情報爆発に対応する高度にスケーラブルなソフトウェア構成基盤

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Work-Stealing Strategies That Consider Work Amount and Hierarchy2021

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Extending a Work-Stealing Framework with Priorities and Weights2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] HOPE: A Parallel Execution Model Based on Hierarchical Omission2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] 規則違反コードの構造を反映した木パタンを用いるコード検査器2016

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Design and Implementation of a Java Bytecode Manipulation Library for Clojure2015

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Design and Implementation of a Java Bytecode Manipulation Library for Clojure2015

著者名/発表者名

雑誌名

DOI

馬谷誠二 Umatani Seiji