刷新
{{item.name}}会员
版情報を取り込んだプログラミング言語の研究
包含版本信息的编程语言的研究
基本信息
- 批准号：19K11898
- 负责人：
- 金额：$ 2.75万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2019
- 资助国家：日本
- 起止时间：2019-04-01 至 2022-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 }}
青谷 知幸其他文献
Towards Automatic Decoration
走向自动化装饰
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
田辺 裕大;青谷 知幸;増原 英彦;Tomoyuki Aotani and Tetsuo Kamina - 通讯作者：
Tomoyuki Aotani and Tetsuo Kamina
ContextWorkflow: 中断と償いのためのDSL
ContextWorkflow：用于中断和补救的 DSL
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
井上 裕昭;青谷 知幸;五十嵐 淳 - 通讯作者：
五十嵐 淳
証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究
使用证明支持器Coq研究基于编程语言操作语义的类型安全的可扩展形式化
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
奥河 諒;青谷 知幸;増原 英彦 - 通讯作者：
増原 英彦
イベントとシグナルを統合したJavaの軽量な拡張SignalJ
SignalJ，集成事件和信号的 Java 轻量级扩展
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
紙名 哲生;青谷 知幸 - 通讯作者：
青谷 知幸
青谷 知幸的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('青谷 知幸', 18)}}的其他基金
プログラムの動的更新のための多版ワークフロープログラミング言語の設計と実現
程序动态更新的多版本工作流编程语言的设计与实现
- 批准号：
24K14900 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
文脈の変化に応じて離散的に振舞いを変えるソフトウェアのためのプログラミング言語
一种软件编程语言，可以根据上下文的变化离散地改变其行为。
- 批准号：
16K16033 - 财政年份：2016
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
安全性と再利用性の高いアスペクト指向言語の設計と実現方式
高安全性和可重用性的面向方面语言的设计与实现方法
- 批准号：
08J11378 - 财政年份：2008
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for JSPS Fellows
相似海外基金
Identification of spatiotemporal brain activity patterns triggering global state changes in functional brain networks
识别触发功能性大脑网络全局状态变化的时空大脑活动模式
- 批准号：
21K15610 - 财政年份：2021
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Designing Neural Network for Mitigating Catastrophic Forgetting Inspired by Brain Modularity
受大脑模块化启发，设计神经网络以减轻灾难性遗忘
- 批准号：
19K20415 - 财政年份：2019
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
A Practical Study of Friendship Generation Process by Social Network Analysis and Simulation
社交网络分析与模拟友谊生成过程的实践研究
- 批准号：
26730154 - 财政年份：2014
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
A Study on interoperable bidirectional graph transformations
可互操作的双向图变换研究
- 批准号：
26330096 - 财政年份：2014
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A research on the upgrading of China's industrial agglomeration: An interdisciplinary approach of spatial economics and area study
中国产业集聚升级研究：空间经济学与区域研究的跨学科方法
- 批准号：
24330072 - 财政年份：2012
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Arithmetic refinement of mirror symmetry for K3 surfaces
K3 表面镜面对称的算术细化
- 批准号：
24540004 - 财政年份：2012
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A study on programming language mechanisms for easy-to-use safe module compositions
易于使用的安全模块组合的编程语言机制研究
- 批准号：
23700033 - 财政年份：2011
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
日本の伝統的空間構成のデジタルアーカイブ
日本传统空间配置的数字档案
- 批准号：
10F00759 - 财政年份：2010
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Link Mining for Heterogeneous Networks
异构网络的链接挖掘
- 批准号：
22300049 - 财政年份：2010
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
二部グラフ的性質を考慮した複雑ネットワーク成長モデル
考虑二分图属性的复杂网络增长模型
- 批准号：
09J02061 - 财政年份：2009
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for JSPS Fellows