研究者
J-GLOBAL ID:200901024724061880   更新日: 2022年09月09日

馬谷 誠二

Seiji Umatani
所属機関・部署:
職名: 准教授
研究分野 (1件): ソフトウェア
研究キーワード (4件): Language Processors ,  Programming Language ,  言語処理系 ,  プログラミング言語
競争的資金等の研究課題 (7件):
  • 2017 - 2021 現代的なプログラミング言語のための漸進的型システムの理論
  • 2016 - 2019 柔軟かつ利便性の高いアクセス制御機能を備えたプログラミング言語
  • 2013 - 2017 ソフトウェア契約に基づく高階型付プログラムの理論
  • 2012 - 2015 アンビエント計算に基づく実用的かつ信頼性の高い分散プログラム開発環境
  • 2009 - 2012 高級な通信・移動機能を備えた実用的アンビエント計算言語
全件表示
論文 (18件):
講演・口頭発表等 (68件):
  • 汎用送受信に対応したHOPEコンパイラの研究
    (2019年並列/分散/協調処理に関する『北見』サマー・ワークショップ (SWoPP2019) 2019)
  • ワーカの重要度を考慮した並列実行フレームワークの障害耐性評価手法の検討
    (2019年並列/分散/協調処理に関する『北見』サマー・ワークショップ (SWoPP2019) 2019)
  • JVM上の動的言語のための抽象解釈の実装
    (第60回プログラミング・シンポジウム 2019)
  • HOPE: A Parallel Execution Model Based on Hierarchical Omission
    (48th International Conference on Parallel Processing (ICPP 2019) 2019)
  • 並列分散フレームワークの耐障害性評価のための通信障害模擬機能
    (第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018) 2018)
もっと見る
経歴 (4件):
  • 2007/04 - 2019/03 京都大学 大学院情報学研究科 助教
  • 2010/04 - 2013/03 立命館大学 理工学研究科 非常勤講師
  • 2005/03 - 2007/03 京都大学 大学院情報学研究科 助手
  • 2004/04 - 2005/02 京都大学 情報学研究科 産学官連携研究員
委員歴 (20件):
  • 2019 - 現在 日本ソフトウェア科学会 理事
  • 2017 - 現在 日本学術振興会 科学研究費委員会 審査委員
  • 2017 - 現在 日本ソフトウェア科学会 代表会員
  • 2016 - 現在 情報処理学会 プログラミング研究会編集委員
  • 2015 - 現在 情報処理学会 プログラミング・シンポジウム幹事
全件表示
受賞 (2件):
  • 2017/12 - 日本ソフトウェア科学会 日本ソフトウェア科学会 第15回ディペンダブルシステムワークショップ(DSW2017)最優秀発表賞
  • 2015/01 - 情報処理学会 情報処理学会 山内奨励賞
所属学会 (3件):
日本ソフトウェア科学会 ,  情報処理学会 ,  ACM
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る