刷新
{{item.name}}会员
Program verification by refinment type system for call-by-name programs
通过细化类型系统对按名称调用程序进行程序验证
基本信息
- 批准号：18K18030
- 负责人：
- 金额：$ 2.58万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Early-Career Scientists
- 财政年份：2018
- 资助国家：日本
- 起止时间：2018-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（1）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Refinement types for call-by-name programs
按名称调用程序的细化类型
- DOI：
- 发表时间：2023
- 期刊：
- 影响因子：0
- 作者：石野ちあき; 森本尚之; 山田俊行;佐藤 亮介
- 通讯作者：佐藤 亮介
{{
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 }}
Sato Ryosuke其他文献
細胞移植による両側前庭障害治療への試み
尝试通过细胞移植治疗双侧前庭疾病
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Sato Ryosuke;Kumai Takumi;Ishida Yoshiya;Yuasa Ryota;Kubota Akinobu;Wakisaka Risa;Komatsuda Hiroki;Yamaki Hidekiyo;Wada Tetsuji;Harabuchi Yasuaki;田浦晶子 - 通讯作者：
田浦晶子
A method for determining genome editing patterns in T0 generation tree using Oxford Nanopore Technologies sequencing.
一种使用 Oxford Nanopore Technologies 测序确定 T0 代树中基因组编辑模式的方法。
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Sato Ryosuke;Nanasato Yoshihiko;Nagano Soichiro;Fukatsu Eitaro;TAKATA Naoki - 通讯作者：
TAKATA Naoki
Preparation of electro-spun konjac glucomannan fabric with entrapped DNA and dynamics of adsorption of acridine orange for carcinogen removal application
包埋DNA的电纺魔芋葡甘聚糖织物的制备及吖啶橙吸附动力学去除致癌物的应用
- DOI：
10.1007/s10450-022-00357-9 - 发表时间：
2022 - 期刊：
- 影响因子：3.3
- 作者：
Yamaguchi Gaku;Yoshiba Kazuto;Kawada Sara;Sato Ryosuke;Nagai Daisuke;Maki Yasuyuki;Yamamoto Takao;Tanaka Susumu;Chu Benjamin;Dobashi Toshiaki - 通讯作者：
Dobashi Toshiaki
“The Transformed Society of the Kalmyk Emigres in Europe in 1920s-40s”
“20 世纪 20 年代至 40 年代欧洲卡尔梅克移民社会的转型”
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Blum Kfir;Ng Kenny Chun Yu;Sato Ryosuke;Takimoto Masahiro;Takehiko Inoue - 通讯作者：
Takehiko Inoue
【耳鼻咽喉科・頭頸部外科】当院における頭頸部ロボット支援手術の普及と今後
【耳鼻咽喉头颈外科】我院头颈机器人辅助手术的普及与未来
- DOI：
- 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Komatsuda Hiroki;Wakisaka Risa;Kono Michihisa;Kumai Takumi;Hayashi Ryusuke;Yamaki Hidekiyo;Sato Ryosuke;Nagato Toshihiro;Ohkuri Takayuki;Kosaka Akemi;Ohara Kenzo;Takahara Miki;Katada Akihiro;Kobayashi Hiroya;上田勉，樽谷貴之 - 通讯作者：
上田勉，樽谷貴之
Sato Ryosuke的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Sato Ryosuke', 18)}}的其他基金
Integrated Study on de facto transformation of the Charter of the United Nations
关于《联合国宪章》事实上的转变的综合研究
- 批准号：
19K13520 - 财政年份：2019
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for Early-Career Scientists