骑鹿人（DeerRIDER）个人简历
个人信息
骑鹿人（DeerRIDER），学名●●●，字崷枝，号末元狂士。AI专家，严肃作家，自由学者。●●●●年出生于●●●●。文学作品有《骑鹿杂言》《画中世界》等。
联系电话：●●●●●●●●●●●
E-mail: akiritsu@outlook.com
Github: akiritsu
个人主页：bcqlr.com; nagajamu.com 等
语言：中文，英语，台湾闽南语，日语
技术综述
主要研究方向约束学习方法，小样本学习及相关 AI 计算方法学，生物信息学
多范式编程者，软件开发不受特定语言、平台限制；精通约束式、函数式编程；熟悉声明式、命令式编程
兴趣领域
- 理论计算机语言，类型论，范畴论，Lambda 演算，线程代数，形式语义学等
- 形式化方法，自动定理证明
- 理论计算机科学，包括数理逻辑，抽象代数等
履历
●●●● 年 ● 月：北京●●●●●●有限公司，高级AI算法工程师，代算法总监职，●●●●●●●●，●●●●●●
●●●● 年 ● 月：●●●●●●●●●●●●●●●●●，●●●●●●●●●
2015 年 10 月：于 Bilibili 直播平台以全胜战绩获得《黎明杀机》最高段位
●●●● 年 ● 月：●●●●●●●●有限公司，程序员，●●●● 年 ● 月离职
●●●● 年 ● 月：●●●●●●●●有限公司，实习软件测试员
2011 年 10 月：作为战队队长获得重庆新生杯《Dota》冠军，重庆高校杯《Dota》5-8 名
●●●● 年 ● 月：于重庆大学就读软件工程专业，2015 年 6 月获学士学位●●●●●●●●●●●●●，●●●●●●●●●●●●
项目
2019 年 6 月：pRoJEct-AcKSe，约束知识学习 AI 药物分子设计系统（共四期）
2019 年 6 月：pRoJEct-ZeXIv，个人项目，计算机科学及数学笔记工具（开发中）
2019 年 4 月：pRoJEct-NeGYa，个人项目，主页模板
2018 年 8 月：cslearner.cn，个人项目，计算机科学自学中文社区
●●●● 年 ● 月：●●●●●● ●●●●● ●●●●●●●●● ●●●●●●●●●● ●●● ●●●● ●●●●●●●●●● ●● ●●●●●●●●● ●●●●●●●●
●●●● 年 ● 月：●●●●●●●●●，项目组长，主导基于●●●●●●●●●●●●●●算法研究
●●●● 年 ● 月：●● ●●●●●●●●● ●●●●●，项目组长，●● ●●●●●●●●● ●●●●●●●●●●●●●●●
自评
热爱科学，自初中一年级起自学编程、游戏开发、理论物理学
生性淡泊名利，喜追求真理至道，挑战复杂的事情以获取愉悦的体验
喜欢为热爱的工作付出时间、精力，每天保持学习