Umatani Seiji 馬谷誠二

… Alternative Names

UMATANI Seiji 馬谷誠二

Less

Researcher Number	40378831
Other IDs
Affiliation (Current)	2025: 神奈川大学, 情報学部, 准教授
Affiliation (based on the past Project Information) *help	2023: 神奈川大学, 情報学部, 准教授 2019 – 2022: 神奈川大学, 理学部, 准教授 2009 – 2018: Kyoto University, 情報学研究科, 助教 2011: 京都大学, 大学院・情報学研究科, 助教 2010: 京大, 情報学研究科, 助教
Review Section/Research Field	Principal Investigator Software / Basic Section 60050:Software-related / Software Except Principal Investigator Software / Science and Engineering
Keywords	Principal Investigator プログラミング言語 / 静的解析 / アクセス制御 / プログラム解析 / コード移動 / コンパイラ / インタプリタ / 遷移系 / メタプログラミング / 抽象解釈 … More / オブジェクト指向言語 / アクセス制御論理 / 動的言語 / セキュリティ / プログラム解析・検証 / 分散プロセス計算 / Webアプリケーション開発 / アンビエント計算 / モバイル・エージェント / 大規模分散システム / モバイルコード / 分散システム / プロセス計算 / プログラム処理系 … More Except Principal Investigator トレース意味論 / 計算効果 / プログラミング言語 / 非決定計算 / 顕在的契約計算 / 型システム / 漸進的型付け / shift/reset / ゲーム意味論 / 限定継続 / 代入 / プログラム検証 / ソフトウェア契約 / 資源管理機構 / 計算モデル / プログラム言語 / ハイパーフォーマンス・コンピューティング / InTrigger / LMNtal / プロセス計算 / システム検証 / クラスターコンピューティング / ハイパフォーマンスコンピューティング / アルゴリズム / 並列分散処理 / ハイパーフォーマンスコンピューティング / ソフトウェア学 / 計算機システム Less

モジュール間の安全な相互作用を可能にするメタプログラミング言語機構Principal Investigator
- Principal Investigator
  
  馬谷誠二
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kanagawa University
Theory of Gradual Typing for Modern Programming Languages
- Principal Investigator
  
  Atsushi Igarashi
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
A Programming Language That Supports Flexible and Convenient Access ControlPrincipal Investigator
- Principal Investigator
  
  Umatani Seiji
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Theory of Higher-Order Typed Programs based Software Contracts
- Principal Investigator
  
  Igarashi Atsushi
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
A Develop Environment of Practical and Reliable Distributed Programs Based on the Ambient CalculusPrincipal Investigator
- Principal Investigator
  
  UMATANI Seiji
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
A Practical Ambient-calculus Based Language with High-level Communication/Migration SupportsPrincipal Investigator
- Principal Investigator
  
  UMATANI Seiji
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Highly Scalable Software Construction Basis for Information Explosion Era
- Principal Investigator
  
  CHIKAYAMA Takashi
- Project Period (FY)
  2006 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo

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

1. Igarashi Atsushi (40323456)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
2. TAURA Kenjiro (90282714)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. ENDO Toshio (80396788)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. YOKOYAMA Daisaku (80345272)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 中澤巧爾 (80362581)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. CHIKAYAMA Takashi (40272380)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. YUASA Taiichi (60158326)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. UEDA Kazunori (10257206)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 末永幸平 (70633692)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 海野広志 (80569575)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. HIRAISHI Tasuku

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results
12. 湯浅太一

# of Collaborated Projects: 0 results

# of Collaborated Products: 10 results

Umatani Seiji 馬谷 誠二

UMATANI Seiji 馬谷 誠二

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Theory of Gradual Typing for Modern Programming Languages

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Programming Language That Supports Flexible and Convenient Access ControlPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Theory of Higher-Order Typed Programs based Software Contracts

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Develop Environment of Practical and Reliable Distributed Programs Based on the Ambient CalculusPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Practical Ambient-calculus Based Language with High-level Communication/Migration SupportsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Highly Scalable Software Construction Basis for Information Explosion Era

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Work-Stealing Strategies That Consider Work Amount and Hierarchy2021

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Extending a Work-Stealing Framework with Priorities and Weights2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] HOPE: A Parallel Execution Model Based on Hierarchical Omission2019

Author(s)

Journal Title

DOI

Data Source

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

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Design and Implementation of a Java Bytecode Manipulation Library for Clojure2015

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Design and Implementation of a Java Bytecode Manipulation Library for Clojure2015

Author(s)

Journal Title

Umatani Seiji 馬谷誠二

UMATANI Seiji 馬谷誠二