Stanford Compiler PA2
课程主页:
https://www.edx.org/course/compilers
课程视频:
https://www.bilibili.com/video/BV1NE411376V?p=20&t=6
这次回顾作业2——词法分析。个人感觉这次作业还是很难的,主要是以下几点:
flex工具的使用——入手需要看一定的资料,并不是半天就能掌握的。
正则表达式识别的逻辑——例如注释和字符串的正则表达式应该怎样写才能保证不漏不重。
Cool编程语言的规则——这部分算是相对简单的,但是入门文档也有30页有余,还是需要花一定时间的。
这次基本是根据大佬的解答才勉强理解的,这里会给出代码的逻辑解释,基本是算是对大佬代码的解析了,主要参考了第一份资料:
https://github.com/skyzluo/CS143-Compilers-Stanford
https://github.com/afterthat97/cool-compiler
其余参考资料:
https://blog.csdn.net/benladeng29hao/article/details/109111367
...
Stanford Compiler PA2翻译
课程主页:
https://www.edx.org/course/compilers
课程视频:
https://www.bilibili.com/video/BV1NE411376V?p=20&t=6
拖了很久,总算继续开始学习这门课程,这次先对PA2进行翻译。
编程作业 II1.编程项目概述编程作业II-V将指导您设计和构建Cool编译器。每个作业将覆盖编译器的一个组成部分:词法分析,解析,语义分析和代码生成。每次作业最终会生成一个可以与其他阶段进行交互的编译器工作阶段。您可以选择使用C++或Java来完成项目。
对于这次作业,您将使用词法分析生成器编写词法分析器,也称为扫描器。(C++工具称为flex;Java工具称为jlex。)您将以适当的输入格式描述Cool的token集,词法分析生成器将生成用于识别Cool中token的实际代码(C++或Java)程序。
该项目所需工具的在线文档都可以在课程网站的“其他材料”部分中找到。这包括flex和jlex的手册(在此作业中使用),bison和java_cup的文档(在下一个作业中使用)以及spim模拟器的 ...
计算机程序的构造和解释(SICP) 第3章 习题解析 Part2
这次回顾第三章第二部分习题。
学习资料:
https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/index.htm
https://github.com/DeathKing/Learning-SICP
https://mitpress.mit.edu/sites/default/files/sicp/index.html
https://www.bilibili.com/video/BV1Xx41117tr?from=search&seid=14983483066585274454
参考资料:
https://sicp.readthedocs.io/en/latest
http://community.schemewiki.org/?SICP-Solutions
http://community.schemewiki.org/?sicp
3.12(p17 ...
深入理解计算机系统 第2章 笔记整理
这次回顾深入理解计算机系统第2章 ,这一章介绍了信息的表示和处理。
电子书地址:
http://eol.bnuz.edu.cn/meol/common/script/preview/download_preview.jsp?fileid=2169600&resid=242120&lid=28605
参考资料:
https://baike.baidu.com/item/%E7%BA%BF%E7%A8%8B/103101?fr=aladdin
之前的笔记整理:
https://doraemonzzz.com/2020/05/01/CMU%2015-213%20Intro%20to%20Computer%20Systems%20Lecture%202/
https://doraemonzzz.com/2020/05/07/CMU%2015-213%20Intro%20to%20Computer%20Systems%20Lecture%203/
https://doraemonzzz.com/2020/05/09/CMU%2015-213%20Intro%20to%20Comp ...
CS170 Efficient Algorithms and Intractable Problems HW4
课程主页:
https://cs170.org/
https://inst.eecs.berkeley.edu/~cs170/fa18/
课程视频:
https://www.bilibili.com/video/BV1wK411g7ck
参考资料:
https://stackoverflow.com/questions/7938376/weighted-graph-problems-true-false-explanation
https://web.cs.dal.ca/~nauzerk/csci3110/Assignments/A5_Solution_F12.pdf
这次回顾HW4。
2. Maximum Subarray Sum(a)
$s=0,res=-\infty$
for $i=0,\ldots, n - 1$:
$s = s + a[i]$
$res= \max(res, s)$
if $s < 0$:
$s= 0$
return $res$
(b)$s$表示当前的子列和,如果$s<0$,那么包含这段会使得子列和更小,所以要利用$s=0$舍弃这部分的 ...
具体数学习题解答——第2章 和式 Part1
书籍介绍:
https://book.douban.com/subject/21323941/
github仓库:
https://github.com/Doraemonzzz/Concrete-Mathematics
这次回顾第二章,和式。
第2章 和式热身题1
\sum_{k=4}^{0} q_{k} =02
\begin{aligned}
x \times([x>0]-[x 0\\
0 & x= 0\\
-x & x < 0
\end{cases}\\
\end{aligned}因此
x \times([x>0]-[x
具体数学内容总结——第2章 和式
书籍介绍:
https://book.douban.com/subject/21323941/
github仓库:
https://github.com/Doraemonzzz/Concrete-Mathematics
这次先回顾第2章——和式。
递归式求解考虑递归式
a_{n} T_{n}=b_{n} T_{n-1}+c_{n}思路是两边同乘$s_n$,得到
s_{n} a_{n} T_{n}=s_{n} b_{n} T_{n-1}+s_{n} c_{n}$s_n$满足
s_{n} b_{n}=s_{n-1} a_{n-1}记
S_{n}=s_{n} a_{n} T_{n}那么
\begin{aligned}
S_{n}&=S_{n-1}+s_{n} c_{n}\\
S_{n}&=s_{0} a_{0} T_{0}+\sum_{k=1}^{n} s_{k} c_{k}\\
&=s_{1} b_{1} T_{0}+\sum_{k=1}^{n} s_{k} c_{k}\\
T_n&=\frac{1}{s_{n} a_{n}}\left(s_{1} b_{1} T_{0}+\s ...
具体数学内容总结——第1章 递归问题
书籍介绍:
https://book.douban.com/subject/21323941/
github仓库:
https://github.com/Doraemonzzz/Concrete-Mathematics
后续会回顾每章的重点内容,这次先回顾第1章——递归问题。
约瑟夫问题成套方法(repertoire method)对于形如如下问题的求解:
\begin{aligned}
f(1) &=\alpha \\
f(2 n) &=2 f(n)+\beta, \quad n \ge 1 ; \\
f(2 n+1) &=2 f(n)+\gamma, \quad n \ge 1 .
\end{aligned}首先写成如下形式:
f(n)=A(n) \alpha+B(n) \beta+C(n) \gamma然后通过给$\alpha,\beta,\gamma$赋特殊的值,找到特殊的$f(n)$,由此得到$A(n),B(n),C(n)$的方程组,最后求解出结果。
2进制展开考虑另一种形式的递推式
\begin{aligned}
f(1)&=\alpha \\
f(2 n+j)&= ...
CS170 Efficient Algorithms and Intractable Problems Section3
课程主页:
https://cs170.org/
https://inst.eecs.berkeley.edu/~cs170/fa18/
课程视频:
https://www.bilibili.com/video/BV1wK411g7ck
这次回顾Section 3。
1. Breadth-First Search各层的情况
A
B D
C E
F
Q的状态变化:
[A]
[B, D]
[D, C, E]
[C, E]
[E, F]
[F]
[]
2. Dijkstra’s Algorithm Fails on Negative Edges情形1:
A
B C
A <-> B : 3.5
A <-> C : 3
B <-> C : -1
起点为$A$,则结果为
dist(A) = 0
dist(B) = 3.5
dist(C) = 3
但是正确结果为
dist(A) = 0
dist(B) = 2($A\to B \to C$)
dist(C) = 2.5($A\to C \to B$)
情形2:
D C
A B
...
CS170 Efficient Algorithms and Intractable Problems Hw3
课程主页:
https://cs170.org/
https://inst.eecs.berkeley.edu/~cs170/fa18/
课程视频:
https://www.bilibili.com/video/BV1wK411g7ck
这次回顾Hw3。
2. Disrupting a Network of Spies(a)
f(r)= r的子节点个数假设$r$的子节点为$r_i, i=1,\ldots,l$,那么只要说明$\forall i\neq j$,不存在$r_i$的后代到$r_j$的后代的路径即可。
证明:
如果存在$r_i$的后代$r_i’$到$r_j$的后代$r_j’$的路径,那么$r_j’$必然是$r_i’$的后代,这就与$r_{j}’$是$r_j$的后代矛盾,所以结论成立。
(b)假设$v$的子节点为$\{v_i\}$,父节点为$v_p$,现在对树进行旋转,以$v$为根节点,子节点为$\{v_i\}\cup \{v_p\}$。
由条件可得,不存在$\{v_i\}$及其后代到$v_p$及其后代的横跨边,所以这是一棵合理的搜索树,因此
f(r)= r的子节点个数 +1 ...
Deep Learning for Human Language Processing Part 8(P16)
课程主页:http://speech.ee.ntu.edu.tw/~tlkagk/courses_DLHLP20.html
视频地址:https://www.bilibili.com/video/BV1RE411g7rQ?p=1
参考资料:https://blog.csdn.net/qq_44574333/category_10304412_2.html
备注:图片均来自于课件。
这次回顾P16,这部分介绍了语者验证问题。
语者验证(Speaker Verification)语者验证是指输入语言,输出类别的问题:
类似的问题有:
情绪识别。
声音事件检测。
自闭症识别。
关键字发现。
这些问题和语者验证类似,所以这讲主要讨论语者验证,这一讲的内容如下:
任务介绍。
语者验证框架介绍。
语者嵌入(Speaker Embedding)。
端到端。
任务介绍语者识别(Speaker Recognition / Identification)语者识别的任务是判断一段语音是谁说的,该任务为多类别分类:
语者验证(Speaker Verification)语者验证的任务是判断两段语音 ...
Deep Learning for Human Language Processing Part 7(P14 to P15)
课程主页:http://speech.ee.ntu.edu.tw/~tlkagk/courses_DLHLP20.html
视频地址:https://www.bilibili.com/video/BV1RE411g7rQ?p=1
参考资料:https://blog.csdn.net/qq_44574333/category_10304412_2.html
备注:图片均来自于课件。
这次回顾P14至P15,这部分介绍了语音合成问题。
语音合成(Speech Synthesis)语音合成的全称是Text-to-Speech (TTS) Synthesis,这部分主要介绍如下几个内容:
端到端之前的TTS
Tacotron:端到端的TTS
超越Tacotron
可控的TTS
端到端之前的TTS拼接法该方法的思路很简单:
数据库中有个每个文字对应的声音信号。
将文本的每个文字的声音信号拼接起来即得到结果。
难点:如何让声音信号听起来自然。
根据cost。
图示如下:
该方法的问题是合成的声音必须在数据库中存在。
参数化方法这些方法是基于HMM/DNN的方法,比较复杂,老师没有详 ...