形式言語理論に基づく自動採譜

基于形式语言理论的自动转录

基本信息

  • 批准号：
    23K20392
  • 负责人：
    酒井 正彦
  • 金额：
    $ 1.58万
  • 依托单位：
    Nagoya University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 财政年份：
    2024
  • 资助国家：
    日本
  • 起止时间：
    2024-02-28 至 2025-03-31
  • 项目状态：
    未结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

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

{{ 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 }}

酒井 正彦其他文献

手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
基于过程化程序到重写系统的软件验证尝试
コンテキストアウェアアプリケーション--ポストPC時代の共通問題--
上下文感知应用——后PC时代的常见问题——
  • DOI：
  • 发表时间：
    2013
  • 期刊：
    情報処理
  • 影响因子：
    0
  • 作者：
    石原 鷹;橋本 健二;関 浩之;酒井 正彦;Fumihiko Ino and Kenichi Hagihara;鵜林尚靖
  • 通讯作者：
    鵜林尚靖
拡張線形ボトムアップ木変換器の関数性の多項式時間判定
扩展线性自底向上树形变压器功能的多项式时间确定
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    石原 鷹;橋本 健二;関 浩之;酒井 正彦
  • 通讯作者：
    酒井 正彦
命題論理式の全ての投射モデルを表現するBDDの構成法
如何构造BDD来表达命题逻辑公式的所有投影模型
  • DOI：
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    磯貝 孝明;橋本 健二;酒井 正彦
  • 通讯作者：
    酒井 正彦
GeneSysによるプログラム生成例とIntroduction規則の追加
GeneSys 示例程序生成和添加引入规则

酒井 正彦的其他文献

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

{{ truncateString('酒井 正彦', 18)}}的其他基金

Automatic transcription based on formal language theory
基于形式语言理论的自动转录
  • 批准号：
    20H04302
  • 财政年份：
    2020
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
坐薬分割スケールの標準化に関する研究
栓剂划分尺度标准化研究
  • 批准号：
    16922070
  • 财政年份：
    2004
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Grant-in-Aid for Encouragement of Scientists
内視鏡的吸引粘膜切除の臨床応用および適応拡大
内镜下吸引性黏膜切除术的临床应用及适应证的扩大
  • 批准号：
    07670584
  • 财政年份：
    1995
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
内視鏡的吸引粘膜切除法の開発
内镜吸引粘膜切除术的发展
  • 批准号：
    06670541
  • 财政年份：
    1994
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
被覆集合帰納法に基づく仕様の検証支援系に関する研究
基于覆盖集归纳的规范验证支持系统研究
  • 批准号：
    04750318
  • 财政年份：
    1992
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似国自然基金

基于数字艺术与文旅大数据的新质非遗设计研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
产教融合视域下高职教师数智素养评价模型构建
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
物联网技术在智能教室监测监控中的应用研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
基于网络药理学和分子对接的毛黄堇抗炎镇痛机制研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
构建“地面+地下+低空”三维交通体系的探究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
工业传送带智能检测可视化服务平台的设计研究与应用实践
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
基于强化学习与深度学习结合的分类算法动态优化研究与示范应用
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
工业机器人健康评估及预测性故障诊断方法研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
基于深度学习的凸轮轴裂纹检测方法研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
轻质预应力装配式楼板研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目

相似海外基金

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号：
    2901954
  • 财政年份：
    2028
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号：
    2896097
  • 财政年份：
    2027
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号：
    2780268
  • 财政年份：
    2027
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号：
    2908918
  • 财政年份：
    2027
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
  • 批准号：
    2908693
  • 财政年份：
    2027
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号：
    2908917
  • 财政年份：
    2027
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号：
    2879438
  • 财政年份：
    2027
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型，以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号：
    2890513
  • 财政年份：
    2027
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年，预计 2024 年 10 月
  • 批准号：
    2879865
  • 财政年份：
    2027
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号：
    2876993
  • 财政年份：
    2027
  • 资助金额：
    $ 1.58万
  • 项目类别：
    Studentship
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了