- 博客(78)
- 收藏
- 关注
RSS订阅原创 利用line_profiler分析函数运行时间
line_profiler是一个 Python 模块，用于逐行分析代码的性能。它可以帮助你找出代码中哪些行消耗了最多的时间，从而进行优化。
2025-04-01 20:13:09
248
原创 快速理解np.arrange和np.linespace的区别
linespace的好处：end一定包含在里面，坏处：如果num设置不好，生成的数据可能比较奇怪（/num得到无限循环小数）np.linespace(start, end, num): 精确生成长度为num，以start开始，end结束的等差数列。np.arange(start, end, step): 类似range函数，精确以step作为公差，不一定包含end。arange的好处：stepsize固定，生成的数据比较好看；坏处：end不一定包含在里面。tips：这两个功能是互补的。
2025-04-01 16:19:17
185
原创 利用alfred workflow实现markdown数学公式格式规范化
中间利用文件传递信息，因为基于文本传输会有各种转义的奇奇怪怪的问题（比如说在bash里面echo会自动转义"\t"等特殊字符，但是在latex里面显然"\text"之类的东西会用到，所以必须要用printf %s ）。其中最让人头疼的就是’\(,\)“和”\[,\]"的latex环境。期望功能：选中给定文本后，在alfred中输入"remove" keyword，即可将该文本里面的’\(,\)“和”\[,\]“替换为”$“和”$$". 额外附加了一个去除多个空行的功能。
2025-02-26 20:13:45
278
原创 Mac的`~键打出来±§`？解析ANSI、ISO、JIS键盘标准的区别与布局
Mac支持多种键盘标准，包括ANSI、ISO和JIS。不同的标准会导致按键布局和功能有所不同，尤其是键的输出可能会发生变化。通过了解这三种标准的区别，并正确设置系统键盘布局，你可以避免按键输出错误的问题，提升使用体验。
2025-01-16 10:13:13
2196
原创 typora-like theme in obsidian
使用方法：obsidian -> 设置 -> 外观 -> （最下面）css代码片段 -> 点击文件夹图标 -> 在文件夹里面新建一个名为typora.css的文件 -> 复制下面的代码进去 -> 保存 -> 在设置里面启用该代码片段。而且这个自己修改也很方便，比如obsidian里面不能修改的行间距等等，都可以直接在这个css里面修改。/* 调用 Open Sans 字体 *//* 引用块样式 *//* 代码块样式 *//* 全局样式 *//* 标题样式 *//* 表格样式 */
2024-11-10 21:52:41
487
原创 我自己的资料整理导引（五）：让trilium更像markdown的插件
在owned attributes里面添加：#run=frontendStartup。在owned attributes里面添加：#widget。在owned attributes里面添加：#widget。
2024-10-31 16:59:49
1453
原创 我自己的资料整理导引（四）：trilium使用的一些tips
Thanks!!!in更新：zadam后来增加了对更新方式的解释：https://github.com/zadam/trilium/wiki/Upgrading-Trilium总之核心在于：trilium的应用程序（坐落在applications里面）和数据（https://github.com/zadam/trilium/wiki/Data-directory）是完全分开存放的，所以更新程序的时候只要更新应用就行了。
2024-10-31 16:55:36
560
原创 我自己的资料整理导引（三）：文本格式基础
程序之间的数据交互其实是一件非常复杂的事情，因为不同的数据有不同的格式，怎么统一起来是个很大的问题。今天我们只讨论计算机中文本的交互。
2024-10-31 16:52:30
727
1
原创 我自己的资料整理导引（二）：知识循环笔记法
整理自：https://blog.ghkk.net/post/collectors-fallacy/https://zettelkasten.de/posts/knowledge-cycle-efficiently-organize-writing-projects/构造短知识循环：为什么：指引：
2024-10-31 16:50:55
475
原创 我自己的资料整理导引（一）：概论
完成之后再用md的导入功能及时导入trilium中。同时，涉及到参考文献的部分，可以与zotero联动，用zotero建立同名文件树整理每篇笔记对应的文献。
2024-10-31 16:16:52
1123
原创 Types and Programming Languages, Benjamin C. Pierce 读书笔记（五） simple type-typed lambda-calculus
【代码】Types and Programming Languages, Benjamin C. Pierce 读书笔记（五） simple type-typed lambda-calculus。
2024-10-14 19:57:47
622
1
原创 Types and Programming Languages, Benjamin C. Pierce 读书笔记（四） simple type-typed arithmetic expressions
T。
2024-10-14 19:56:01
316
原创 Types and Programming Languages, Benjamin C. Pierce 读书笔记（三） Untyped system-Lambda-calculus
Lambda culculus:First invented in mid 1960s by Peter Latin. computations are described as mathematical objects where rigorous statements can be proved.t::= terms: x variable λx.t abstraction t t application \begin{array}{rlr} \mathrm{t}::= & \text { terms
2024-10-14 19:53:51
717
原创 Types and Programming Languages, Benjamin C. Pierce 读书笔记（二） Untyped system-arithmetic expressions
define the set of termseg:t::=terms true constant true false constant false if t then telse t conditional 0 constant zero succ t successor pred t predecessor iszerot zero test \begin{array}{lr} t::= &\text{terms }\\\text { true } & \text { co
2024-10-14 19:52:26
834
原创 Types and Programming Languages, Benjamin C. Pierce 学习笔记（一） Introduction
they compute （eg：C++里面的类型系统，通过类型检查来规避一些类型错误）.
2024-10-14 15:27:33
522
原创 CS521 Advanced Algorithm Design 学习笔记（四）Hashing with real numbers and their big-data applications
实值哈希函数及其在大数据中的应用
2023-04-16 13:39:15
222
原创 CS521 Advanced Algorithm Design 学习笔记（三） Lecture 3 Large deviations bounds and applications
集中不等式及其应用
2023-04-15 19:27:07
201
原创 CS521 Advanced Algorithm Design 学习笔记（二）Karger’s Min Cut Algorithm
Karger的最小割算法
2023-04-13 11:33:00
579
原创 CS521 Advanced Algorithm Design 学习笔记（一）Course Intro and Hashing
课程简介和哈希算法
2023-04-12 11:45:38
370
翻译 关于QCQP（quadratic constrained quadratic programming，二次约束二次规划）的hardness结果（QoS问题）
著名论文的定理证明
2022-10-26 20:31:56
2475
原创 问卷星图片自动提取小程序
在摄影比赛征稿的时候，发现收到的excel汇总中图片是用链接的形式给出的，非常不方便，尤其是人比较多的时候也懒得一个个下载，所以写了一个小程序自动把这些图片按照顺序分文件夹下载好，以下内容均可按照注释自行修改~"encoding=utf-8"import urllib.requestimport xlrdimport pandas as pdimport osdef dld(url,place):#将url中的文件下载到place urllib.request.urlretrieve
2022-05-09 00:51:27
1467
原创 密码学期中复习笔记
密码学期中复习笔记参考教材：密码学原理与实践（第二版） Douglas R.StinsonChapter 1 古典密码体制的Shannon理论对称加密体制：五元组(P,C,K,E,D)(P,C,K,E,D)(P,C,K,E,D)：明文空间，密文空间，密钥空间，加密变换，脱密变换s.t. ∀k,k∈K,x∈P,D(k,E(k,x))=x\forall k,k\in K,x\in P,D(k,E(k,x))=x∀k,k∈K,x∈P,D(k,E(k,x))=x(显然要求dk=D(k,⋅)d_k=D(k,
2022-05-07 22:04:04
1694
原创 Matlab学习笔记
注：此笔记为B站上台大郭彦甫老师的教学视频的笔记，链接附在下面：https://www.bilibili.com/video/BV1GJ41137UH?from=search&seid=2186999109437495567&spm_id_from=333.337.0.0Matlab入门教学IntroductionMatlab：Matrix Laboratory高级编程语言简单的可视化目标：学习使用MATLAB，写代码，解决工程问题内容Lecture 1 基本操作与矩阵
2022-04-15 10:40:39
713
原创 信息科学基础期中复习笔记
教材：《信息论基础》（第三版）石峰，莫忠息，武汉大学出版社第1-4章为了复习之便，对教材顺序可能有所调整。Chapter 1 概论老三论：控制论，系统论，信息论Shannon,1956：Shannon熵自信息：I(A)=−logP(A)I(A)=-\log P(A)I(A)=−logP(A) 事件的发生概率越小，产生的信息量越大熵：H=−∑ipilog(pi)H=-\sum_{i} p_i\log (p_i)H=−∑ipilog(pi)Chapter 2 信息与熵离散信
2022-04-09 00:35:08
468
原创 简单Huffman编码求解器
该Huffman编码求解器可以输入Huffman编码的分布a和元数base，输出对应的Huffman编码以及平均Huffman编码的长度import copyimport matha=[0.16,0.14,0.13,0.12,0.10,0.09,0.08,0.07,0.06,0.05]##在这里输入需要求Huffman编码的分布a##checkersum=0for i in a: sum+=iif(sum!=1): print("输入可能出现错误，和不为1")#setti
2022-03-27 00:39:42
672
原创 应用随机过程期中复习总结
应用随机过程期中复习总结by ldc前言：该笔记为北京大学数学科学学院应用随机过程课程的复习笔记和内容总结。主要参考课程讲义编写而成。该复习笔记截止期中，主要介绍了马氏链的概念，并且非常详细地讲解了时齐马氏链的各个性质。由于是总结性质的笔记，因此该总结中的结论不加证明地给出，如果需要查询证明的话可以参考以下两本书，也可以自行谷歌：英文：《Markov Chain》, Norris中文：《应用随机过程》, 钱敏平、龚光鲁、陈大岳————————————分割线——————————————马尔科夫
2021-11-15 00:06:34
2188
原创 python老师主页文件爬虫
这学期学习了应随这门课，老师在主页上放了很多课程pdf，但是一个个下载非常麻烦，所以我写了一个python爬虫来下载这些pdf。首先打开网页源代码，然后放到和main.cpp同一个目录下的txt文件中：这里的命名是knapsack.txt，这样避免了使用request库。然后就可以写代码了：#encoding=utf-8import reimport urllib.requesta=''ls=[]f=open('knapsack.txt',encoding='utf-8')##网页源代
2021-09-19 19:09:50
178
原创 python简易中文名转英文小程序
老师让我帮忙把excel里面的60多个中文名字转换成英文，我当然只想着偷懒[狗头]，然后参考了百度来的一段代码，写了个小程序。首先要在python里面install pypinyin库，这里我推荐使用编译器内置的安装，直接用pip装容易装错环境。在pycharm里面就是点击settings然后点这里图上左上角的小加号，直接在现有的环境里面装上。然后就是非常简单的代码书写，注意这里没有考虑复姓or多音字的情况。手动筛查应该也不麻烦。#encoding=utf-8import pypinyinde
2021-08-12 16:43:34
1675
1
翻译 Quantal Response Equilibrium调研
Quantal Response EquilibriumNotes of QRE Palgrave历史灵感：Harsanyi (1973) and McFadden (1976)，不完全信息博弈提出：McKelvey and Palfrey (1995)提出动机&直觉人类不是绝对理性的，有的时候确实可能犯错，因此应该在每个人的决策过程中增加概率因素人类在面对成本更高的选择时会更加谨慎（更少地犯错），但总是可能犯错由于每个人的选择都与其对其它参加博弈者的先验有关，因此也存在均衡什
2021-07-27 15:52:25
2001
原创 线性规划中的互补枢轴理论与Lemeke-Howson算法——Nash，PPAD与PSPACE的又一块拼图
接下来，我们读一篇如何求解NE的文章，并考虑以文中的算法为模型构建PPAD。Complementary Pivot Theory of Mathematical Programming线性规划和双人非零和博弈意味着我们需要考虑以下的基本问题：给定一个p维向量q和一个p*p实矩阵M，寻找向量w,z满足条件：w=q+Mz,w⩾0,z⩾0zTw=0\begin{aligned}w &=q+M z, \quad w \geqslant 0, \quad z \geqslant 0 \\z^T
2021-07-16 18:10:52
1431
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人