(最終更新日:2019-11-01 16:58:45)
  ウマタニ セイジ   Umatani Seiji
  馬谷 誠二
   所属   神奈川大学  理学部 情報科学科
   職種   准教授
■ 学会発表
1. 2019 HOPE: A Parallel Execution Model Based on Hierarchical Omission(48th International Conference on Parallel Processing (ICPP 2019))
2. 2019 JVM上の動的言語のための抽象解釈の実装(第60回プログラミング・シンポジウム)
3. 2019 ワーカの重要度を考慮した並列実行フレームワークの障害耐性評価手法の検討(2019年並列/分散/協調処理に関する『北見』サマー・ワークショップ (SWoPP2019))
4. 2019 汎用送受信に対応したHOPEコンパイラの研究(2019年並列/分散/協調処理に関する『北見』サマー・ワークショップ (SWoPP2019))
5. 2018 JVM上の動的言語のための抽象解釈(情報処理学会第121回プログラミング研究会)
全件表示(68件)
■ 著書・論文歴
1. 論文  Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs (共著) 2018
2. 論文  規則違反コードの構造を反映した木パタンを用いるコード検査器 (共著) 2016
3. 論文  Design and Implementation of a Java Bytecode Manipulation Library for Clojure (共著) 2015
4. 論文  L-Closureの呼び出しコストの削減 (共著) 2013
5. 論文  Safeアンビエントに基づく分散アプリケーション開発用Lisp環境 (共著) 2013
全件表示(18件)
■ 職歴
1. 2010/04~2013/03 立命館大学 理工学研究科 非常勤講師
2. 2007/04~2019/03 京都大学 大学院情報学研究科 助教
3. 2005/03~2007/03 京都大学 大学院情報学研究科 助手
4. 2004/04~2005/02 京都大学 情報学研究科 産学官連携研究員
■ 所属学会
1. 2001~ ACM
2. 2001~ 情報処理学会
3. 2014~2018/03 ∟ プログラミング研究会運営委員
4. 2015 ∟ 第56回プログラミング・シンポジウム座長
5. 2015 ∟ 第77回全国大会座長
全件表示(22件)
■ 社会における活動
1. 2019 2019年並列/分散/協調処理に関する『北見』サマー・ワークショップ (SWoPP2019)
2. 2018 並列/分散/協調処理に関する『熊本』サマー・ワークショップ(SWoPP2018)
3. 2017 並列/分散/協調処理に関する『秋田』サマー・ワークショップ(SWoPP2017)
4. 2016 並列/分散/協調処理に関する『松本』サマー・ワークショップ(SWoPP2016)
5. 2015 並列/分散/協調処理に関する『別府』サマー・ワークショップ(SWoPP2015)
■ 研究課題・受託研究・科研費
1. 2017/04~2021/03  現代的なプログラミング言語のための漸進的型システムの理論 基盤研究(B) 
2. 2016/04~2019/03  柔軟かつ利便性の高いアクセス制御機能を備えたプログラミング言語 基盤研究(C) 
3. 2013/04~2017/03  ソフトウェア契約に基づく高階型付プログラムの理論 基盤研究(B) 
4. 2012/04~2015/03  アンビエント計算に基づく実用的かつ信頼性の高い分散プログラム開発環境 若手研究(B) 
5. 2009/04~2012/03  高級な通信・移動機能を備えた実用的アンビエント計算言語 若手研究(B) 
全件表示(7件)
■ 委員会・協会等
1. 2017~ 日本学術振興会 科学研究費委員会 審査委員
■ メールアドレス
  kyoin_mail
■ 受賞学術賞
1. 2017/12 日本ソフトウェア科学会 第15回ディペンダブルシステムワークショップ(DSW2017)最優秀発表賞
2. 2015/01 情報処理学会 山内奨励賞
■ 現在の専門分野
情報学・ソフトウェア (キーワード:プログラミング言語、言語処理系)