小编Jør*_*ogh的帖子

如何在双显示器上设置IntelliJ?

我刚刚在运行64位Ubuntu 10.04的机器上安装了IntelliJ 9.0.2.

如何在第二个屏幕上显示另一个窗口?

我想在两个屏幕上都有一个编辑器和一些工具窗口.

multiple-monitors intellij-idea

60
推荐指数
3
解决办法
3万
查看次数

有没有LaTeX语法的计算器?

当我在LaTeX中编写数学时,我经常需要对我的LaTeX源中的数字执行简单的算术运算,比如515.1544 + 454 = ???.

我通常将LaTeX代码复制粘贴到Google中以获得结果,但我仍然需要手动更改语法,例如

\ frac {154,7} {25} - (289 - \frac {1337} {42})

必须改为

154,7/25 - (289 - 1337/42)

为最常用的操作编写程序来执行此操作似乎微不足道.有没有一个理解这种语法的计算器?

编辑:我知道完美地做这件事是不可能的(因为停止问题).为我需要的简单案例做这件事是微不足道的.\ frac,\ cdot,\ sqrt和其他一些标签就行了.该程序可能只是为它不理解的情况返回错误.

math latex calculator

41
推荐指数
7
解决办法
5万
查看次数

学习类别理论的资源

我很快就会上一门类别理论课程.

您可以推荐哪些资源来学习它?

哪些部分与学习相关,以及我如何学习应用我的知识?

math haskell category-theory

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

你如何在Eclipse中对Scala进行单元测试?

我正在学习Scala,并希望在Eclipse中设置集成单元测试.据我所知,通过谷歌搜索,ScalaTest是可行的方式,可能与JUnit结合使用.

您在Eclipse中对Scala进行单元测试的经历是什么?我应该使用JUnit跑步者还是其他什么?

eclipse junit unit-testing scala

15
推荐指数
3
解决办法
9237
查看次数

缓存理论

是否存在统一的缓存理论?也就是说,构建缓存和/或优化它们的定理和算法的集合?

问题是故意广泛的,因为我正在寻找的结果也很广泛.最大可实现加速的公式,缓存算法的指标,类似的东西.大学级的教科书可能是理想的.

theory caching

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

抽象解释的简短实现示例

我正在学习抽象解释课程,但我还没有看到任何关于理论如何映射到实际代码的例子.

我正在寻找简短的代码示例,我最好不必使用整个编译器.分析不一定有用,我只想看一个分析得出然后实现的例子.

有没有人知道任何这样的例子,也许是从大学课程?

abstract-interpretation

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

如何执行boost.test库中指定的测试套件

我正在使用 Boost.Test 库在 C++ 中实现单元测试用例。假设我有两间套房,例如

BOOST_AUTO_TEST_SUITE(TestA)
BOOST_AUTO_TEST_CASE(CorrectAddition)
{
BOOST_CHECK_EQUAL(2+2, 4);
}

BOOST_AUTO_TEST_CASE(WrongAddition)
{
    BOOST_CHECK_EQUAL(2 + 2, 5);
}

BOOST_AUTO_TEST_SUITE_END()

BOOST_AUTO_TEST_SUITE(TestB)
BOOST_AUTO_TEST_CASE(CorrectAddition)
{
bool ret = true;
    BOOST_CHECK_EQUAL(ret, true);
}
BOOST_AUTO_TEST_CASE(WrongAddition)
{
    BOOST_CHECK_EQUAL(2 + 2, 5);
}
BOOST_AUTO_TEST_SUITE_END() 
Run Code Online (Sandbox Code Playgroud)

我只想运行套件“TestB”,我该如何执行它。我真的很感谢您的时间和帮助。抱歉,如果此问题已在其他地方发布或记录。

testing boost unit-testing test-suite

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

ASP.NET WebAPI 2异步过滤器

WebAPI 2支持异步过滤方法.我没有看到这种异步过滤方法的意义,或者我想念它们?由于过滤器需要在控制器方法之前执行,因此它必须同步运行!?为什么异步过滤器会带来优势呢?它与webapi中的线程处理有关吗?我的问题清楚了吗?提前谢谢你的回答!最好的劳林

c# asp.net asynchronous asp.net-web-api

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