第二宇宙速度 | Escape Velocity

我是斯诺李，是个有点喜欢程序语言理论和实现的家伙。

This is SnowOnion LEE (or simply sonion), a guy with some passion for Programming Language Theory and Implementation.

背景音乐 | Background Music

↓ 点击播放 | Click to play

梁祝小提琴协奏曲 - 盛中国

梦 | Dream

2018-12 关于我退完小霓虹车押金后从日本赶回来冒着投石机轰炸爬上五十米高的体育馆看小学生打球这件事

逻辑 | Logic

我喜欢逻辑学——主要指符号逻辑，或者叫数理逻辑——及其“周边”。我在尝试做一点微小的工作：

希尔伯特公理系统里的命题逻辑自动证明器。建设中。虽然公理系统不适合自动证明，但还是用 Haskell 写着玩玩……
徐明《符号逻辑讲义》勘误表，已完成。从徐明老师博客搬运到一页内以便阅读。
数理逻辑文献符号对比，建设中
证明论笔记，建设中，更新到第一次课和番外篇一。2017 春由俞珺华老师授课。 [GitHub]
范畴论笔记，建设中。via 首师大 2018 秋范畴论讨论班。[GitHub]

小工具和小游戏 | Utils & Mini Games

小游戏

任意图上的围棋！

日语

音乐 | Music

尝试用电钢琴 + GarageBand (或其他) 录点儿小曲儿。

《天使爱美丽》插曲《Comptine d'un autre été : L'après-midi》
《战场上的快乐圣诞》插曲《Merry Christmas Mr. Lawrence》（仅旋律）（开头）
五月天《知足》（几乎仅旋律）

社交网络 | Social Networks

GitHub | Twitter | Instagram | Wikipedia | Disqus | ……

胡话

真 -> 美 -> 爱.
曾经因为崇拜科技而用半角标点(
今天是 2018-02-18, 我不知道该用全角还是半角标点了.
今天是 2018-09-13。最近，我写数学中文用半角标点，写其他中文用全角标点。

博客 | Blog

目前 (2015-11-27) 维护的、快要弃掉的博客: http://snowonion-blog.logdown.com

以后会搬到 blog.sonion.xyz , 嗯.

为啥是这个风格

跟御宅暴君 (acgtyrant) 学的! (´・ω・`)