|
所属 |
大学院理工学研究科 数理・電気電子情報学専攻 数理科学コース |
|
生年 |
1988年 |
|
メールアドレス |
|
職務経歴（学内） 【 表示 ／ 非表示 】
-
2021年04月-継続中
秋田大学 大学院理工学研究科 数理・電気電子情報学専攻 数理科学コース 助教
-
2017年11月-2021年03月
秋田大学 大学院理工学研究科 数理・電気電子情報学専攻 数理科学コース 特任助教
学会（学術団体）・委員会 【 表示 ／ 非表示 】
-
2022年10月-継続中
日本国
日本数学会
-
2016年04月-継続中
日本国
情報処理学会
-
2016年04月-継続中
日本国
日本ソフトウェア科学会
-
2020年12月-継続中
日本国
Computational Logic and Applications
研究等業績 【 表示 ／ 非表示 】
-
方程式で記述できる言語について
新屋良磨
システム・制御・情報 ( 一般社団法人システム制御情報学会 ) 2025年06月 [査読有り] [招待有り]
研究論文（学術雑誌） 単著
『JST ACT-X の若手研究者が挑む数理・情報・AI 研究』特集号」解説
-
Asymptotic Approximation by Regular Languages
Ryoma Sin'ya
The proceedings of the 47th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'21) ( Springer, Cham ) 12607 74 - 88 2021年01月 [査読有り]
研究論文（学術雑誌） 単著
-
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
Logical Methods in Computer Science 15 ( 1 ) 2019年02月 [査読有り] [招待有り]
研究論文（学術雑誌） 国内共著
It is well known that the length of a beta-reduction sequence of a simply typed lambda-term of order k can be huge; it is as large as k-fold exponential in the size of the lambda-term in the worst case. We consider the following relevant question about quantitative properties, instead of the worst case: how many simply typed lambda-terms have very long reduction sequences? We provide a partial answer to this question, by showing that asymptotically almost every simply typed lambda-term of order k has a reduction sequence as long as (k-1)-fold exponential in the term size, under the assumption that the arity of functions and the number of variables that may occur in every subterm are bounded above by a constant. To prove it, we have extended the infinite monkey theorem for strings to a parametrized one for regular tree languages, which may be of independent interest. The work has been motivated by quantitative analysis of the complexity of higher-order model checking.
-
オートマトン理論再考
新屋良磨
コンピュータソフトウェア ( 日本ソフトウェア科学会 ) 2017年07月 [査読有り] [招待有り]
研究論文（学術雑誌） 単著
-
Measuring Power of Commutative Group Languages
Takao Yuyama, Ryoma Sin'ya
In Proceedings of the 28th International Conference on Implementation and Application of Automata ( Springer ) 15015 347 - 362 2024年09月 [査読有り]
研究論文（国際会議プロシーディングス） 国内共著
-
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
Yoshiki Nakamura, Ryoma Sin'ya
Proceedings of the 16th International Conference on Automata and Formal Languages ( Electronic Proceedings in Theoretical Computer Science ) 2023年09月 [査読有り]
研究論文（国際会議プロシーディングス） 国内共著
-
Measuring Power of Generalised Definite Languages
Ryoma Sin'ya
In Proceedings of the 27th International Conference on Implementation and Application of Automata ( Springer ) 14151 LNCS 278 - 289 2023年08月 [査読有り]
研究論文（国際会議プロシーディングス） 単著
-
Measuring Power of Locally Testable Languages
Ryoma Sin'ya
Proceedings of the 26th International Conference on Developments in Language Theory ( Springer ) 2022年05月 [査読有り]
研究論文（国際会議プロシーディングス） 単著
-
Carathéodory Extensions of Subclasses of Regular Languages
Ryoma Sin'ya
The proceedings of the 25th International Conference on Developments in Language Theory (DLT2021) ( Springer International Publishing ) 2021年08月 [査読有り]
研究論文（国際会議プロシーディングス） 単著
-
形式言語における鳩ノ巣原理の探求 (代数系、論理、言語とその周辺領域)
新屋良磨
数理解析研究所講究録 2018年12月
研究論文（大学，研究機関紀要） 単著
-
正則言語で極限的に近似可能な言語について
新屋良磨
第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) 2021年03月
研究論文（研究会，シンポジウム資料等） 単著
-
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
Nakamura Y.
International Journal of Foundations of Computer Science ( International Journal of Foundations of Computer Science ) 2025年
-
Measuring Power of Commutative Group Languages
Yuyama T.
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics ( Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics ) 15015 LNCS 347 - 362 2024年
-
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
Nakamura Y.
Electronic Proceedings in Theoretical Computer Science Eptcs ( Electronic Proceedings in Theoretical Computer Science Eptcs ) 386 185 - 199 2023年09月
-
Regular languages that can be approximated by testing subword occurrences
Sin'ya R.
Computer Software ( Computer Software ) 40 ( 2 ) 49 - 60 2023年05月
国内共著
<p>言語<I>L</I>が正規可測であるとは，<I>L</I>に「収束」する正規言語の対の無限列が存在することを言う．本論文では，正規言語の代わりに正規言語の部分クラスである区分検査可能(Piecewise Testable (PT): 部分語の出現情報の Bool 演算で記述可能)言語および文字検査可能(Alphabet Testable (AT): 文字の出現情報の Bool 演算で記述可能)言語に焦点を当てその可測性を考察する．特に，正規言語に対するAT可測性はco-<B>NP</B>完全である一方，PT可測性は線形時間で決定できることを示す．</p>
-
部分語の出現情報の検査のみで近似できる正規言語について
新屋 良磨
第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）予稿集 1 2022年 [査読有り]
◆原著論文【 表示 ／ 非表示 】
◆国際会議プロシーディングス【 表示 ／ 非表示 】
◆⼤学，研究機関紀要【 表示 ／ 非表示 】
◆研究会，シンポジウム資料等【 表示 ／ 非表示 】
◆その他【 表示 ／ 非表示 】
学術関係受賞 【 表示 ／ 非表示 】
-
PPL2021発表賞
2021年03月11日 第21回プログラミングおよびプログラミング言語ワークショップ 正則言語で極限的に近似可能な言語について
受賞者： 新屋良磨 -
情報処理学会第 57 回プログラミング・シンポジウム 山内奨励賞
2017年01月 情報処理学会
受賞者： 新屋良磨
科研費（文科省・学振）獲得実績 【 表示 ／ 非表示 】
-
測度論的な概念を用いた形式言語理論への新たなアプローチ
特別推進研究
研究期間: 2021年10月 - 2025年03月
-
正規言語の近似理論の深化と応用
基盤研究(C)
研究期間: 2025年04月 - 継続中
-
実効記述集合論，計算可能解析学およびオートマトン理論
独立行政法人日本学術振興会 二国間交流事業 共同研究
研究期間: 2020年04月 - 2022年03月 代表者: 木原貴行
-
高階な言語の概普遍性判定問題の決定可能性の解析
若手研究
研究期間: 2019年04月 - 2023年03月 代表者: 新屋良磨
高階言語はプログラムの正しさを検証する「モデル検査」と呼ばれる技術を中心に近年注目を集めている言語クラスであるが，未解明な基本的性質が多く残されている重要な研究対象である．
本研究では高階言語に対する概普遍性判定問題と呼ばれる決定問題の決定可能性に着目し研究を進め，高階言語の母関数的・組合せ的性質の解明のへ新たな道を拓くことを目指す.
受託研究受入実績 【 表示 ／ 非表示 】
-
測度論的な概念を用いた形式言語理論への新たなアプローチ
提供機関: 国立研究開発法人 科学技術振興機構 一般受託研究
研究期間：
2021年10月-2024年03月代表者: 新屋良磨
学会等発表 【 表示 ／ 非表示 】
-
Context-Freeness of Word-MIX Languages
Ryoma Sin'ya
Developments in Language Theory 2021 2021年08月 - 2021年08月
-
Caratheodory Extensions of Subclasses of Regular Languages
Ryoma Sin'ya
Developments in Language Theory 2021 2021年08月 - 2021年08月
-
正則言語の局所多様体とそのカラテオドリ拡張
新屋良磨
第38回 記号論理と情報科学 研究集会 2021年08月 - 2021年08月
-
正則言語で極限的に近似可能な言語について
新屋良磨
正則言語で極限的に近似可能な言語について (オンライン開催(zoom)) 2021年03月 - 2021年03月 日本ソフトウェア科学会 プログラミング論研究会
-
Asymptotic Approximation by Regular Languages
Ryoma Sin'ya
Logic, Language, Algebraic system and Related Areas in Computer Science (オンライン開催(zoom)) 2020年02月 - 2020年02月
担当授業科目（学内） 【 表示 ／ 非表示 】
-
2019年12月-継続中
基礎AI学C
-
2019年12月-継続中
基礎AI学B
-
2019年12月-継続中
基礎AI学A
-
2018年04月-継続中
数理科学実験