茨城大学
全学教育機構
共通教育部門

准教授

佐藤 伸也

サトウ シンヤ
Shinya Sato

その他の所属・職名

  1. IT基盤センター 教育IT化推進部門 部門長

経歴

  1. 姫路獨協大学 経済情報学部 専任講師 2002/04/01-2004/03/31
  2. 姫路獨協大学 経済情報学部 助教授 2004/04/01-2007/03/31
  3. 姫路獨協大学大学院 経済情報研究科 助教授 2005/04/01-2007/03/31
  4. ロンドン大学キングスカレッジ コンピュータサイエンス学部 客員研究員 2006/09/01-2007/08/31
  5. 姫路獨協大学 経済情報学部 准教授(法改正による職名変更) 2007/04/01-2012/03/31
  6. 姫路獨協大学大学院 経済情報研究科 准教授(法改正による職名変更) 2007/04/01-2012/03/31
  7. サセックス大学 エンジニアリング・インフォマティクス研究科、インフォマティクス専攻 准チューター 2014/02/01-2014/04/30
  8. 茨城大学 大学教育センター 准教授 2015/09/01-2017/03/31
  9. 茨城大学 全学教育機構 准教授 2017/04/01-現在

学歴

  1. 東京理科大学 理工学部 情報科学科 1996/03/31 卒業
  2. 東京理科大学 理工学研究科 情報科学専攻 修士 1998/03/31 修了
  3. 東京理科大学 理工学研究科 情報科学専攻 博士 2002/03/31 単位取得満期退学
  4. サセックス大学 エンジニアリング・インフォマティクス研究科 インフォマティクス専攻 博士 2015/05/18 修了

学位

  1. DOCTOR of PHILOSOPHY サセックス大学 2015/05/18

研究分野

  1. 情報学基礎理論
  2. 計算機システム
  3. ソフトウェア

研究キーワード

  1. インタラクションネット
  2. プログラミング言語
  3. 形式手法
  4. 項(グラフ)書き換え系

論文

  1. 研究論文(国際会議プロシーディングス) 共著 In-place Graph Rewriting with Interaction Nets Ian Mackie and Shinya Sato Electronic Proceedings in Theoretical Computer Science (EPTCS) Open Publishing Association 225, 15-24 2016/09 10.4204/EPTCS.225.4
  2. 研究論文(学術雑誌) 共著 Parallel Evaluation of Interaction Nets: Case Studies and Experiments Ian Mackie and Shinya Sato Electronic Communications of the EASST 73 2016/04 10.14279/tuj.eceasst.73.1034
  3. 研究論文(国際会議プロシーディングス) 共著 An Interaction Net Encoding of Gödel's System T - Declarative Pearl Ian Mackie and Shinya Sato Functional and Logic Programming - 13th International Symposium (FLOPS 2016), Lecture Notes in Computer Science Springer 9613, 80-93 2016/02 10.1007/978-3-319-29604-3_6
  4. 研究論文(国際会議プロシーディングス) 共著 Parallel Evaluation of Interaction Nets: Some Observations and Examples (Work-in-progress) Ian Mackie and Shinya Sato CEUR Workshop Proceedings 1403, 50-65 2015/07 1617-0073
  5. 研究論文(国際会議プロシーディングス) 共著 An implementation model for interaction nets Abubakar Hassan, Ian Mackie and Shinya Sato Electronic Proceedings in Theoretical Computer Science (EPTCS) Open Publishing Association 183, 66-80 2015/05 10.4204/EPTCS.183.5

研究発表

  1. 口頭発表(一般) In-place Graph Rewriting with Interaction Nets TERMGRAPH 2016 - Computing with Terms and Graphs - 9th International Workshop 2016/04
  2. 口頭発表(一般) An Interaction Net Encoding of Gödel's System T - Declarative Pearl Functional and Logic Programming - 13th International Symposium (FLOPS 2016) 2016/03
  3. 口頭発表(一般) Parallel Evaluation of Interaction Nets: Some Observations and Examples (Work-in-progress) Sixth International Workshop on Graph Computation Models (GCM 2015) 2015/07
  4. 口頭発表(一般) An interaction net encoding of Gödel's System T 5th International Workshop on Graph Computation Models 2014/07
  5. 口頭発表(一般) A low-level language for interaction nets STAFF 2014 DOCTORAL SYMPOSIUM (DOCSYMP) 2014/07

担当授業科目

  1. 情報リテラシー
  2. 計算機科学への招待

所属学協会

  1. Association for Computing Machinery