Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional Programs

Haskell 核心语义——迈向高级功能程序验证的基础

基本信息

批准号：
25540002
负责人：
Makoto Hamana
金额：
$ 2.41万
依托单位：
Gunma University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2013
资助国家：
日本
起止时间：
2013-04-01 至 2016-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（23）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

モナド、代数理論と計算効果

单子、代数理论和计算效应

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Shin-ya Katsumata;Tetsuya Sato;伊関友伸;Shin-ya Katsumata;M. Fiore and M. Hamana;伊関友伸;浜名誠;伊関　友伸;Hiroaki Anada;白川　展之;浜名誠;Jian Weng;Makoto Hamana;白川　展之;Jian Weng;白川　展之;Makoto Hamana;白川　展之;Jian Weng;白川　展之;Makoto Hamana;Hiroaki Anada;Nobuyuki Shirakawa;櫻井幸一;Shin-ya Katsumata;穴田啓晃;Nobuyuki Shirakawa;穴田啓晃;勝股審也
通讯作者：
勝股審也

Parametric Effect Monads and Semantics of Effect Systems

DOI：
10.1145/2535838.2535846
发表时间：
2014-01-01
期刊：
ACM SIGPLAN NOTICES
影响因子：
0
作者：
Katsumata, Shin-ya
通讯作者：
Katsumata, Shin-ya

研究会

学习小组

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

Codensity Liftings of Monads

单子的密度提升

DOI：
10.4230/lipics.calco.2015.156
发表时间：
2015
期刊：
Algebra and Coalgebra in Computer Science (CALCO 2015)
影响因子：
0
作者：
Shin-ya Katsumata;Tetsuya Sato
通讯作者：
Tetsuya Sato

Polymorphic Algebraic Theories and Logical Predicates

多态代数理论和逻辑谓词

DOI：
发表时间：
期刊：
影响因子：
0
作者：
白川　展之;　林　和弘;Shin-ya Katsumata;白川展之;伊関友伸;Makoto Hamana;玉村雅敏;Makoto Hamana
通讯作者：
Makoto Hamana

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

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Makoto Hamana其他文献

光学リモートセンシングを用いた葉形質の推定

利用光学遥感估计叶片性状

DOI：
发表时间：
2013
期刊：
影响因子：
0
作者：
平井啓久;平井百合子;Makoto Hamana;Ito A.;中路達郎
通讯作者：
中路達郎

Attack on a public key trace and revoke scheme of a broadcast encryption

广播加密的公钥追踪和撤销方案的攻击

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Shin-ya Katsumata;Tetsuya Sato;伊関友伸;Shin-ya Katsumata;M. Fiore and M. Hamana;伊関友伸;浜名誠;伊関　友伸;Hiroaki Anada;白川　展之;浜名誠;Jian Weng;Makoto Hamana;白川　展之;Jian Weng
通讯作者：
Jian Weng

Technology Foresight in Japan: Past, Present and Future

日本的技术展望：过去、现在和未来

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Shin-ya Katsumata;Tetsuya Sato;伊関友伸;Shin-ya Katsumata;M. Fiore and M. Hamana;伊関友伸;浜名誠;伊関　友伸;Hiroaki Anada;白川　展之;浜名誠;Jian Weng;Makoto Hamana;白川　展之;Jian Weng;白川　展之;Makoto Hamana;白川　展之;Jian Weng;白川　展之;Makoto Hamana;Hiroaki Anada;Nobuyuki Shirakawa;櫻井幸一;Shin-ya Katsumata;穴田啓晃;Nobuyuki Shirakawa
通讯作者：
Nobuyuki Shirakawa

マルチハザート社会における未来洞察－リスクアセスメントと戦略計画のための予測手法－

多灾种社会的未来洞察 - 风险评估和战略规划的预测方法 -

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Shin-ya Katsumata;Tetsuya Sato;伊関友伸;Shin-ya Katsumata;M. Fiore and M. Hamana;伊関友伸;浜名誠;伊関　友伸;Hiroaki Anada;白川　展之;浜名誠;Jian Weng;Makoto Hamana;白川　展之;Jian Weng;白川　展之;Makoto Hamana;白川　展之;Jian Weng;白川　展之
通讯作者：
白川　展之

Tenomodulin Is Expressed During Tooth Eruption And Enhances Cellular Adhesion.

替诺调节蛋白在牙齿萌出期间表达并增强细胞粘附。

DOI：
发表时间：
2012
期刊：
影响因子：
0
作者：
H.Kawashima;Y.Tanaka;S.Imahori;M.Yagiura;Makoto Hamana;Makoto Hamana;裏口真也,江草宏,萱島浩輝,福安翔,王放放,矢谷博文;Komiyama Y
通讯作者：
Komiyama Y