小编sim*_*ack的帖子

伊莎贝尔的理论输入不好

以下给出 bad theory import "Multivariate_Analysis"

imports Multivariate_Analysis
Run Code Online (Sandbox Code Playgroud)

导入Main工作正常,如何导入模块?

isabelle

4
推荐指数
1
解决办法
1352
查看次数

在 JavaScript 中捕获特定异常

我知道使用以下块,它能够捕获Exception.

try{
    // Code
}catch(err){
    alert(err.message);
}
Run Code Online (Sandbox Code Playgroud)

说,我想抓住一个NumberFormatException. 我怎样才能捕捉到一个特定的Exception使用JavaScript
(我实际上想抓住NumberFormatException, InterruptedExceptionConnectException在 中定义得很清楚Java

javascript exception-handling

3
推荐指数
1
解决办法
2120
查看次数

numpy一次绘制一些bernoulli分布

假设我想立即从bernoulli分布列表中得出,例如概率[0.1, 0.2, 0.3]。我可以使用for循环来做到这一点,但是有没有更好的numpy方法(使用scipy也可以)?

ps = [0.1, 0.2, 0.3]
[np.random.choice(2, p=[1 - p, p]) for p in ps]
Run Code Online (Sandbox Code Playgroud)

python random numpy

3
推荐指数
1
解决办法
6331
查看次数

Python空计数器比较

有谁知道为什么以下False不是True?计数器不应该与多集合类似吗?欢迎任何对文档的引用.

Counter()==Counter({'a': 0})
Run Code Online (Sandbox Code Playgroud)

python

2
推荐指数
2
解决办法
1793
查看次数

我怎样才能 pip freeze 并只获得 pip --user 安装,没有系统安装?

我已经尽职尽责地卸载了我安装的所有 Python 包,sudo pip installpip --user install改为安装它们。是的我:)

在 Ubuntu 上,我知道我可以在 找到相关的二进制文件/home/<USERNAME>/.local/bin和包本身在/home/<USERNAME>/.local/lib/python2.7/site-packages... 但在那里导航并不像 good old 那样简单pip freeze

我怎样才能pip freeze只获取我安装的包pip --user install而不是所有的 Python 包,包括那些通过 apt 安装的包?

python pip

2
推荐指数
1
解决办法
457
查看次数

从数据框中删除类似的重复项

如何删除值在特定阈值内的数据帧中的行?

                x             y
1   -0.111111e-15  0.111111e-15
2   -1.111112e-15  1.111112e-15
3   -1.111111e-15  1.111111e-15
Run Code Online (Sandbox Code Playgroud)

例如,如果我将阈值设置为1e^-8,则将删除第二行或第三行.

r dataframe

2
推荐指数
1
解决办法
89
查看次数

防止BufferedReader关闭文件以获取文件列表

我有一个扩展BufferedReader的类,并且文件流列表b.close()被除最后一个流之外的所有文件调用,我想保持流打开。我该怎么做?

谢谢

类TestReader(BufferedReader):
    通过

清晰度测试(流):
    用于流中的流:
        b = TestReader(流)
        do_something(b)
    #除了stream [-1]以外的所有流都关闭了,如何防止这种情况发生?

stream = [open('test1.txt','rb'),open('test2.txt','rb')]
测试(流)
stream.do_something_else()

python bufferedreader

1
推荐指数
1
解决办法
636
查看次数

迭代哈希javascript数组的最佳方法

如果我有一个哈希数组,最好的迭代方法是什么?

var a = [{"a": "1"}, {"b": "2"}, {"c": "3"}]

for(var i in a) {
  console.log(a[i]) //prints each hash
  console.log(i)    //prints the index
}
Run Code Online (Sandbox Code Playgroud)

如果我想得到a,b,c或1,2,3什么是最好的方法?

谢谢

javascript

1
推荐指数
1
解决办法
6698
查看次数

证明了伊莎贝尔的简单不平等

我是伊莎贝尔的新手并试图证明以下简单的不等式:

lemma ineq:
  "(a::real) > 0 ? a < 1 ? (b::real) > 0 ? b < 1 ? (a + b - a * b) > 0"
proof
  have "1/a + 1/b > 1" by auto
qed
Run Code Online (Sandbox Code Playgroud)

我试图用上面的线条显示它,但它显然不是那么容易,无论我尝试什么(show,have,from的几种组合),isabelle节目Illegal application of proof command in 'prove' mode.我不知道这是什么意思.有人可以说明如何继续吗?

isabelle

1
推荐指数
1
解决办法
355
查看次数

使用 Rust 宏简化“匹配”

有许多问题功能(数百个),每个功能可能有不同的类型。对于每个问题,我想运行一个run_question函数,显示该函数花费了多长时间,并打印它的输出。

我正在尝试match使用 Rust 宏来缩短以下表达式(编写run_question100 次确实会使代码变得很长):

fn run_question<T: std::fmt::Display>(question_func: fn() -> T) {
  let begin = Instant::now();
  let output: T = question_func();
  let elapsed_secs = begin.elapsed().as_micros() as f32 / 1e6;
  println!("{}", output);
  println!("{:.6}s taken", elapsed_secs);
}

fn q1() -> u8 { /* ... */ }
fn q2() -> u32 { /* ... */ }
fn q3() -> u64 { /* ... */ }
fn q4() -> String { /* ... */ }

fn main() { …
Run Code Online (Sandbox Code Playgroud)

macros rust

1
推荐指数
1
解决办法
83
查看次数

CreateDialog返回0但获得ERROR_SUCCESS

以下代码返回0到错误wnd之后.对话框没有显示,我不明白这是怎么回事.这是一个控制台项目,如果相关,则在vs2013中创建对话框.CreateDialogERROR_SUCCESS

#include <windows.h>
#include "resource.h"

int main(){
    HWND wnd = CreateDialog(NULL, MAKEINTRESOURCE(IDD_DIALOG1), NULL, NULL);
    ShowWindow(wnd, SW_SHOWDEFAULT);
    UpdateWindow(wnd);
    MSG msg;
    while(GetMessage(&msg, NULL, 0, 0)){
        TranslateMessage(&msg);
        DispatchMessage(&msg);
    }
}
Run Code Online (Sandbox Code Playgroud)

这必须是一些非常愚蠢的错误,但我看不到它.

c user-interface winapi visual-c++

0
推荐指数
1
解决办法
202
查看次数

Javascript一个班轮范围阵列

javascript中的范围数组是否有一个很好的衬里,相当于python的list(range(m, n))?ES6允许.这是迄今为止我提出的最好的:

[x for(x of (function*(){for(let i=0;i<100;i++) yield i})())]
Run Code Online (Sandbox Code Playgroud)

javascript

-1
推荐指数
1
解决办法
745
查看次数