标签: notation

我正在尝试找到一种以工程表示法将度量和单位自动格式化为String的方法。这是科学计数法的特例，因为指数始终是3的倍数，但使用千，兆，毫，微前缀表示。

除了应该处理整个SI单位和前缀范围之外，这与本帖子类似。

例如，我正在寻找一个将格式化以下数量的库：12345.6789 Hz将被格式化为12 kHz或12.346 kHz或12.3456789 kHz 1234567.89 J将被格式化为1 MJ或1.23 MJ或1.2345 MJ，依此类推。

JSR-275 / JScience可以很好地处理单位度量，但是我还没有找到可以根据度量的大小自动算出最合适的缩放前缀的东西。

干杯，山姆。

什么是 Theta 符号的简单英文解释？使用尽可能少的正式定义和简单的数学。

theta 表示法与 Big O 表示法有何不同？谁能用通俗的英语解释一下？

在算法分析中有怎么用？我很迷惑？

只是想知道，例如在维基百科页面Dijkstra's algorithm中绝对值条的含义是什么O(|E| + |V|log|V|)

在我一直在工作的公司中,我已经看到很多使用前缀来指示变量的范围或来源,例如m对于类成员,i方法内部变量和a(或p)方法参数:

public class User {

    private String mUserName;

    public String setUserName(final String aUserName) {
        final String iUserName = "Mr " + aUserName;
        mUserName = iUserName;
    }

}

你怎么看待这件事？是推荐(或者确切地说不是)？我发现它在第一阶段非常难看,但是我使用的越多,我就越发现在使用大方法时非常方便.

请注意,我不是在谈论匈牙利符号,前缀表示类型而不是范围.

我在C#5.0中阅读Async,编译器转换部分包含以下代码段:

public Task<int> AlexsMethod()
{
    <AlexsMethod>d__0 stateMachine = new <AlexsMethod>d__0();
    stateMachine.<>4__this = this;
    stateMachine.<>t__builder = AsyncTaskMethodBuilder<int>.Create();
    stateMachine.<>1__state = -1;
    stateMachine.<>t__builder.Start<<AlexsMethod>d__0>(ref stateMachine);
    return stateMachine.<>t__builder.Task;
}

有两段符号对我来说是新的.首先是<AlexsMethod>d__0.第二是stateMachine.<>4__this.当我自己尝试时它们都不起作用,所以我怀疑它只供编译器使用.但是我在搜索有关这种符号的意图的更多信息时遇到了麻烦.

所以,我已经成功地编写了Fibonacci序列来创建一个array带有数字序列的序列,但我需要知道该数字的长度(多少位数)500th.

我已经尝试了下面的代码,但它找到了科学记数法的长度(22位数),而不是应该返回的正确的105.

有关如何将科学记数法转换为实际整数的任何想法？

var fiblength = function fiblength(nth) {
    var temparr = [0,1];
    for(var i = 2; i<=nth; i++){
        var prev = temparr[temparr.length-2],
            cur = temparr[temparr.length-1],
            next = prev + cur;
            temparr.push(next);
    }
    var final = temparr[temparr.length-1].toString().length;
    console.log(temparr[temparr.length-1]);
    return final;
};
a = fiblength(500);
console.log(a);

有没有理由c的语言设计者使用星形来定义指针类型

int* x;

和取消引用指针？

int y = *x;

对两个不同的东西使用相同的字符似乎令人困惑,特别是因为它们总是在相同的上下文中使用.

在Coqide中,我希望证明状态不使用某种符号(但仍然使用所有其他符号).

这可能吗？

我已经看到"评估为"的Coq符号定义如下:

Notation "e '||' n" := (aevalR e n) : type_scope.

我试图将符号更改为'||'其他符号,这||通常用于逻辑or.但是,我总是得到一个错误

 A left-recursive notation must have an explicit level

例如,当我'||'改为:

'\|/','\||/','|_|', '|.|','|v|',或'|_'.

||这里有什么特别的东西吗？我应该如何修复它以使这些其他符号起作用(如果可能的话)？

简而言之

我正在尝试为 C 库设计一个更好的 C++ 接口，该库通过通信通道（à la iostreams vs stdio）发送树状表达式。我不确定是否有可能在 C++ 中设计一个 DSL 来标记这些树，同时避免运行时开销，如果是，如何。

C 库的简化说明

有一个 C 库可以通过通信通道发送“表达式”。这里的“表达式”是指可以方便地以类似于函数调用的方式表示的树结构。

例如，

f(1, 2, g(3), "foo")

表示这棵树：

^{你们中的一些人此时可能认识Mathematica，但我决定将其排除在外，因为它与问题无关。}

我们指的f是头和1，2，g(3)为参数。

要发送此表达式，我们将编写以下内容：

f(1, 2, g(3), "foo")

题

是否可以为此设计一个具有以下功能的更方便的 C++ API？

1. 写得更简洁（想想iostreamsvs stdio）
2. 无需明确指定每个头的参数计数；而是使用方便的符号（类似于f(1,2,g(3))上面的），从中它自动推断参数计数
3. 实现 (2) 没有运行时开销（即在编译时推断参数计数）
4. 必须在幕后使用上述C接口

我可以用一个类似流的接口来做（1）（即不需要显式指定每个参数的整数、字符串等的类型）。我可以以涉及额外运行时计算的方式执行 (2)。但我不知道考虑到 C++ 的特性，(2)/(3)是否可以一起使用。最终，我希望在 C++ 本身中为这些表达式提供一个方便的符号。

那么是否有可能在 C++ 中为此设计 DSL，同时避免所有运行时开销？如果是，如何？我不一定要寻找以代码为答案的完整解决方案，只是一些入门指南，或者可能有效的方法的摘要。