About Me

（Written in Sep. 2022, revised in Jan. 2023）

MS in Software Engineering @ ECNU

Research topics: Autonomous systems(smart home), application of formal methods, requirements modeling and engineering.

---

（以下写于2018年08月）

CS Sophomore @ ECUST

An inexperienced C++/Python/Java developer. Engaged in several React-Native and deep learning projects. Currently interested in statistics and scientific computing, computer graphics, game development and pixel art. Fan of ProjectMili.

E-mail：kale1d0@qq.com

---

（以下写于2017年06月）

引言

　　“形而上工程学”这一概念受启发于《你以为你以为的就是你以为的吗》这本有趣的逻辑测试题合集。原文中，作者自称“形而上学工程师”并设计了一套用于检测神的概念的合理性的测试题，并把选择接受不同概念时所产生的矛盾定义、违反一致性原则等等逻辑问题戏称为“技术难题”。笔者觉得这一比喻非常有趣，于是在其基础上提出了“形而上工程学”的概念，并戏称自己的博客为“形而上工程学研究所”。

　　我选择这个名称的原因，一方面是这个词非常的酷炫很好记而且不怎么常见（所以我的博客一下子就可以被搜索引擎查到），而另一方面，我也希望以此告诫自己不要过于轻信自己的逻辑判断。

　　该博客的主要内容是我自己的学习笔记以及各种破事水。笔者也衷心希望各位看客都能在此有所收获。

博客介绍

　“形而上工程学是一门以逻辑学为支撑的应用科学，其自人类理性的萌芽时期以来就一直处于自然科学的皇冠之上。形而上工程学致力于解决形而上学遇到的各类工程问题，其为人们的形而上实践提供了许多宝贵的方法论与经验。”——《形而上工程学原理》第一卷

　　首先欢迎各位研究员莅临本研究所。本研究所全称为“形而上工程学研究所”(Institute Of Metaphysical Engineering, aka IOME)，现由所长【数据删除】负责运营。

　　本研究所旨在探索形而上实践的工程方法，并研究如何将理论应用于具体的形而上实践之中。本研究所成立于2014年，距今已有四年历史。

　　我们期待着与各位研究员一同为形而上实践的一致性与完备性的发展做出贡献。

关于所长

　　现作为一名本科生就读于ECUST。