被覆集合帰納法に基づく仕様の検証支援系に関する研究
基于覆盖集归纳的规范验证支持系统研究
基本信息
- 批准号：04750318
- 负责人：
- 金额：$ 0.58万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份：1992
- 资助国家：日本
- 起止时间：1992 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
酒井 正彦其他文献
手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
基于过程化程序到重写系统的软件验证尝试
- DOI：
- 发表时间：
2006 - 期刊：
- 影响因子：0
- 作者：
古市祐樹;西田 直樹;酒井 正彦;草刈 圭一朗;坂部 俊樹 - 通讯作者：
坂部 俊樹
コンテキストアウェアアプリケーション--ポストPC時代の共通問題--
上下文感知应用——后PC时代的常见问题——
- DOI：
- 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
石原 鷹;橋本 健二;関 浩之;酒井 正彦;Fumihiko Ino and Kenichi Hagihara;鵜林尚靖 - 通讯作者：
鵜林尚靖
拡張線形ボトムアップ木変換器の関数性の多項式時間判定
扩展线性自底向上树形变压器功能的多项式时间确定
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
石原 鷹;橋本 健二;関 浩之;酒井 正彦 - 通讯作者：
酒井 正彦
命題論理式の全ての投射モデルを表現するBDDの構成法
如何构造BDD来表达命题逻辑公式的所有投影模型
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
磯貝 孝明;橋本 健二;酒井 正彦 - 通讯作者：
酒井 正彦
GeneSysによるプログラム生成例とIntroduction規則の追加
GeneSys 示例程序生成和添加引入规则
- DOI：
- 发表时间：
2006 - 期刊：
- 影响因子：0
- 作者：
近藤 悟;酒井 正彦;西田 直樹;坂部 俊樹;草刈 圭一朗 - 通讯作者：
草刈 圭一朗
酒井 正彦的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('酒井 正彦', 18)}}的其他基金
形式言語理論に基づく自動採譜
基于形式语言理论的自动转录
- 批准号：
23K20392 - 财政年份：2024
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Automatic transcription based on formal language theory
基于形式语言理论的自动转录
- 批准号：
20H04302 - 财政年份：2020
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
坐薬分割スケールの標準化に関する研究
栓剂划分尺度标准化研究
- 批准号：
16922070 - 财政年份：2004
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Encouragement of Scientists
内視鏡的吸引粘膜切除の臨床応用および適応拡大
内镜下吸引性黏膜切除术的临床应用及适应证的扩大
- 批准号：
07670584 - 财政年份：1995
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
内視鏡的吸引粘膜切除法の開発
内镜吸引粘膜切除术的发展
- 批准号：
06670541 - 财政年份：1994
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
相似国自然基金
离子型稀土渗流-应力-化学耦合作用机理与溶浸开采优化研究
- 批准号：52364012
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
亲环蛋白调控作物与蚜虫互作分子机制的研究
- 批准号：32301770
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于金属-多酚网络衍生多相吸波体的界面调控及电磁响应机制研究
- 批准号：52302362
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
LysR转录因子调控内生芽孢杆菌拮抗禾谷镰刀菌定殖小麦分子机制
- 批准号：32372621
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
TiC-TiB2颗粒喷射成形原位合成及其对M2高速工具钢共晶碳化物形成与演化的影响
- 批准号：52361020
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
相似海外基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号：
2901954 - 财政年份：2028
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号：
2896097 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号：
2780268 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号：
2908918 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
- 批准号：
2908693 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship