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

高阶语言几乎普遍性问题的可判定性分析

基本信息

  • 批准号：
    19K14582
  • 负责人：
    Ryoma Sin'ya
  • 金额：
    $ 1.75万
  • 依托单位：
    Akita University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
  • 财政年份：
    2019
  • 资助国家：
    日本
  • 起止时间：
    2019-04-01 至 2023-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（22）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
正則可測性：正則言語による極限的な近似可能性
正则可测性：与正则语言的极度近似性
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Mamoru Okamoto;Kota Uriya;小西幹人，犬伏正信，後藤晋;宮崎隼人;Takashi Kagaya;新屋良磨
  • 通讯作者：
    新屋良磨
Automata with Three Types of Constraints
具有三种约束的自动机
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Sugasawa Shonosuke;Morikawa Kosuke;Takahata Keisuke;Takashi Kagaya;新屋良磨
  • 通讯作者：
    新屋良磨
Context-Freeness of Word-MIX Languages
  • DOI：
    10.1007/978-3-030-48516-0_23
  • 发表时间：
    2020-05-26
  • 期刊：
    Developments in Language Theory
  • 影响因子：
    0
  • 作者：
    Sin’Ya R
  • 通讯作者：
    Sin’Ya R
算術で強化したオートマトンと言語の有理性・代数性
自动机通过算术和语言的理性/代数性得到增强
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Sugasawa;S.;Morikawa;K. and Takahata;K.;犬伏正信，後藤晋;Takashi Kagaya;新屋良磨
  • 通讯作者：
    新屋良磨
Measure theoretic approach to formal language theory
形式语言理论的测度理论方法
  • DOI：
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Taishi Kurahashi and Yuya Okawa;可香谷隆;Ryoma Sin'ya
  • 通讯作者：
    Ryoma Sin'ya
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Ryoma Sin'ya其他文献

On the Number of p4-tilings by an N-omino
关于 N-omino 的 p4-平铺数量
  • DOI：
    10.1142/s0218195919400016
  • 发表时间：
    2019
  • 期刊：
    International Journal of Computational Geometry and Applications (IJCGA)
  • 影响因子：
    0
  • 作者：
    Yoshiki Nakamura;Kazuyuki Asada;Naoki Kobayashi;Ryoma Sin'ya;Takeshi Tsukada;金澤慶明，西田直樹，酒井正彦;Kazuyuki Amano and Yoshinobu Haruyama
  • 通讯作者：
    Kazuyuki Amano and Yoshinobu Haruyama
ハイパーグラフ上の熱とそのネットワーク解析への応用
超图热度及其在网络分析中的应用
  • DOI：
  • 发表时间：
    2021
  • 期刊：
    日本応用数理学論文誌
  • 影响因子：
    0
  • 作者：
    森川耕輔;Jae Kwang Kim;可香谷隆;松本直己;Ryoma Sin'ya;Masanobu Inubushi and Susumu Goto;新屋良磨;Sohei Iwata and Taishi Kurahashi;池田 正弘
  • 通讯作者：
    池田 正弘
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
几乎每个简单键入的 Lambda 项都有一个长 Beta 约简序列
  • DOI：
    10.23638/lmcs-15(1:16)2019
  • 发表时间：
    2018
  • 期刊：
    Log. Methods Comput. Sci.
  • 影响因子：
    0
  • 作者：
    Kazuyuki Asada;N. Kobayashi;Ryoma Sin'ya;Takeshi Tsukada
  • 通讯作者：
    Takeshi Tsukada
Linear Pseudo-Polynomial Factor Algorithm for Automaton Constrained Tree Knapsack Problem
自动机约束树背包问题的线性伪多项式因子算法
  • DOI：
    10.1007/978-3-030-10564-8_20
  • 发表时间：
    2018
  • 期刊：
    ArXiv
  • 影响因子：
    0
  • 作者：
    Soh Kumabe;Takanori Maehara;Ryoma Sin'ya
  • 通讯作者：
    Ryoma Sin'ya
Graph spectral properties of deterministic finite automata
确定性有限自动机的图谱特性
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Minami A;Murai T;Nakanishi A;Kitagishi Y;Ichimura M;Matsuda S.;新屋良磨;新屋良磨;Ryoma Sin'ya;Ryoma Sin'ya
  • 通讯作者：
    Ryoma Sin'ya

Ryoma Sin'ya的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

相似海外基金

Integrability of nonlinear partial difference and functional equations: a singularity and entropy based approach
非线性偏差和函数方程的可积性：基于奇点和熵的方法
  • 批准号：
    22H01130
  • 财政年份：
    2022
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
セル・オートマトンが生成するフラクタルの分布関数による分類
使用分布函数对元胞自动机生成的分形进行分类
  • 批准号：
    22K03435
  • 财政年份：
    2022
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
振る舞い仕様の効率的な実現可能性判定のための分割検証法
高效确定行为规范可行性的分割验证方法
  • 批准号：
    22K11980
  • 财政年份：
    2022
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
使用自动机技术对物理信息系统进行轻量级形式验证的定量开发
  • 批准号：
    22K17873
  • 财政年份：
    2022
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
ポジティブ関係計算とポジティブ存在論理の相互的研究
正关系计算与正存在逻辑的相互学习
  • 批准号：
    21K13828
  • 财政年份：
    2021
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Network of automata with data based on compositional active learning
基于组合主动学习的数据自动机网络
  • 批准号：
    21H03415
  • 财政年份：
    2021
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
自然語解析と反例解析を活用したソフトウェア開発
使用自然语言分析和反例分析进行软件开发
  • 批准号：
    21K11826
  • 财政年份：
    2021
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Study of special blocks of spin symmetric groups for irreducible representations and derived equivalences
研究不可约表示和导出等价的自旋对称群的特殊块
  • 批准号：
    20K03506
  • 财政年份：
    2020
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
On Trust Representation and Verification Methods for Messages in SNSs
SNS中消息的信任表示与验证方法
  • 批准号：
    20K11822
  • 财政年份：
    2020
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Secure and efficient substring searchable symmetric encryption using advanced data structure
使用先进数据结构的安全高效的子串可搜索对称加密
  • 批准号：
    20K11808
  • 财政年份：
    2020
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了