Rchr
J-GLOBAL ID：200901031822671277   Update date: Apr. 12, 2024

Sato Shinya

サトウ シンヤ | Sato Shinya
Affiliation and department：
Hakuoh University Faculty of Business Administration

About Hakuoh University Faculty of Business Administration


Job title： Associate Professor
Homepage URL  (1)： https://satolab.com/
Research field  (3)： Software ,  Computer systems ,  Information theory
Research keywords  (4)： Interaction Nets ,  Programming Languages ,  Formal Methods ,  Term (Graph) Rewriting System
Papers (25)：
ｍore...
Books (1)：
  • PC-9801 プログラマーズ Bible - 98 を 98%使う本
    技術評論社 1994 ISBN:9784874086155
Lectures and oral presentations  (30)：
  • FLIN: A Functional Language for Interaction Nets
    (IFL 2023, The 35th Symposium on Implementation and Application of Functional Languages 2023)
  • Graph Edit Distance for Interaction Net Rewrite Rules
    (GCM 23: 14th International Workshop on Graph Computation Models 2023)
  • Conditional Nested Pattern Matching in Interaction Nets
    (13th International Workshop on Developments in Computational Models (DCM 2023) 2023)
  • オープンデータを活用した学習分析研究者のためのディープラーニングセミナー:学習分析学会における取り組み
    (第44回 教育システム情報学会 全国大会 2019)
  • In-place Graph Rewriting with Interaction Nets
    (9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016) 2016)
ｍore...
Education (4)：
  • 2013 - 2015 University of Sussex School of Engineering and Informatics Department of Informatics
  • 1998 - 2002 Tokyo University of Science Graduate School of Science and Technology Department of Information Science
  • 1996 - 1998 Tokyo University of Science Graduate School of Science and Technology Department of Information Science
  • 1992 - 1996 Tokyo University of Science Faculty of Science and Technology Department of Information Science
Professional career (1)：
  • DOCTOR of PHILOSOPHY (University of Sussex)
Work history (11)：
  • 2024/04 - 現在 Hakuoh University Faculty of Business Administration Associate Professor
  • 2023/08 - 現在 University of Sussex Department of Informatics Visiting Lecturer
  • 2017/04 - 2023/03 Ibaraki University Institute for Liberal Arts Education Associate Professor
  • 2015/09 - 2017/03 Ibaraki University Center of University Education Associate Professor
  • 2014/02 - 2014/04 University of Sussex Department of Informatics, School of Engineering and Informatics Associate Tutor
Show all
Association Membership(s) (1)：
Association for Computing Machinery
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM