我们目前使用的是基于RCS的源代码控制系统和相关的问题跟踪系统，这两个系统都带有Motif。没有正式的生产建设过程，它只是工作。我感兴趣的是：
还有什么？我感兴趣的不仅仅是您所使用的工具，还包括您所使用的工具的集成程度，它们的设置和使用是否容易，以及开发人员和<
浏览 6提问于2009-03-01得票数 10
回答已采纳
我将在明年开始我的第一年(在大学)的计算机科学，我主要写C(如果这是重要的话)。我尝试过搜索，但我发现的大多数假设都是关于λ微积分的知识。为什么人们认为lambda微积分比单变量微积分在编程中更有用？是阿隆佐·丘奇在λ微积分方面的工作影响了编程语言的发展吗？
学校外的每个人都在不停地讨论这个问题，我不知道他们会说些什么，尽管我渴望学习它，看看它与我的编程和对编程语言的理解有什么直接的关系。
浏览 0提问于2014-10-18得票数 14
回答已采纳
2回答
我最近一直在学习λ微积分.我理解了非类型化和类型化λ-微积分之间的区别。但是，我不太清楚辛德雷-米尔纳式系统和类型的λ-微积分之间的区别。是关于的，还是有其他的区别？
浏览 0提问于2018-10-01得票数 6
回答已采纳
我在Magento企业版的一个项目上工作，需要使用该网站的奖励积分系统。我在管理面板中设置了奖励积分系统，并允许客户获得260个奖励积分。但是当我尝试结账时，没有显示使用奖励点购买产品的信息。我已经启用了奖励积分，并且我想我已经输入了所有必要的设置。我可能遗漏了什么，或者我应该如何解决这个问题？
浏览 4提问于2013-07-19得票数 4
回答已采纳
您是否知道一个好的支付网关与“购买积分”集成在一个php+mysql网站？如果不是很清楚，我是指那些系统，你可以购买50个学分(ala Facebook)，你可以花他们玩游戏或访问任何网站的限制内容？
这是我这边必须做的事情，还是销售网关的公司做了完整的包？
浏览 1提问于2010-09-29得票数 0
回答已采纳
1回答
我只想问一问，是否有可能用一个类型系统来构造一种语言，以解决内存管理问题(内存泄漏、悬空指针、双free()等等)。通过自动证明任何程序的正确性，其类型类似于一个积分的coq定理证明器(在程序的思维中作为证明)？
这种方法是否有一个基本的逻辑问题(也许是停止问题？)还是根本不可行？
浏览 2提问于2017-12-06得票数 1
回答已采纳
1回答
使用任何现有的语言类型系统实现任何像图灵机那样强大的计算模型。当然欢迎您使用需要编译器选项才能激活的可选类型系统特性。例如，在实现脑盘中有一个C++模板元编程。事实上，brainfuck比需要的更复杂，因为它提供了与磁带分离的用户
浏览 0提问于2012-03-30得票数 4
2回答
我正在尝试添加一个非常简单的积分系统到一个网站。在我的SQL数据库中，有一个用于奖励积分的表，因为管理员可以将用户的积分增加任何数量，以及积分增加的理由。所以，简化一点，这个表包含了每次管理员奖励积分的点数、理由和用户an。到目前一切尚好。
然而，网站上有10个用户组在争夺最高的总分。一个用户组的积分总数很容易达到15000，因为该网站已经有超过10000名成员(诚然，大多数都是不活跃的)。我想有一个排行榜来显示竞争的用户组和他们的总
浏览 0提问于2013-02-26得票数 2
回答已采纳
2回答
这学期我要开始学习微积分了。我以前使用过编程(或脚本)语言，主要是PHP和C#。我没有做太多低级的工作。我总是能看到微积分和编程之间的相似之处--几乎就像数字命理学--那么微积分和编程语言是如何联系起来的呢？
潜意识里，我知道有关系，但我不认为我知道正确的术语来描述它。
浏览 3提问于2010-08-31得票数 1
回答已采纳
1回答
到目前为止，这只是我用C语言编写的第二个代码。早些时候，我用Java编程，这样我就可以从那里传递一些习惯。= EOF ) { }
fclose
浏览 0提问于2021-04-07得票数 2
回答已采纳
2回答
我们的项目需要跨多个操作系统和语言(Windows、Linux、Java、C++、C#等)管理多个系统。我们正在查看系统部分的WMI，但是一些Java片段公开了用于管理的JMX接口。是否有任何工具可以巩固这些系统的管理或简化WMI与JMX的集成？
浏览 0提问于2009-05-29得票数 2
因此，如果一种语言符合某些标准，它就可以说是图灵完整的。米尔纳的通信系统微积分(CCS)是图灵完成。但是，我找不到任何证据。有证据证明吗？
浏览 3提问于2014-06-12得票数 1
回答已采纳
5回答
有一些程序设计语言存在包管理系统：CPAN for PerlMaven for Java红宝石宝石用于前端Javascript和CSS的鲍尔作曲家 for PHP
这样的系统还有其他语言吗？C和C++呢？(这是主要问题！)为何他们没有这样的制度呢？为yum、apt-get或其他通用包管理</em
浏览 0提问于2012-10-20得票数 96
1回答
虽然我已经建立了实际的积分系统和用户名和密码的数据库，但我一生都无法解决如何实现管理员添加积分的前端方式，并给出原因，一旦管理员登录，就会出现在用户页面上。如能提供任何帮助，将不胜感激
浏览 4提问于2015-12-27得票数 1
回答已采纳
1回答
我的系统分为三种不同的编程语言: C#、C++和Java。前两个是在两个独立的Visual Studio解决方案中管理的，后一个是在Eclipse项目中管理的。我想使用分布式版本控制系统解决方案(DVCS)来管理这三个版本的源代码。特别是多变的。B.每个面向语言的项目都有一个存储
浏览 1提问于2011-12-05得票数 1
回答已采纳
3回答
辛积分器的帮助
、、、、
问题是我一定是把数学搞错了，因为我的模拟在使用辛积分器时根本不工作(与四阶Runge-Kutta积分器相比，它在模拟中工作得相当好)。我已经在谷歌上搜索了很久，我能找到的都是关于这个主题的科学文章。我想知道是否有人有利用辛积分器进行模拟的源代码，最好是用来模拟引力场，但任何辛积分器都可以。源代码是什么语言并不太重要，但我会喜欢使用C风格语法的语言。谢谢!
浏览 6提问于2010-09-10得票数 12
回答已采纳
1回答
在尝试学习新概念(例如对于所有关键字和圣蒙纳德)和一般Haskell的类型系统时，我不断地从范畴理论和lambda微积分中遇到一些概念。所以，我想知道：我是否可以放弃对这些数学的严格研究，转而专注于某些相关的概念？(例如lambda微积分中的量词)如果是，哪些概念是必要的？
我希望能尽快拿起类型和编程语言，不过，请推荐你觉得合适的其他阅读资源。
浏览 0提问于2013-10-03得票数 10
回答已采纳
2回答
随着我们自动化测试基础设施的增长，我们需要自动管理测试资源(服务器等)。不管理对系统的更新，但有一种自动(编程)的方式来保留资源，以便在自动化测试运行中使用，并在完成时释放资源。我需要能够将项目添加到系统中，存储关于它们的元数据，保留它们，并在完成时释放资源。是否有这样的现有系统可以通过这种方式管理资源，并且可以与其他程序集成？要与之交互的目标语言是Java或C#，但如果另一种语言中存在其他好的语言(或者有某种方式从
浏览 0提问于2009-12-08得票数 3
回答已采纳
1回答
使用数值积分对于定积分来说是有意义的，但是我应该如何处理不适当的积分呢？是否有任何was可以外推函数“围绕”负无穷大，或者我应该删除这一部分，并从某个特定值开始积分，因为“负无穷大”附近的累积和对于高斯积分几乎不存在？也许有一些算法是我不知道的。
浏览 1提问于2010-04-12得票数 2
回答已采纳
为什么“字符串”在C语言中属于常量范畴？尽管它没有与其相关联的数值，但与“字符常量”不同的是，“字符常量”具有与其相关联的固定积分值(ASCII值)。在C语言中，字符串在什么引用中被视为常量？
浏览 3提问于2016-03-11得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
