Basic Information 【 display / non-display

SIN'YA Ryoma

写真a

Affiliation

Graduate School of Engineering Science , Department of Mathematical Science and Electrical-Electronic-Computer Engineering , Mathematical Science Course

Title

Specially-appointed Assistant Professor

Date of Birth

1988.11.14

Research Fields, keywords

Formal Language Theory, Automata Theory

Mail Address

E-mail address

Academic Background (Undergraduate Level) 【 display / non-display

  • University of the Ryukyus     The Department of Information Engineering   2011.03  Graduated

Academic Background (Graduate Level) 【 display / non-display

  • Tokyo Institute of Technology    Department of Mathematical and Computing Sciences  Doctor's Degree Program  2016.03  Completed

Degree Earned 【 display / non-display

  • Tokyo Institute of Technology -  Doctor (Science)

History of going abroad to study 【 display / non-display

  • 2015.10
    -
    2016.10

    Télécom ParisTech   Visiting Ph.D. student

Professional Career On-Campus 【 display / non-display

  • 2017.11
    -
     

    Akita University   Graduate School of Engineering Science   Department of Mathematical Science and Electrical-Electronic-Computer Engineering   Mathematical Science Course   Specially-appointed Assistant Professor

External Career 【 display / non-display

  • 2016.04
    -
    2017.10

    The University of Tokyo   Graduate School of Information Science and Technology   Researcher  

 

Articles 【 display / non-display

  • Automata Theory Revised

    Ryoma Sin'ya

    Computer Software   34 ( 3 )   3 - 35   2017.09

  • Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence

    Ryoma Sin’ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada

    Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings   10203   53 - 68   2017.04

  • A New Technique for Proving Non-Regularity based on the Measure of a Language

    Ryoma Sin'ya

    Computer Software   34 ( 1 )   163 - 179   2017.02

Honours, Awards and Prizes 【 display / non-display

  • Yamauchi Award, the 57th Programming Symposium, IPSJ

    2017.01  JAPAN

    Winner: Ryoma Sin'ya