2022 Fall的学习生活
MATH 145 Abstract Algebra
ds打算从ring开始讲 开头讲得挺简单的 感觉进度地狱。。。
groups学得不太好。。。 但是ds考的很水 基本摆烂了 希望montserrat能带我好好学🐶
highlight 就是 一步一步怎么走到quotient ring/group, ds讲课逻辑还是挺好的 只是实在是很难得到严谨的训练
CS 163 Computational Geometry
为了去NC申请了travel fund 这周要去!(10.11号更新)
感觉可以依照作业分成六个大模块:
- Convex Hull, Simple/Star-Shaped Polygon
- Dynamic CH, Marriage-Before-Conquest, Plane Sweep, DCEL, Triangliztion (也太多了吧!)
- Point Loction, Duality, Topological Sweep
- Voronoi Diagram
- Higher Dimension Convex Hull
- Range Searching (range tree/segment tree/interval tree/contour union problem)
diane备课基本就是在吃老本 greg的版本要好很多 project做了closest and farthest pair in 2D 感觉greg下面好多人project都做得很好 下个学期也许想继续上下去(因为在跟research group跟进一个项目)
CS 105 Programming Languages
我爱nr 各种language feature的探索之旅
大致是 Impcore(Lisp?) 注重了lisp-like syntax,algebraic laws (就是pattern matching on inductively defined data…),后面讲scheme S-expression, first class function (lambda closure), continuation passing style
然后进入type systems,先是type check impcore (explicitly declared types) 但是有polymorphic function,要自己enstantiate;再是typed uscheme 讲了explicit constraint的solver(不同于传统的unification),很棒的作业
最后一个部分是 modules 和 OOP (中间讲了两节lambda calculus,但是没有作业) 前者有点戛然而止 完全没有讲 abstract type, principal type of a structure, etc. 后者讲了dynamic dispatch, double dispatch 作业基本手把手教
在nr的OH码了挺多论文的 希望寒假能读完
PHIL 131 Epistemology
感觉jody讲的很没有框架 有点东讲一个西讲一个
期中写了Klein’s Infinitism, 期末写了Zagzebski and definition of knowledge 感觉都写的很屎。。。
退掉的PHIL 91尼采😭
顺序:Birth of Tragedy, The Gay Science, BGE, Genealogy, Twilight, Anti-Christ
老师有一份手稿 想要claim Nietzsche has a systematic view (a Lamarkian one) 他想死后出版
期中论文可以选和 Joseph Henrich - The WEIRDest People in the World 做对比阅读
期末论文20-25页(that’s why i dropped)
10月多退了之后后面全程旁听了 听jody的课就像相声一样