計算資源の抽象化を必要としない関数型言語の開発

开发不需要抽象计算资源的函数式语言

基本信息

  • 批准号:
    24K14894
  • 负责人:
  • 金额:
    $ 2.91万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2024
  • 资助国家:
    日本
  • 起止时间:
    2024-04-01 至 2029-03-31
  • 项目状态:
    未结题

项目摘要

项目成果

期刊论文数量(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 }}

上野 雄大其他文献

Progress report: Ruby 3における静的型解析の実現に向けて
进度报告:迈向 Ruby 3 中静态类型分析的实现
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    遠藤 侑介;松本 宗太郎;上野 雄大;住井 英二郎;松本 行弘
  • 通讯作者:
    松本 行弘
SML#とMassiveThreadsの統合による超並列言語の実現
通过集成 SML 和 MassiveThreads 实现大规模并行语言
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    上野 雄大;大堀 淳;田浦 健次朗
  • 通讯作者:
    田浦 健次朗
VGG6機械学習モデル低精度量子化による精度と計算量・パラメータ数削減最適化の検討
VGG6机器学习模型使用低精度量化优化精度并减少计算量和参数数量
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    上野 雄大;大堀 淳;後藤勇祐,席家禎,山内寛行
  • 通讯作者:
    後藤勇祐,席家禎,山内寛行
SML#のSQL統合へのgroup byの導入
将 group by 引入 SML 中的 SQL 集成
  • DOI:
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    斎藤 皓;上野 雄大;森畑 明昌;大堀 淳
  • 通讯作者:
    大堀 淳
SML#の動的型付け機構
SML的动态类型机制
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    大堀 淳;上野 雄大
  • 通讯作者:
    上野 雄大

上野 雄大的其他文献

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

{{ truncateString('上野 雄大', 18)}}的其他基金

マルチコア並列計算に対応した関数型言語処理系の実現
兼容多核并行计算的函数式语言处理系统的实现
  • 批准号:
    19K11893
  • 财政年份:
    2019
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)

相似国自然基金

莱菔硫烷经胆汁酸及其受体调控肠道巨噬细胞极化改善溃疡性结肠炎作用机制研究
  • 批准号:
    MS25H260021
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
FGF21通过CTL1介导的胆碱稳态调控线粒体自噬对帕金森病的保护机制研究
  • 批准号:
    MS25H310003
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
受分数布朗运动驱动的多值随机微分方程动力学行为研究
  • 批准号:
    QN25A010002
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
几类离散概率模型的长时间行为
  • 批准号:
    QN25A010006
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
随机非局部全变差流的适定性及长时间行为
  • 批准号:
    QN25A010014
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
度量测度空间上基于狄氏型和p-energy型的热核理论研究
  • 批准号:
    QN25A010015
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
两类拟线性Schrödinger方程正规化解的存在性与多重性研究
  • 批准号:
    QN25A010018
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
两类高斯过程驱动的混杂自交互扩散的长时间行为研究
  • 批准号:
    QN25A010030
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于深度学习的滤泡性甲状腺癌术前智能诊断模型研究
  • 批准号:
    QN25A010034
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
流场中多尺度Pull型自驱动颗粒聚集行为的研究
  • 批准号:
    QN25A020005
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

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

作者:{{ showInfoDetail.author }}

知道了