category

2020-7-4 6:43
Bryce Clarke,Derek Elkins,Jeremy Gibbons,Fosco Loregian,Bartosz Milewski,Emily Pillmore和Mario Román。 迈卡·哈尔特,埃文·帕特森,安德鲁·巴斯和詹姆斯·费尔班克斯。基于CATLAB和语义模型的组合科学计算。 拉克伦·麦......
2020-6-28 6:19
应用范畴理论2020即将到来!在7月6日周日的辅导日之后,7月7日星期一到7月10日星期五将有讲座。以下是该程序-单击它下载更具可读性的版本: 以下是谈话内容!它们有三种:主旨演讲、定期演示和简短的行业演示。在每一本书中,我都按照演讲者的字母顺序列出了它们:我相信第一作者就是演讲者。 ·布莱斯·克拉克(Bryce C......
2020-5-3 21:10
从一个角度来看,范畴只是另一种代数结构,就像群、么半群和环一样。它们是这些抽象的东西,它们有一些抽象的方程公理和运算。它们是我们宏伟品类之旅的下一站。 么半群是与单位有结合运算的东西。加法和0使数字成为么半群。乘法和1是数字的单独么半群。串联和空列表使列表成为么半群。并集和空集使集成为么半群。我们可以用Python对......
2020-5-3 18:12
应用范畴理论--新兴的合成性科学编程、量子物理、化学、神经科学、系统生物学、自然语言分析、因果关系、网络理论、博弈论、动力系统和数据库理论有什么共同之处?作为函数式程序员,我们知道范畴论对我们的工作有多么有用-或者它可能看起来有多么深奥和遥远。不太为人所知的是,将范畴论应用于现实……
2020-5-2 18:5
令人愉快的25分钟介绍性演讲:哟!Lambda Jam 2019-Ken Scambler-应用类别理论(幻灯片)。 编程、量子物理、化学、神经科学、系统生物学、自然语言分析、因果关系、网络理论、博弈论、动力系统和数据库理论有什么共同之处? 作为函数式程序员,我们知道范畴论对我们的工作有多么有用-或者它可能看起来有多......
2007-9-17 13:59
Needless to say, read the title to know its subversive power. Although it is still very immature, but with the webmaster ready to "win in China" and Ma Yun's f......
2007-8-20 14:32
Chinese design websites, famous stations, for design enthusiasts to provide navigation services!
2006-9-2 9:12
The functions of Blogger-Beta are becoming more and more perfect, but it seems there are still many areas that fall short of expectations. The most inconvenien......