云南高校图书馆联盟文献共享服务平台- MONAD

MONAD: 作品数：41被引量：55H指数：3; 导出分析报告; 相关领域：自动化与计算机技术理学更多>>; 相关作者：袁华强孙永强金成植吕江花袁琦更多>>; 相关机构：上海交通大学吉林大学东莞理工学院湘潭大学更多>>; 相关期刊：《Frontiers of Computer Science》《Algebra Colloquium》《模式识别与人工智能》《Chinese Physics B》更多>>; 相关基金：国家自然科学基金吉林省科委基金中央高校基本科研业务费专项资金中国科学院知识创新工程重要方向项目更多>>

基于Monad的可认证数据结构: 《计算机应用与软件》2022年第4期5-13,59,共10页贺新征光焱祝跃飞; 国家重点研发计划项目(2016YFB0801601)。; 采用一种基于范畴论发展出来的Monad的实现方法,该方法可从编译器中提取操作性语义,然后将其等价转换为指示性语义。由于Monad方法普遍适用于函数式编程语言,使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性。优点是新...; 关键词：可认证数据结构范畴理论类型理论函数式编程程序语言设计

平行哲学与智能科学:从莱布尼茨的Monad到区块链之DAO被引量：18: 《模式识别与人工智能》2020年第12期1055-1065,共11页王飞跃; 英特尔智能网联汽车大学合作研究中心(“ICRI-IACV”)部分资助。; 本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔·波普尔的三个交织世界的现实观,提出面向描述知识、预测知识和引导知识的平行哲学理念,使关于智能的哲学之研究对象从Being...; 关键词：平行智能平行哲学区块链 MONAD DAO Monadao Monadaology

The Braided Monoidal Structure on the Category of Comodules of Bimonads: 《Algebra Colloquium》2019年第4期565-578,共14页Bingliang Shen Xiaoguang Zou Nanqing Ding; Supported by the National Natural Science Foundation of China(No.11601486);Foundation of Zhejiang Educational Commitee(No.Y201738645);Project of Zhejiang College,Shanghai University of Finance and Economics(No.2018YJYB01).; We investigate how the category of comodules of bimonads can be made into a monoidal category.It suffices that the monad and comonad in question are bimonads,with some extra compatibility relation.On a monoidal catego...; 关键词：MONAD COMONAD bimonad braided monoidal category

On generalized symmetries and structure of modular categories: 《Science China Mathematics》2019年第3期417-446,共30页Shawn Xingshan Cui Modjtaba Shokrian Zini Zhenghan Wang; supported by the Simons Foundation;supported by National Science Foundation of USA (Grants Nos. DMS-1411212 and FRG-1664351); Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group...; 关键词：MODULAR CATEGORY CATEGORY symmetry HOPF MONAD tensor FUNCTOR

Using coalgebras and the Giry monad for interpreting game logics a tutorial: 《Frontiers of Computer Science》2017年第6期948-970,共23页Ernst-Erich DOBERKAT; The stochastic interpretation of Parikh＇s game logic should not follow the usual pattern of Kripke models, which in turn are based on the Kleisli morphisms for the Giry monad, rather, a specific and more general appr...; 关键词：COALGEBRAS modal logics MONADS Giry monad upper closed monad composition of monads game logics

How functional programming mattered被引量：2: 《National Science Review》2015年第3期349-370,共22页Zhenjiang Hu John Hughes Meng Wang; In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming maters'. More than two decades have passed. Has functional progr...; 关键词：functional programming functional languages equational reasoning MONAD high order function

Observations on Irreducible Sets and Sober Spaces被引量：1: 《Chinese Quarterly Journal of Mathematics》2014年第4期501-504,共4页CHEN Dong-li ZHANG Yan; Supported by the Natural Science Foundation of Shaanxi Province（2007A12）; Supported by the Scientific Research Foundation of Shaanxi Educational Committee（11JK0507）; This paper, using the monads theory in the topological space, gives a new characterization of irreducible sets in the nonstandard enlarged models. Further, the discretization expression of Sober topological spaces is ...; 关键词：MONAD irreducible set Sober space DISCRETIZATION

带固定参数的Monadic递归被引量：1: 《华南理工大学学报（自然科学版）》2014年第7期33-39,73,共8页苏锦钿余珊珊; 国家自然科学基金资助项目(61103038);华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055); 针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算...; 关键词：递归归纳数据类型初始代数 MONAD 范畴论程序语言

The Habitus Made Me Do It： Bourdieu＇s Key Concept as a Substruction of the Monad: 《Journal of Philosophy Study》2013年第12期1094-1108,共15页Carlos Belvedere; My claim is that Bourdieu＇s concept of habitus is not consistent and its ambiguities conceal an imprecision concerning the subject of social action. Indeed, Bourdieu defines habitus in three different ways： as a cap...; 关键词：HABITUS life-world MONAD substruction

一种基因能遏制乳腺癌转移: 《中国食品学报》2013年第7期158-158,共1页; 乳腺癌治疗后有20％至30％的患者会出现转移和复发，届时治疗难度将大增，可直接威胁病人生命。日本研究人员发现，基因Monad合成的蛋白质能遏制乳腺癌向周围组织的转移，这为根治乳腺癌提供了新线索。; 关键词：乳腺癌基因 MONAD 研究人员治疗复发

MONAD