我的老板正在寻找一个.NET文本控件来构建一个自定义编辑器.这就是我们需要做的事情:
我们已经查看并拒绝了一些选项,包括TX Text Control(因为它的表编辑不够好,特别是它的列编辑功能)
编辑:
我似乎记得,除了匹配的结束标记之外,还有一个HTML标记可以完全避开其中的所有内容.有点像<plaintext>但不是从根本上打破.
我正在寻找一个工具(首选GUI但CLI可以工作),它允许我输入数学表达式,然后执行它们的操作,但限制我只有数学上有效的操作.此外,该工具必须能够保存会话,然后证明给定的已保存操作集是有效的.
注意:我不是在寻找一个生成校样的系统,只是检查我手动指定的步骤是否有效.
我已经使用ACL2进行类似的操作,并且它在某些情况下表现很好但是很难用于其他所有情况.
这个小项目是我的动力.它是一种D模板类型,允许求解方程.鉴于这个等式:
(A * B) = C + D / F;
Run Code Online (Sandbox Code Playgroud)
可以将任何一个符号设置为未知,并评估该表达式将导致对该变量的赋值.它的工作原理是将表达式树构建到类型中,然后使用重写规则将其转换为可以针对未知类型进行事件处理的事物.
我需要的是一些验证重写规则的方法.可以通过测试给定某种关系为真的断言来验证它们,另一种也是.
我有一个几何无向平面图,这是一个图,其中每个节点都有一个位置,没有2个边交叉,我想找到没有边穿过它们的所有周期.
这个问题有没有什么好的解决方案?
我打算做的是一种A*类似的解决方案:
有没有人看到这个问题?它会工作吗?
给定一个大的稀疏矩阵(比如说10k +乘以1M +),我需要找到形成密集矩阵(所有非零元素)的行和列的子集,不一定是连续的.我希望这个子矩阵在某些宽高比约束内尽可能大(不是最大和,但是最大数量的元素).
这个问题是否有任何已知的确切或aproxamate解决方案?
对谷歌的快速扫描似乎给出了很多接近但不完全的结果.我应该寻找什么条款?
编辑:只是为了澄清; 子矩阵不需要是连续的.事实上,行和列顺序是完全任意的,因此邻接完全无关紧要.
基于Chad Okere的想法的想法
我想从enumD2中的类型中获取名称和值.我知道我可以使用std.traits获取枚举值,但名称呢?
鉴于:
enum lst
{
apple,
bottle,
orange,
blue
}
Run Code Online (Sandbox Code Playgroud)
我想得到一个像关联数组.
string lstmap[int] = [1:"apple", 2:"bottle", 3:"orange", 4:"blue"].
Run Code Online (Sandbox Code Playgroud)
答案是肯定的.有人向我展示的解决方案是:
foreach (i, member; __traits(allMembers, lst)) {
lstmap[cast(int) __traits(getMember, lst, member)] = member;
}
Run Code Online (Sandbox Code Playgroud) 此代码在C#中具有明确定义的行为:
class Foo
{
static List<int> to = new List<int>( from ); // from is still null
static IEnumerable<int> from = Something();
}
Run Code Online (Sandbox Code Playgroud)
注意:我不是问如何修复该代码,因为我已经知道如何做到这一点
这有什么理由?C#已经进行了运行时检查,以检测对静态成员的第一次访问.为什么不将它扩展到每个成员的东西并让它们按需运行,甚至更好的让编译器在编译时弄清楚顺序?
顺便说一句:我认为同样的问题(或几乎相同)也适用于非静态成员.
是否有任何协议,系统等实验性的或以其他方式设计用于允许在非常高延迟的链路上进行正常(尽可能正常)的网络操作(电子邮件,DNS,HTML等)?我想的是几分钟到一个小时,或者两个小时.认为太阳系规模的光速滞后.
作为旁注:对社会影响的研究或推测每小时的通信延迟将是有趣的.目前的趋势往往是延迟几秒钟到几分钟(加上人们注意到你的电子邮件需要多长时间)和预先电话时间往往是几天到几周但我想不到任何事情,在最短的时间范围内有最小的时间延迟.
我有一个带有全局函数的python程序,测试很痛苦(它需要一个大型数据集才能正常工作).在测试调用它的函数时,解决这个问题的最佳方法是什么?
我发现以下工作(但它让我觉得使用它很脏).
模块foo:
def PainLiesHere():
return 4; #guaranteed to be random
Run Code Online (Sandbox Code Playgroud)
模块测试
import foo
def BlissLiesHere():
return 5
foo.PainLiesHere = BlissLiesHere
# test stuff
Run Code Online (Sandbox Code Playgroud) algorithm ×2
c# ×2
.net ×1
controls ×1
coq ×1
d ×1
escaping ×1
graph-theory ×1
html ×1
isabelle ×1
latency ×1
math ×1
mocking ×1
planar-graph ×1
proof-system ×1
protocols ×1
python ×1
reflection ×1
textbox ×1
winforms ×1