ポインタとレコードを持つプログラムに関する論理の研究
研究带有指针和记录的程序逻辑
基本信息
- 批准号:X00210----479031
- 负责人:
- 金额:$ 0.51万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份:1979
- 资助国家:日本
- 起止时间:1979 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(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:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
村上 武史;大森 洋一;荒木 啓二郎 - 通讯作者:
荒木 啓二郎
IT 分野における産学連携による実践型教育と課題
IT领域产学合作的实践教育和挑战
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Cole;M. A.;Elliott;R. J. R.;and Okubo;T.;桧垣浩之;立木智也,高橋大輔,河野公俊,白濱圭也;荒木 啓二郎 - 通讯作者:
荒木 啓二郎
UMLのクラフ図とステートマシン図かVDM++モテル生成の試み
尝试生成UML图和状态机图或VDM++模型
- DOI:
- 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
田端 一也;篠原 利幸;大森 洋一;日下部 茂;荒木 啓二郎 - 通讯作者:
荒木 啓二郎
はじめての STAMP/STPA ~ システム思考に基づく新しい安全解析手法 ~
首创STAMP/STPA~基于系统思维的新安全分析方法~
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
日下部 茂;荒木 啓二郎;他 - 通讯作者:
他
光誘起構造相転移の初期過程と自発的並進対称性破綻の実時間量子動力学
光致结构相变和自发平移对称性破缺初始过程的实时量子动力学
- DOI:
- 发表时间:
2012 - 期刊:
- 影响因子:0
- 作者:
西岡 貴史;大森 洋一;荒木 啓二郎;S. Ulmer;Alfred Q. R. Baron;那須奎一郎 - 通讯作者:
那須奎一郎
荒木 啓二郎的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('荒木 啓二郎', 18)}}的其他基金
高品質ソフトウェア開発における適用性の高いアーキテクチャ指向形式手法の提案
提出一种高度适用的面向架构的形式化方法,用于高质量软件开发
- 批准号:
24240002 - 财政年份:2012
- 资助金额:
$ 0.51万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
データ抽象化に基づく超並列システムの記述と処理方式に関する研究
基于数据抽象的大规模并行系统描述与处理方法研究
- 批准号:
05219210 - 财政年份:1993
- 资助金额:
$ 0.51万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
データ抽象化に基づく超並列処理シテスムの記述と処理方式に関する研究
基于数据抽象的大规模并行处理系统描述与处理方法研究
- 批准号:
04235208 - 财政年份:1992
- 资助金额:
$ 0.51万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
基于流并行执行模型的并行运行程序形式化开发方法
- 批准号:
04452196 - 财政年份:1992
- 资助金额:
$ 0.51万 - 项目类别:
Grant-in-Aid for General Scientific Research (B)
プログラム開発過程におけるモデル化支援システムの構築に関する研究
程序开发过程建模支持系统构建研究
- 批准号:
63780044 - 财政年份:1988
- 资助金额:
$ 0.51万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
プログラム開発過程におけるモデル化支援機構に関する研究
程序开发过程建模支持机制研究
- 批准号:
62780043 - 财政年份:1987
- 资助金额:
$ 0.51万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
計算機ネットワークプロトコルの形式的記述と検証に関する研究
计算机网络协议的形式化描述与验证研究
- 批准号:
57750308 - 财政年份:1982
- 资助金额:
$ 0.51万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似国自然基金
时空分辨核酸生物传感在亚细胞水平光电双模态精准测量
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
水凝胶改性陶瓷人工关节牢固结合界面的构筑与减磨润滑机理研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
锆酸铅基反铁电体畴动力学及其调控机理研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
USP7维持FADS2蛋白质稳态调控线粒体重编程驱动三阴性乳腺癌的转移
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
载铁生物炭对土壤镉污染的吸附固定及微生物协同作用机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
SREBP转录因子BbSre1负调控球孢白僵菌抗真菌物质产生的机制研究
- 批准号:
- 批准年份: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
- 资助金额:
$ 0.51万 - 项目类别:
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号:
2896097 - 财政年份:2027
- 资助金额:
$ 0.51万 - 项目类别:
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号:
2780268 - 财政年份:2027
- 资助金额:
$ 0.51万 - 项目类别:
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号:
2908918 - 财政年份:2027
- 资助金额:
$ 0.51万 - 项目类别:
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
- 批准号:
2908693 - 财政年份:2027
- 资助金额:
$ 0.51万 - 项目类别:
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号:
2908917 - 财政年份:2027
- 资助金额:
$ 0.51万 - 项目类别:
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号:
2879438 - 财政年份:2027
- 资助金额:
$ 0.51万 - 项目类别:
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
- 资助金额:
$ 0.51万 - 项目类别:
Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
- 批准号:
2879865 - 财政年份:2027
- 资助金额:
$ 0.51万 - 项目类别:
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号:
2876993 - 财政年份:2027
- 资助金额:
$ 0.51万 - 项目类别:
Studentship