我正试着把我的头放在F-代数上，做得很好。我理解范畴中对偶的概念，但我很难理解F-余代数(F-代数的对偶)与Haskell中的惰性数据结构的关系。
F-代数是用一个具有函数的内切函子描述的:f a -> a，如果你把F看作表达式的话，这是有意义的，而a是计算该表达式的结果，正如链接文章所解释的。
作为F-代数的对偶，F-余代数的对应函数是-> F_ a，说F-余代数可以用来建立无限的、懒惰的数据结构。一个函子的-> F如何允许一个人创建无限的、懒惰的数据结构？同时，考虑到这一点，既然Haskell处于核心懒惰状态，那么Haskell F-余代数中的大多数数据类型是否代替了F-
浏览 2提问于2014-07-21得票数 10
回答已采纳
Monad是一个内切函子范畴中的幺半群。内函子是映射到自身的函子。什么意思？这意味着，无论把集合中的哪个元素作为输入，输出值也必须属于同一个集合。我知道，如果函数的输入是整数，那么函数的输出也必须是整数。
顺便问一下，我们在看哪种方法/函数/函子？它是构造函数被认为是内皮函数吗？或者可能是绑定操作符？如果是后者，那么如何检测输入和输出元素是否属于同一个集合，考虑到我们有多个输入参数而只有一个输出参数？
如果我们假设构造函数是内皮函数，那么当我们处理Maybe结构时，我们接受一个类型并返回一个不同的类型。在这种情况下，我有一些问题：
因为它是一个程序，所以输入和输出类型不应该匹配吗？例如，如果我
浏览 0提问于2022-07-16得票数 2
回答已采纳
这里有一个CTF密码挑战“喜欢”(它的编写在https://ctftime.org/writeup/15438上公开)：
N = p*q\\ c1 = (2*p + 3*q)^{e_{1}} mod N\\ c2 = (5*p + 7*q)^{e_{2}} mod N
在我将这些转化之后：
(c^{e_2}_1)\equiv (2p)^{e_1e_2}+(3q)^{e_1e_2}\pmod{N}\\ (c^{e_1}_2)\equiv (5p)^{e_1e_2}+(7q)^{e_1e_2}\pmod{N}
在乘积5^{e_1e_2},2^{e_1e_2}从两个方程中取消p之后，我可以解
浏览 0提问于2023-05-04得票数 1
回答已采纳
1回答
我想我在iOS捷克联系人中发现了一个窃听器。我创建了一个捷克联系人(与捷克共和国国家)，我在我的应用程序中选择了一个ABPeoplePickerNavigationController。
ABPeoplePickerNavigationController返回给我的地址日志是：
"Country" : "Czech Republic"
"Street" : "A street"
"CountryCode" : "cs"
"City" : "A city"
"Z
浏览 3提问于2012-06-07得票数 0
我对谷歌单张公式非常陌生。我试图转换这个公式：
=INDEX(PRX_ARM,MATCH(ELECTRICITE!E97,OFFSET(PRX_ARM_C1,0,MATCH(ELECTRICITE!G97,PRX_ARM_L1
,1)-1),1), MATCH(ELECTRICITE!G97&"1",PRX_ARM_L1,1))+
ELECTRICITE!H97*INDEX(PRX_REL,2,2)+
ELECTRICITE!I97*INDEX(PRX_REL,3,2)+
ELECTRICITE!J97*INDEX(PRX_BP_VOY,2,2)+
ELECTR
浏览 4提问于2022-01-28得票数 1
回答已采纳
在公钥加密(RSA方案)中，加密密钥e和解密密钥d是相反的。如果是这样的话，当e为3时，为什么d的值不是1/3，因为3和1/3是相反的呢？
浏览 3提问于2017-01-09得票数 0
1回答
我在做一个密码学项目。我们需要使用NTL大num库，特别是使用库的CRT函数来生成公钥。这个库的CRT函数没有使用标准的中国剩余定理算法，它是一个修改的版本，我很难准确理解它的工作原理。
CRT(a，b，c，d)
据我所知，如果a%b == c%d，则CRT返回1，但在设置b= 5，d=6和a=c是1-6之间的随机整数的情况下，情况并不总是这样：
a%b: 3c%d:3 CRT: 1
a%b: 0 c%d: 5 CRT: 1
a%b: 2 c%d: 2 CRT: 0
a%b: 1 c%d: 1 CRT: 0
a%b: 4c%d:4 CRT: 1
a%b: 1 c%d: 0 CRT: 1
下面是
浏览 1提问于2014-10-31得票数 3
回答已采纳
1回答
我有一个困难的时间跟踪基数点，为这个遵循霍纳的规则使用不动点算法。
int16_t horner(int16_t q)
{
const int16_t c0 = 0x0033;
const int16_t c1 = 0x0055;
const int16_t c2 = 0x001C;
const int16_t c3 = 0x0048;
const int16_t c4 = 0x0200;
horner_rule = c0 + q * (c1 - q * (c2 + q * (c3 - q * c4)));
return horner
浏览 2提问于2017-11-01得票数 1
虽然我理解RSA算法是如何工作的，但我不明白当CPU需要使用mod函数时，它是如何工作的，例如，它需要使用大量的n。
n = 8192位；c = m^e \mod n；
本质上，我的问题是CPU如何处理这个巨大的模数？
浏览 0提问于2016-05-26得票数 41
回答已采纳
2回答
有没有办法在C中定义一个二维数组？类似于：
typedef char[10][10] board;
这个例子不能编译。有什么办法可以做到吗？或任何其他解决方案？
浏览 0提问于2013-07-21得票数 16
回答已采纳
2回答
我正在试着为AKS primality test写一个Python程序。 第五步声明为if (X+a)^n≠ X^n+a (mod X^r − 1,n), output composite;，但当模数有两个参数时，我不确定该怎么做：Xr-1和n。在这种情况下，它应该计算什么？ 我理解a(mod b)的意思是用b = a除以一个数字后的余数，但不确定这两个参数是什么意思。
浏览 114提问于2019-05-07得票数 0
回答已采纳
我需要创建一个用C实现的算法，它可以在任意数量的字节和一个字节之间进行模运算。请看以下内容：
typedef struct{
u_int8_t * data;
u_int16_t length;
}UBigInt;
u_int8_t UBigIntModuloWithUInt8(UBigInt a,u_int8_t b){
}
对于2的幂可以使用a& (b-1)，但是2的非幂呢？
我意识到一种方法是:a- b*(a/b)
这将需要使用UBigIntDivisionWithUInt8、UBigIntMultiplicationWithUInt8和UBigIntSubtr
浏览 3提问于2012-05-04得票数 4
回答已采纳
我正在使用这些函数，我想知道为什么它们的末尾有一个48？我试着搜索了一下，但似乎什么也找不到。是数学上的还是历史上的？
浏览 0提问于2012-02-15得票数 2
回答已采纳
RSA (因式分解)的可能攻击:如何改进？
如果存在一个非平凡的负k，则可以对D1进行分解。
\frac{(N*(9+24*k)-3)}{8}=-6*m^2
给定系统
\frac{[[8*[\frac{(N*(9+24*k)-3)}{8}+2*x^2*h^2-2*x^2+2*x*h-2*x]+3+6*n-(n*(n+4))]-4*n*y-3]}{8}-[4-\frac{(-(2*h-2)-7)*(-(2*h-2)-5)}{8}] = -(2*h-2)*(h*x-1)
，
h=-4*sqrt[\frac{-(N*(9+24*k)-3)}{48}]
，
n=h^2-1
，
(4*x+
浏览 0提问于2022-10-24得票数 2
回答已采纳
2回答
我已经有一段时间没有使用Laravel了，并且已经开始创建一个新的项目。
无论我如何尝试创建一个新项目，无论是通过安装程序、编写器，甚至是在SwiftMailer安装上破坏的存储库(请参阅下面的控制台)。
它确实指出，在错误中，迅捷邮件文件夹已经存在，但这是在安装期间创建的，它似乎要创建它两次，我删除了整个供应商文件夹并重新运行了安装，并且它仍然存在。
我已经重新安装了composer / laravel和最新的windows 10，
安装egulias/email-验证器(2.1.3)：下载(100%)
安装迅捷邮件/迅捷邮件(v6.0.2)：下载(100%)未能从dist下载迅捷邮
浏览 0提问于2018-01-26得票数 0
1回答
全
我在做sf/plf章Equiv。有个练习
，我们证明了cequiv关系是命令上的等价关系和同余关系。你能想到命令上的关系是等价的，而不是同余的吗？
我不太明白等价和一致之间的区别。看起来两个程序的行为等价。有谁能解释一下这件事吗？
谢谢
浏览 2提问于2022-05-15得票数 0
回答已采纳
1回答
我需要一个非常简单的伪随机生成器(没有任何具体的质量要求)，而且我发现微软用于rand() C运行时库函数的LCG算法的变种符合我的需要(gcc的一个似乎太复杂了)。
我在这里找到了算法：
http://rosettacode.org/wiki/Linear_同余_generator#C
然而，我担心该算法(包括它的“幻数”，即系数)可能会通过专利或限制以另一种方式使用。
是否允许在没有任何许可或专利限制的情况下使用此算法？
我不能使用库rand()，因为我需要我的结果在不同的平台上完全可复制
浏览 0提问于2012-12-18得票数 3
回答已采纳
1回答
传统上，Haskell中的函子应该支持同一性和构图规律。在Agda中，这些法律应该正式化，但是标准库只提供RawFunctor的(即没有法律的fmap )。在函子正规化的过程中，出现了几个问题：
函子一般应该支持同余吗？
是的:在任意的Setoid或只是Relation.Binary.PropositionalEquality.setoid上
是的:函子应该接受或提供Function.Equality.Π吗？
否:身份法应支持哪些身份功能？所有这些(即(id′ : A → A) → id′ ≗ id)？
否:函数应该如何要求一个支持同余的函子？
不:什么(真实世界？)函子不
浏览 5提问于2014-03-05得票数 1
1回答
接口泛型过载
、、
我可以在c#中完成以下操作。在kotlin或java中也可以这样做吗？
public interface IFactory<in TModel, out TOutModel>
{
TOutModel Create(TModel model1);
}
public interface IFactory<in TModel1, in TModel2, out TOutModel>
{
TOutModel Create(TModel1 model1, TModel2 model2);
}
浏览 2提问于2017-12-13得票数 1
回答已采纳
5回答
假设我有一个通用接口：
interface MyComparable<T extends Comparable<T>> {
public int compare(T obj1, T obj2);
}
和一个方法sort
public static <T extends Comparable<T>>
void sort(List<T> list, MyComparable<T> comp) {
// sort the list
}
我可以调用这个方法并传递一个lambda表达式作为参数：
L
浏览 75提问于2014-03-23得票数 115
回答已采纳
5回答
嗨，我正在尝试理解一个公式，并用c#编写它，但到目前为止，我还不能理解这个公式是做什么的，有人能解释一下吗？
if(if(c57=> d57;g57;h57)<>0;(((if(c57>=d57;d57;c57))*100/11))/(if(c57 >=d57;c57;d57)));(100/11)))
真正让我迷失的是<>0，我在谷歌上搜索了一段时间，但到目前为止还没有找到它的功能。有人能解释一下吗？
浏览 0提问于2013-04-17得票数 2
回答已采纳
3回答
(免责声明:我不能100%确定codatatype是如何工作的，特别是当不引用终端代数时)。
考虑“类型的类别”，类似于，但是有任何适合讨论的调整。在这一范畴内，人们认为(1)初始代数定义了数据类型，(2)终端代数定义了余数据类型。
我正努力说服自己相信(2)。
考虑函子T(t) = 1 + a * t。我同意最初的T-algebra是定义良好的，并且确实定义了[a]，a的列表。根据定义，初始T-algebra是一个类型X和一个函数f :: 1+a*X -> X，因此对于任何其他类型的Y和函数g :: 1+a*Y -> Y，正好有一个函数m :: X -> Y，例如m . f
浏览 5提问于2021-11-26得票数 13
回答已采纳
我正在为我的离散数学课程做一些考试准备，我必须实现这个函数
f(x) =(9^x)-2)%5
由于赋值中x的值为100000 <x <= 1000000，所以我在处理溢出时遇到了一些问题
在我们的作业中有一个提示：“想办法在整个计算过程中应用模数，否则计算9^x时会很快得到太大的数字。”
我想不出有什么逻辑能使这件事顺利进行，如果能提供任何帮助，我将不胜感激。
/* This function should return 1 if 9^x-2 mod 5 = 2 and 0 otherwise */
int is2mod5(int x){
int a;
double
浏览 7提问于2022-01-19得票数 2
我试图调用函数中的值，而代码出现错误时失败了：
int对象没有属性__getitem__
请解释并建议我应该尝试什么。下面是python代码：
def congruential(a, m, x):
x_0 = x
for i in range (5):
x_0[i] = (a * x_0[i-1]) % m
if x_0[i] == x_0[0]:
break
print 'Value of X0 =', x
print 'Value of a = '
浏览 0提问于2016-11-20得票数 0
我构建了一个API来获取来自MongoDB的响应，这给了我以JSON数据的形式的响应。我尝试过许多解决方案，在ng-重复的帮助下迭代JSON数据上的循环，但它对我没有作用。这里是HTML，JS代码，mine..and的响应，我从服务器上得到的响应。
谢谢你
<div ng-controller="afterLoginController" >
<button ng-click="view()" ng-show="view_buttons"> View Attendance </button>
浏览 0提问于2017-09-05得票数 0
回答已采纳
如果我想向ADLA帐户提交一个U-SQL脚本，我可以使用下面的powershell cmdlet这样做。
`
Submit-AzureRmDataLakeAnalyticsJob -Account $adlaAccountName -ScriptPath $USQLFile -Name $folder -DegreeOfParallelism $degreeOfParallelism -Verbose`
但是，我无法提交针对本地ADLA帐户的脚本。我正在犯错误：
Submit-AzureRmDataLakeAnalyticsJob : Run Login-AzureRmAccount to l
浏览 2提问于2016-11-23得票数 1
回答已采纳
1回答
{{my-component can-delete=true canDelete=true}}
在my-component模板中，我希望从attrs对象访问can-delete。
{{attrs.can-delete}} <!-- does not work, prints blank, should print true -->
{{attrs.canDelete}} <!-- works, prints true-->
我试着使用get helper
{{get attrs 'can-delete'}}
但是会得到一个错误Uncaught Error
浏览 1提问于2015-10-28得票数 0
2回答
我一开始使用的语言是假设为我挑选了一些{a^i b^j c^k | i,j,k>=0 & i>j & j>k}，这样一个字符串就可以
z = a^m b^(m-1) c^(m-2)
然后，字符串被分成(z =) uvwxy和#(vwx)<=m，这样vx就不会为空，然后当我选择一个"i“时，我就会感到困惑。假设我选择了vwx，然后我有：uv^1wx^1y，我不完全确定从哪里开始，因为对我来说，我看起来可以选择语言中的vwx。
有什么建议吗？
浏览 14提问于2010-11-11得票数 6
回答已采纳
嗨，我一直在尝试使用Fortify扫描向导来扫描尚未构建的c#存储库，而且我无法构建它。看起来Fortify并没有收集cs文件/甚至找不到它们。
我读了一些帖子，并说，只有在C#项目上使用Fortify时，才能使用它。您可以编译它并拥有一个.pdb文件；或者2。您必须在visual中使用fortify插件并构建它。
我只想对一个C#项目做一个简单的预编译静态代码分析。我没想到Fortify不能这么做。如果有人能证实这一点，那就太好了。
浏览 4提问于2017-01-13得票数 3
回答已采纳
我正在寻找一些PRNG，并且--因为我已经使用了很长一段时间--我认为BitInteger类以及Random类都可以生成一些大的伪随机数。
这些代的算法是加密安全的，还是仅仅是某种a + (b - c) mod d或类似的操作？
浏览 0提问于2012-03-24得票数 1
回答已采纳
5回答
我以前是在(天真的)假设下，模运算符返回除法的剩余部分。我显然错了，因为-2%5返回3。我本以为5除以-2零次，余数为-2。
现在我理解了这个操作是如何执行的，但我的问题是为什么？谁能给我一个链接，解释为什么模数和余数不是同义词，或者是一个有用的情况的例子？
浏览 2提问于2011-07-20得票数 2
回答已采纳
1回答
模表达式算术方程
、、
如何解决：(2a^2-195)mod26=1
我尝试了下一种方法: x=(2a^2-195)，if x mod26=1 then x=27,53,79,105...但是找不到答案，我怎么能在数学上解决这个问题？
谢谢!
浏览 3提问于2012-02-23得票数 0
回答已采纳
随机数生成器是如何工作的？(例如在C/C++ Java中)
如何编写自己的随机数生成器？(例如在C/C++ Java中)
浏览 15提问于2009-11-12得票数 35
2回答
我有这样的公式：
index = (a * k) % M
它将数字'k‘从一个不同数字的输入集K映射到它在哈希表中的位置。我想知道如何编写一个非蛮力程序来找到这样的'M‘和'a’，这样'M‘是最小的，并且给定的集合K没有冲突。
浏览 0提问于2015-08-09得票数 7
回答已采纳
就像标题上说的，我有这样的代码：
void Emulator::cpu16BitLoad(char& hi, char& lo)
{
m_cyclesThisUpdate += 12;
short n = readShort();
m_programCounter += 2;
lo = n;
hi = n << 8;
}
我想知道我的变量'lo‘是否包含n的最后8位
浏览 0提问于2014-08-26得票数 0
我正在尝试在Kiama中实现一个“提交的选择”操作(以及一些以类似方式工作的其他函数)。
我想重写一个术语，只要它的一个子术语可以成功重写(其想法是，一旦你开始任何一个分支，你就是承诺的)。
目前，我可以这样做：
import org.kiama.rewriting.Rewriter
import org.junit.Test
case class B(l:L,r:L)
case class L(s:String)
class RewriteExperiment extends Rewriter {
def r1 = rule {
case L(l) if l.s == "
浏览 6提问于2013-04-05得票数 2
回答已采纳
我已经证明了这个简单的规则：
lemma AAA: the_sector (log_update ?f ?s) ?p = the_sector ?s ?p
该规则不用于简化以下内容：
lemma BBB: "(λA. if A then (the_sector (log_update f s) p) else B)
=
(λA. if A then (the_sector s p) else B)"
我知道我可以应用auto或(rule ext)和simp来证明这个引理，但我的最终目标是比函数相等更糟糕的东西。我认为关键是在if条件下使用函数变量A。我想理解为什么s
浏览 1提问于2015-04-27得票数 2
回答已采纳
在运行我的简单Java程序时，我得到了以下错误。这会让我做一个更大的模块。
误差
C:\Java prog>javac Testt.java
Testt.java:10: cannot find symbol
symbol : variable charAt
location: class java.lang.String
kk=k.charAt[i];
^
程序
class Testt
{
public static void main(String args[])
{
String k="my name is bhola ram
浏览 2提问于2011-04-15得票数 0
1回答
试图在我的Ubuntu12.04虚拟机上安装pbh5-tools。我遇到了无数的问题，试图让程序安装。我知道错误：
In file included from /tmp/easy_install-BEtAkS/h5py-2.5.0/h5py/defs.c:287:0:
/tmp/easy_install-BEtAkS/h5py-2.5.0/h5py/api_compat.h:27:18: fatal error: hdf5.h: No such file or directory
我已经尝试下载libhdf5-dev来解决这个问题，但是当我使用sudo apt-get libhdf5-dev时
浏览 0提问于2015-05-31得票数 2
1回答
我试图弄清楚如何对32位整数(4个字节)进行校验和。
它应该可靠地检测数字中的错误，并且尽可能容易计算。
想法：
(bytes: a,b,c,d)
cksum = (((a xor b) xor c) xor d)
cksum = (((a / b) / c) / d)
这是否适用于简单的检查，还是我应该尝试实现一些更“主流”的东西，如adler或crc？我只需要检查数字是否正常，而不是修复错误或类似的东西。理想情况下，校验和是8位长。
我正在8051的程序集中实现这一点
浏览 5提问于2015-04-14得票数 1
回答已采纳
1回答
我正在读一些，我不知道下面的代码是做什么的：
% degrees and regularization
d = sum(abs(W),2);
dr = 0.5 * (d - sum(W,2));
d = d + offset * 2;
dr = dr + offset;
W = W + spdiags(dr,0,n,n);
offset被定义为0.5。
W是一个方形的、稀疏的、对称的矩阵(w_ij是由像素i和j之间的相似性定义的)。然后使用W求解特征值问题d^(-1/2)(D-W)d^(-1/2) x = \lambda x。
由于权值的定义方式，w_ij's都是正的，所以dr是0的向
浏览 1提问于2014-11-23得票数 2
回答已采纳
2回答
我正在开发一个应用程序，在那里我需要实现图像的改变分页。我使用的代码是。
index.html
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0">
<link rel="stylesheet" href="css/demo.css" type="text/css"
浏览 0提问于2012-07-05得票数 0
1回答
我正在创建一个多语言应用程序。与我尝试过的使用.resx文件相比，对翻译功能的要求要复杂得多。
我正在调用一个are服务，它返回一个包含所需翻译的数据集，然后将这些翻译保存到静态类Translation中。在这个类中，我有一个datatable，数据集被转换为对象，然后添加到datatable中。
因此，datatable类似于其他教程中使用的dataset。当我想要翻译视图中的关键字时，问题就出现了。我尝试的第一件事是在我的控制器中声明一个关键字列表，翻译这些关键字，并在ViewData"Translations“中传递字典。这很有效，但这种方法的效率不够高。
在下面的示例中，可以只
浏览 1提问于2013-10-25得票数 0
2回答
我想知道在二进制中有没有除以3的整除规则。
例如:在小数中，如果数字和除以3，则数字除以3。例如：15 -> 1+5 = 6 -> 6除以3，因此15除以3。
需要理解的重要一点是，我并不是在寻找可以做到这一点的代码。bool flag = (i%3==0)；不是我要找的答案。我寻找一些人类容易做的事情，就像十进制法则一样。
浏览 7提问于2016-09-08得票数 21
回答已采纳
1回答
与我交谈的那些受过良好教育和专业的合作伙伴总是或多或少地谈论一致性(即我们不应该能够证明错误的东西)，...Yet我提出了一个反例。对所有事情撒谎似乎是“始终如一”的，但并不一致。因此，我建议我们在谈论语言时应该谈论一致性，因为一致性似乎更多地是关于纯粹的逻辑。我们能否详细说明一下这个主题，因为仍然更强调一致性而不是一致性？谢谢
浏览 0提问于2011-02-11得票数 0
回答已采纳
设计了一种算法，将输出最小整数'x‘，其中只包含数字1's和0's，使x模n=0和x>0……例如：
2除10
3除111
4除100
5除10
6除1110
7除以1001等。
1's和0's在10位代表中。
我知道我们可以用鸽子洞原理来解决这个问题，但在这个问题上，我们感兴趣的是最小的数目。
我正在考虑使用一种类似于子集和问题的DP方法，其中集合包含1、10、100、1000等等。对于这个问题，我还不完全清楚该如何制定递推关系。谁能给点洞察力吗？
浏览 0提问于2015-02-08得票数 2
回答已采纳
云服务器
ICP备案
对象存储
腾讯会议
实时音视频
腾讯云开发者
