SIN'YA Ryoma 新屋良磨

… Alternative Names

Ryoma Sin'ya 新屋良磨

Less

Researcher Number	00807026
Other IDs
Affiliation (Current)	2025: 秋田大学, 理工学研究科, 助教
Affiliation (based on the past Project Information) *help	2025: 秋田大学, 理工学研究科, 助教 2021 – 2022: 秋田大学, 理工学研究科, 助教 2019 – 2020: 秋田大学, 理工学研究科, 特任助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Basic Section 12030:Basic mathematics-related
Keywords	Principal Investigator 測度論 / オートマトン / 形式言語 / 正規表現 / 概普遍性判定問題 / 高階言語 / 有限モデル理論 / 制約オートマトン / 概普遍性 / 可測性 … More / 密度 / 文脈自由言語 / 正規言語 / 形式言語理論 / 決定可能性 Less

Research Projects
(2 results)
Research Products
(22 results)

正規言語の近似理論の深化と応用Principal Investigator
- Principal Investigator
  
  新屋良磨
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Akita University
Analysis on the decidability of the almost-universality problem for higher-order languagesPrincipal Investigator
- Principal Investigator
  
  Ryoma Sin'ya
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Akita University

All 2023 2022 2021 2020 2019

All Journal Article Presentation

[Journal Article] 部分語の出現情報の検査のみで近似できる正規言語について2023
- Author(s)
  新屋良磨, 山口勇太郎, 中村誠希
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 40 Pages: 49-60
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K14582
[Journal Article] Measuring Power of?Locally Testable Languages2022
- Author(s)
  Sin’ya Ryoma
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 13257 Pages: 274-285
- DOI
  10.1007/978-3-031-05578-2_22
- ISBN
  9783031055775, 9783031055782
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K14582
[Journal Article] 部分語の出現情報の検査のみで近似できる正規言語について2022
- Author(s)
  新屋良磨, 山口勇太郎, 中村誠希
- Journal Title
  
  第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）予稿集
  
  Volume: 1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K14582
[Journal Article] Asymptotic Approximation by Regular Languages2021
- Author(s)
  Sin’ya Ryoma
- Journal Title
  
  SOFSEM 2021: Theory and Practice of Computer Science
  
  Volume: 1 Pages: 74-88
- DOI
  10.1007/978-3-030-67731-2_6
- ISBN
  9783030677305, 9783030677312
- Data Source
  KAKENHI-PROJECT-19K14582
[Journal Article] Carathodory Extensions of Subclasses of Regular Languages2021
- Author(s)
  Ryoma Sin’ya
- Journal Title
  
  The proceedings of the 25th International Conference on Developments in Language Theory (DLT2021) , LNCS
  
  Volume: 12811 Pages: 355-367
- DOI
  10.1007/978-3-030-81508-0_29
- ISBN
  9783030815073, 9783030815080
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K14582
[Journal Article] Context-Freeness of Word-MIX Languages2020
- Author(s)
  Sin’Ya Ryoma
- Journal Title
  
  DLT2020: Developments in Language Theory
  
  Volume: 1 Pages: 304-318
- DOI
  10.1007/978-3-030-48516-0_23
- ISBN
  9783030485153, 9783030485160
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] Measuring Power of Locally Testable Languages2022
- Author(s)
  Sin'ya Ryoma
- Organizer
  26th International Conference Developments in Language Theory
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] 正規言語族の無限内部階層における分離問題および可測性について2022
- Author(s)
  新屋良磨
- Organizer
  日本数学会 2022 年会
- Invited
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] 部分語の出現情報の検査のみで近似できる正規言語について2022
- Author(s)
  新屋良磨
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] 正則言語で極限的に近似可能な言語について2021
- Author(s)
  新屋良磨
- Organizer
  第23回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] Measure theoretic approach to formal language theory2021
- Author(s)
  Ryoma Sin'ya
- Organizer
  日露二国間交流ワークショップ実効記述集合論，計算可能解析学およびオートマトン理論
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] Carathodory Extensions of Subclasses of Regular Languages2021
- Author(s)
  Ryoma Sin'ya
- Organizer
  Developments in Language Theory
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] Asymptotic Approximation by Regular Languages2021
- Author(s)
  Ryoma Sin'ya
- Organizer
  Logic, Algebraic system, Language and Related Areas in Computer Science
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] Asymptotic Approximation by Regular Languages2021
- Author(s)
  Ryoma Sin'ya
- Organizer
  SOFSEM 2021: Theory and Practice of Computer Science
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] Automata with Three Types of Constraints2020
- Author(s)
  新屋良磨
- Organizer
  情報処理学会プログラミング研究会
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] 正則可測性：正則言語による極限的な近似可能性2020
- Author(s)
  新屋良磨
- Organizer
  代数, 論理, 幾何と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] Asymptotic Approximation by Regular Languages2020
- Author(s)
  Ryoma Sin'ya
- Organizer
  Online Worldwide Seminar on Logic and Semantics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] 算術で強化したオートマトンと言語の有理性・代数性2020
- Author(s)
  新屋良磨
- Organizer
  モデル理論夏の学校
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] A quantitative approach to the primitive words conjecture2020
- Author(s)
  Ryoma Sin'ya
- Organizer
  Computational Logic and Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] 原始語予想 -- a survey2020
- Author(s)
  新屋良磨
- Organizer
  記号論理と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] On the Context-Freeness of Word-MIX languages2020
- Author(s)
  Ryoma Sin'ya
- Organizer
  代数系、論理、言語と計算機科学の周辺II
- Data Source
  KAKENHI-PROJECT-19K14582
[Presentation] Context-Freeness for Word-MIX Languages2019
- Author(s)
  新屋良磨
- Organizer
  情報処理学会プログラミング研究会
- Data Source
  KAKENHI-PROJECT-19K14582

SIN'YA Ryoma 新屋 良磨

Ryoma Sin'ya 新屋 良磨

Research Projects

Research Products

正規言語の近似理論の深化と応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Analysis on the decidability of the almost-universality problem for higher-order languagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] 部分語の出現情報の検査のみで近似できる正規言語について2023

Author(s)

Journal Title

Data Source

[Journal Article] Measuring Power of?Locally Testable Languages2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] 部分語の出現情報の検査のみで近似できる正規言語について2022

Author(s)

Journal Title

Data Source

[Journal Article] Asymptotic Approximation by Regular Languages2021

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Carathodory Extensions of Subclasses of Regular Languages2021

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Context-Freeness of Word-MIX Languages2020

Author(s)

Journal Title

DOI

ISBN

Data Source

[Presentation] Measuring Power of Locally Testable Languages2022

Author(s)

Organizer

Data Source

[Presentation] 正規言語族の無限内部階層における分離問題および可測性について2022

Author(s)

Organizer

Data Source

[Presentation] 部分語の出現情報の検査のみで近似できる正規言語について2022

Author(s)

Organizer

Data Source

[Presentation] 正則言語で極限的に近似可能な言語について2021

Author(s)

Organizer

Data Source

[Presentation] Measure theoretic approach to formal language theory2021

Author(s)

Organizer

Data Source

[Presentation] Carathodory Extensions of Subclasses of Regular Languages2021

Author(s)

Organizer

Data Source

[Presentation] Asymptotic Approximation by Regular Languages2021

Author(s)

Organizer

Data Source

[Presentation] Asymptotic Approximation by Regular Languages2021

Author(s)

Organizer

Data Source

SIN'YA Ryoma 新屋良磨

Ryoma Sin'ya 新屋良磨