Lecture 2

原创 2011年01月20日 18:18:00

Round 1:

今天的题目是 Domain Specific Embedded Languages


  • 正式上课之前,Patrik讲了一下 Signal的代码实现,对其中 unSig的部分我不是特别理解,其他部分都还可以


  • DSEL: Aset of types modelling concepts in the domain
  1. Combinators: combing and modifying elements
  2. Run functions: making observations
  3. Constructor functions : constructing element
  • Deep & Shallow embedding


然后就是以Shape为例的Deep & Shallow embedding



关于这两个的区别还需要深入了解

 

 

 


 


Round 2:


真的怀疑老师有超常的记忆,这次上课还是以signal开始的,呵呵。

感觉还是有点云山雾罩的,虽然肯定不像去年一样需要挣扎在睡与不睡之间~~

 

  • primitive operation & derived operation
  • shallow embedding & deep embedding:
    In shallow embedding, it is much easier to write a run function because it is more close to the semantics and most of the work should be done by construction part. 这个不是绝对的,有时候两个run function可能是完全不同的概念有完全不同的朝向。
    In deep embedding, the constructor does less, run function does the major job. It is more like an interpreter for the language.
  • GADT:generalized abstract data type. 理论上第一次见到GADT的实例

 

 

 

 

 

 


版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

【CS231n】Lecture 6:Training Neural Networks,Part 2

CS231n系列课程笔记:作为本人的笔记记录,并无商用用途 CS231n:http://cs231n.stanford.edu/参数更新(Parameter Update) 本文参数更新主要针对...

C++ lecture2 数据类型与表达式(上)

Lecture 2 数据类型与表达式 数据类型:整型,浮点型,字符  具有相同特征的一类数据 对2要敏感 1,2,3,4,8,16,32,64,128,256,………… 储存空间大小:bit...

CS231N-Lecture6 Training Neural Network part-2

这一集讲了一些列不同的梯度下降算法,做了一些比较。之后,讲到了Dropout机制,随机关闭一些neuron的训练方式可以使整个模型更加有效。然后讲到了一点关于Model Ensemble的技巧。最后,...

Lecture 2(下)

Lecture 2(下) 常变量:consyant variable  又称只读变量 定义变量时加上关键字const,则变量值在程序运行期间不能改变 例:const int a = 3; //用...

CS224D Deep Learning for NLP lecture2

斯坦福深度学习与自然语言处理课程是Richard Socher今年开的课程。他是德国人,本来学习的是机器视觉。在斯坦福大学博士毕业,师从Andrew Ng和Chris Channing学习机器学习和N...

MIT6.00 1x Lecture 2 - Core elements of programs 学习笔记

Lecture 2 - Core elements of programs 编程基础 2.1 Type of programming languages 编程语言的类别 • Goal: 目标(将我们想...

Lecture 2: Models of Computation

  • 2015-07-25 14:16
  • 944KB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)