新屋良磨 SIN'YA Ryoma

研究者番号	00807026
その他のID
所属 (現在)	2025年度: 秋田大学, 理工学研究科, 助教
所属 (過去の研究課題情報に基づく) *注記	2025年度: 秋田大学, 理工学研究科, 助教 2021年度 – 2022年度: 秋田大学, 理工学研究科, 助教 2019年度 – 2020年度: 秋田大学, 理工学研究科, 特任助教
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連 / 小区分12030:数学基礎関連
キーワード	研究代表者測度論 / オートマトン / 形式言語 / 正規表現 / 概普遍性判定問題 / 高階言語 / 有限モデル理論 / 制約オートマトン / 概普遍性 / 可測性 … もっと見る / 密度 / 文脈自由言語 / 正規言語 / 形式言語理論 / 決定可能性隠す

研究課題
(2件)
研究成果
(22件)

正規言語の近似理論の深化と応用研究代表者
- 研究代表者
  
  新屋良磨
- 研究期間 (年度)
  2025 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  秋田大学
高階な言語の概普遍性判定問題の決定可能性の解析研究代表者
- 研究代表者
  
  新屋良磨
- 研究期間 (年度)
  2019 – 2022
- 研究種目
  
  若手研究
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  秋田大学

すべて 2023 2022 2021 2020 2019

すべて雑誌論文学会発表

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

新屋 良磨 SIN'YA Ryoma

研究課題

研究成果

正規言語の近似理論の深化と応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

高階な言語の概普遍性判定問題の決定可能性の解析研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

著者名/発表者名

雑誌名

データソース

[雑誌論文] Measuring Power of?Locally Testable Languages2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

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

著者名/発表者名

雑誌名

データソース

[雑誌論文] Asymptotic Approximation by Regular Languages2021

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Carathodory Extensions of Subclasses of Regular Languages2021

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Context-Freeness of Word-MIX Languages2020

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[学会発表] Measuring Power of Locally Testable Languages2022

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] Measure theoretic approach to formal language theory2021

著者名/発表者名

学会等名

データソース

[学会発表] Carathodory Extensions of Subclasses of Regular Languages2021

著者名/発表者名

学会等名

データソース

[学会発表] Asymptotic Approximation by Regular Languages2021

著者名/発表者名

学会等名

データソース

[学会発表] Asymptotic Approximation by Regular Languages2021

著者名/発表者名

学会等名

データソース

[学会発表] Automata with Three Types of Constraints2020

新屋良磨 SIN'YA Ryoma