ulam 基于C语言的无类型Lambda演算解释器 github：https://github.com/hhusjr/ulam 代码很简短，只有单个C语言文件，600行不到。后面会逐步加入更多语法特征，以及改进为具有类型的$\lambda-calculus$等等。 Lambda演算 \(\lambd ...
分类：
编程语言 时间：
2020-12-03 11:41:04
阅读次数：
7
CREATE DEFINER=`test`@`%` PROCEDURE `prop_make_bak_sql`(psShecmal varchar(30),psFunctions varchar(3000)) BEGIN select CONCAT('-- 备份 ',name,' \r\nDELIM ...
分类：
数据库 时间：
2020-12-01 12:31:17
阅读次数：
15
今天做数据库导出报错：EXP-00091:Exportingquestionablestatistics.在对ORACLE数据库做exp备份导出时报EXP-00091:Exportingquestionablestatistics”错误：详情如下：EXP-00091:Exportingquestionablestatistics.EXP-00091:Exportingquestionablesta
分类：
数据库 时间：
2020-12-01 11:59:32
阅读次数：
11
package com.example.test3; import android.app.AliasActivity; import android.app.ProgressDialog; import android.os.Bundle; import android.view.View; im ...
分类：
移动开发 时间：
2020-11-30 16:11:54
阅读次数：
19
简介 MAT 是Memory Analyzer的简称，他是一宽功能强大的Java堆内存分析器。多用于查找内存泄露以及查看内存消耗情况。 基于Eclipse开发，是一款免费的Java性能分析功能 下载安装 https://www.eclipse.org/mat/downloads.php 分析dump ...
分类：
编程语言 时间：
2020-11-30 16:10:09
阅读次数：
11
1.数据库 1.登陆数据库 使用windows+r健，然后输入cmd,进入命令框，连接用户，sqlplus+用户名/密码 把会话环境改成中文模式： alter session set nls_language='simplified chinese'; 把会话环境改成英文模式： alter sess ...
分类：
数据库 时间：
2020-11-30 15:52:50
阅读次数：
8
Dubbo接口泛化调用▼关注测试君｜会上瘾涉及jar包:<dependency><groupId>com.alibaba</groupId><artifactId>dubbo</artifactId><version>2.8.4</version></dependency><dependency&
分类：
其他好文 时间：
2020-11-30 15:17:06
阅读次数：
7
创建: 2020/11/21 完成: 2020/11/21, 注: 省略ArrayList java.util.* TODO: 补充ArrayList https://docs.oracle.com/javase/8/docs/api/java/util/ArrayList.html 简介 动态数组 ...
分类：
编程语言 时间：
2020-11-25 12:45:46
阅读次数：
9
#include<bits/stdc++.h> #define ll long long #define N 100015 #define rep(i,a,n) for (int i=a;i<=n;i++) #define per(i,a,n) for (int i=n;i>=a;i--) #def ...
分类：
其他好文 时间：
2020-11-25 12:45:31
阅读次数：
4
分析一波，发现是棵树。 我们先假设是一颗外向树， 考虑$u$是以它为根的子树最先抽出来的， 设子树$W$和为$S_u$，全局$W$和为$S$。 有$p=\frac\sum_{i\ge0}(\frac)^i=\frac$ 那么我们设$f[u][S_u]$，转移就是背包一样转移。 现在我们有一些向根的边 ...
分类：
其他好文 时间：
2020-11-25 12:13:09
阅读次数：
3
