関数型プログラムで発生する使用済みリストセルの静的検出方法に関する研究

函数式程序中使用的列表单元的静态检测方法研究

基本信息

  • 批准号:
    01750337
  • 负责人:
  • 金额:
    $ 0.58万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 财政年份:
    1989
  • 资助国家:
    日本
  • 起止时间:
    1989 至 无数据
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(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:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    嶋利 一真;石尾 隆;井上 克郎
  • 通讯作者:
    井上 克郎
2標本問題における2-step単調欠測データの下での平均ベクトルに対する新たな検定統計量
2 样本问题中 2 步单调缺失数据下均值向量的新检验统计量
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    瀬村 雄一;吉田 則裕;崔 恩瀞;井上 克郎;八木文香,小野沢瑞季,瀬尾隆
  • 通讯作者:
    八木文香,小野沢瑞季,瀬尾隆
データ駆動型研究のためのモデリング・アルゴリズム・数理
数据驱动研究的建模、算法和数学
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    栗原 拓己;嶋利 一真;神田 哲也;井上 克郎;西村 滋幸,本田 澄,山下 育男;松田 孟留
  • 通讯作者:
    松田 孟留
ソフトウェア開発PBLにおける正確な根拠に基づいた振り返りのためのプロジェクトロギングにおけるエラー検出支援
基于软件开发 PBL 中的准确证据,支持项目日志中的错误检测以供审查
  • DOI:
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    眞鍋 雄貴,井垣 宏;福安 直樹;佐伯 幸郎;楠本 真二;井上 克郎
  • 通讯作者:
    井上 克郎
履歴データに対する匿名化モデルk-concealmentの改良手法の提案
历史数据匿名化模型k隐藏改进方法的提出
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    服部 文志;松下 誠;井上 克郎;伊藤 聡志,菊池 浩明
  • 通讯作者:
    伊藤 聡志,菊池 浩明

井上 克郎的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('井上 克郎', 18)}}的其他基金

SPDXを活用したソフトウェアエコシステム分析基盤の開発
使用SPDX开发软件生态系统分析平台
  • 批准号:
    23K28065
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Develping Infrastructure for Software Ecosystem Analysis Using SPDX
使用 SPDX 开发软件生态系统分析基础设施
  • 批准号:
    23H03375
  • 财政年份:
    2023
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
メガ・ソフトウェア工学の研究
大型软件工程研究
  • 批准号:
    18650006
  • 财政年份:
    2006
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
既存ソフトウェアの適応と発展のためのプログラム変更支援システムの研究
适应和开发现有软件的程序变更支持系统研究
  • 批准号:
    10139223
  • 财政年份:
    1998
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas (A)
既存ソフトウエアの適応と発展のためのプログラム解析・構成システムの研究
适应和开发现有软件的程序分析和配置系统研究
  • 批准号:
    09245218
  • 财政年份:
    1997
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
ソフトウェア開発プロセス記述用言語の設計とその処理系の作成に関する研究
描述软件开发过程的语言设计及其处理系统的创建研究
  • 批准号:
    02750278
  • 财政年份:
    1990
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似国自然基金

基于FRET受体上升时间的单分子高精度测量方法研究
  • 批准号:
    22304184
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
土壤高氮累积区非饱和-饱和界面氮迁移转化及其对地下水硝酸盐演变的作用机制
  • 批准号:
    42377080
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
脂质多聚复合物mRNA纳米疫苗的构筑及抗肿瘤治疗研究
  • 批准号:
    52373161
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
屏障突破型原位线粒体基因递送系统用于治疗Leber遗传性视神经病变的研究
  • 批准号:
    82304416
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
细胞硬度介导口腔鳞癌细胞与CD8+T细胞间力学对话调控免疫杀伤的机制研究
  • 批准号:
    82373255
  • 批准年份:
    2023
  • 资助金额:
    48 万元
  • 项目类别:
    面上项目

相似海外基金

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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了