Tori's MindPalace

Interpretability in AI Systems

Artificial intelligence (AI) and especially machine learning (ML) has seen rapid progress and wide applications in every possible aspect of people’s lives, ranging from movie recommendation and sma...

Posted by Tori on December 15, 2019

My Google Internship (I): Get the Offer

I’m so excited to get a summer 2020 software engineering internship at Google! This is a post that records my experience along the way, from application to final offer. 9.17 Application submitted ...

Posted by Tori on November 26, 2019

Quick Start on Java for C/C++ Programmers

Reference: https://www.seas.upenn.edu/~cis1xx/resources/JavaForCppProgrammers/j-javac-cpp-ltr.pdf Compile and run: a simple example The Java language Java classes Inheritance in Java Ab...

Posted by Tori on November 18, 2019

世界的语言

Languages of the World

Lecture 1: 总论 Lecture 2: 世界语言的分类 Lecture 3: 世界语言的文字 Lecture 4: 欧洲语言：概述 Lecture 5: 欧洲语言：俄语简介 Lecture 6: 亚洲语言：概述 Lecture 7: 亚洲语言：泰卢固语简介 Lecture 8: 非洲语言：概述 Lecture 9: 非洲语言：阿拉伯语简介 ...

Posted by Tori on June 10, 2019

屋内屋外：符号、角色与当代日本社会

Inside and Outside: Symbols, Roles and Contemporary Japanese Society

这是我观看完《无人知晓（誰も知らない）》这部电影后为影片精读课程写的论文。这部电影有很多值得说道的地方，包括叙事结构、视觉符号与细节表达、大量的日常特写镜头、音乐甚至对话的节制使用、生活喜剧掩盖的社会悲剧等，不露声色地打动观众的内心，强烈推荐观影。《无人知晓》这部电影由是枝裕和执导，改编自1988年震惊全日本的东京西巢鸭弃婴事件。在电影中，单身母亲福岛惠子带着她的四个孩子搬进了新的公...

Posted by Tori on January 19, 2019

认知神经科学导引

Fundamentals of Cognitive Neuroscience

Chapter 1: 概论与研究方法 Chapter 2: 视知觉视觉感知及其表征物体识别与面孔识别 Chapter 3: 运动控制运动控制及其表征运动障碍及功能分析 Chapter 4: 学习与记忆工作记忆长时记忆：外显记忆 ...

Posted by Tori on January 5, 2019

Notes on Computer Networks

Computer Networking: A Top-Down Approach (6th Edition)

Chapter 1: Introduction Chapter 2: Application Layer Chapter 3: Transport Layer Chapter 4: Network Layer Chapter 5: Link Layer Chapter 6: Wireless and Mobile Networks Chapter 7-8: Mu...

Posted by Tori on July 2, 2018

理论计算机科学浅涉：可计算性理论（一）

On Theoretical Computer Science: Computability Theory (I)

这个系列当算是去年「说说数理逻辑」那篇的后续吧。在上一篇中，我们最后以哥德尔不完全性定理作为结尾，并给可计算性与可判定性问题开了个头，于是过渡到理论计算机科学这一领域。在这个系列的文章中，我们简单地对理论计算机科学的基础内容做一浅显的介绍。理论计算机科学大致分为三个部分内容：可计算性理论，形式语言与自动机，以及计算复杂性理论。这篇先介绍第一部分，即可计算性理论…的第一部分。可计算性的定义...

Posted by Tori on January 13, 2018

中枢神经解剖学要点

Notes on Functional Anatomy of Central Nervous System

Chapter 1: 总论 Chapter 2: 神经组织及突触 Chapter 3: 神经系统的进化 Chapter 4: 中枢神经系统的发育 Chapter 5: 脊髓 Chapter 6: 脑干 Chapter 7: 小脑 Chapter 8: 间脑 Chapter 9: 大脑皮层（I）- 基本结构与功能 Chapter 10: 大脑皮层（II...

Posted by Tori on October 29, 2017

也谈数理逻辑

Some Thoughts on Mathematical Logic

考完期末，第一篇想写的就是关于数理逻辑。数理逻辑就课程内容而言，绝对是一门好课，它生动地展现了人们在严谨逻辑论证的追求上孜孜不倦的探索过程。从这一点上说，数理逻辑和其他数学课似乎没有什么区别，无非都是强调任何一个定理都需要严谨的证明，但是数理逻辑的奥秘在于，它试图将人类主观的推理思维过程客观化，并建立起主观推理与客观证明之间的联系，这一点是很奇妙的。大概还是应该从为什么要研究数理逻辑...

Posted by Tori on January 13, 2017

ABOUT ME