在精益中，是否可以将decidable_linear_order与用户定义的相等关系一起使用？
在精益中，decidable_linear_order和用户定义的相等关系可以一起使用。
Decidable_linear_order是一个概念，它指的是一个线性有序集合，其中每对元素都可以进行比较，并且可以确定它们的顺序关系。这个概念在编程中常用于排序和查找算法中。
用户定义的相等关系是指根据特定的需求和业务逻辑，用户自己定义的两个元素是否相等的判断方法。这个相等关系可以是基于元素的某些属性或者特征进行判断。
在精益中，可以将decidable_linear_order和用户定义的相等关系一起使用。例如，在一个集合中，我们可以使用decidable_linear_order对元素进行排序，然后根据用户定义的相等关系来判断两个元素是否相等。
这种组合使用的优势在于可以更好地满足具体业务需求。通过使用decidable_linear_order，我们可以对元素进行排序和查找等操作，而用户定义的相等关系可以用于更精确地判断元素是否相等。这样可以提高程序的效率和准确性。
在腾讯云的相关产品中，可以使用腾讯云的数据库服务（https://cloud.tencent.com/product/cdb）来存储和管理具有decidable_linear_order和用户定义的相等关系的数据。腾讯云的数据库服务提供了高可用性、弹性扩展和安全可靠的特性，可以满足各种业务场景的需求。
相关·内容
我在C中有一个服务器应用程序；我需要同时跟踪大量的套接字(客户机会话数据)。我不想重新发明轮子，只想看到GLib附带了一个哈希表实现。GLib哈希表能安全地用于我想要做的事情吗？有什么我应该知道的吗？谢谢!
浏览 0提问于2013-08-29得票数 1
回答已采纳
2回答
我正在尝试从视图访问Yii中的相关模型信息，需要创建一个方法。我不确定这个方法应该放在控制器中还是放在模型中...
场景是：-A Station‘有一个' Store’-A Store‘属于’Station‘(’store‘表有一个'station_id’列)
在一个Station ( Station / view /1)的详细视图中，我想检查这个特定的Station是否有一个商店，如果有，我想从那个商店返回ID。
所以我的问题是：
1)我是否要创建一个方法来查找此信息并将其放入Controller或Model中？
2)我应该向广播站或商店索要此信息？
3)我知道控制器是模型和
浏览 3提问于2011-03-08得票数 1
回答已采纳
2回答
我想在整数变量上使用归纳法，在正方向和负方向进行归纳步骤。
考虑以下定理(为了证明，无论是否有意义)：
theorem exmpl (x : ℤ) : (x = 5):=
begin
induction x,
-- inductive steps
end
在倾斜战术状态下产生的：
case int.of_nat
x: ℕ
⊢ int.of_nat x = 5
case int.neg_succ_of_nat
x: ℕ
⊢ -[1+ x] = 5
合理地，归纳产生了两种情况，一种是积极的，另一种是消极的方向。但同样发生的是，x现在已经成为一个自然数，在目标中，它变成了int.of_na
浏览 2提问于2021-07-31得票数 1
回答已采纳
2回答
上周我和我的产品经理聊天，他抱怨我们的产品缺乏进展。这也是一个公平的批评。因此，我们开始讨论如何描述需求的编写。我是BDD的忠实粉丝，我使用Gherkin语法来描述系统应该如何以用户或参与者的方式运行。
他对BDD相当不屑一顾，他说我们应该使用精益方法，比如SBCE (基于集的并发工程)和其他我不知道的东西，因为到目前为止我还没有读到很多关于精益实践的文章。
这两种方法相互排斥吗？如果不是BDD，那么需要有其他方法来描述系统应该做什么。精益有自己的语言满足需求吗？
浏览 0提问于2014-12-22得票数 3
3回答
我基本上熟悉敏捷方法和Scrum。
但是什么是“精益软件开发”和“看板”呢？
可以说Scrum、Lean和Kanban是敏捷方法论的实现吗？或者精益和看板是不同的方法论？
精益和看板是否提供了一个框架/指导方针(如敏捷)，并将实现留给了相邻的一组实践，如XP和Scrum？
浏览 0提问于2010-08-04得票数 33
回答已采纳
2回答
如何在精益中定义偏序集？
、、、
我希望在精益定理证明器中证明。首先，我需要定义像偏序集这样的东西，这样我就可以定义infimum/上界。在精益中是如何做到这一点的？提到了setoid，它们是具有关联的等价关系的类型。但我不清楚这会有什么帮助。
浏览 5提问于2016-03-27得票数 1
回答已采纳
我对leanModal v1.1有问题，
我有一个php页面，在那里我实现了jquery ajax分页脚本，在这个leanModal弹出框不工作后，直到我做了这个更改，一切都运行得很好，我想现在所有的数据都来自于一个div中的ajax调用。
没人能帮我吗？我完全不知道如何解决这个问题！
它是leanModal jquery脚本
$('#modaltrigger').leanModal({ top: 110, overlay: 0.8, closeButton: ".hidemodal" });
这是一个链接，点击这个弹出框我就会出现在网站上。
<a hr
浏览 2提问于2013-11-10得票数 0
1回答
是否有关于采用基于精益原则的敏捷方法的研究？我要找的一些数据：
精益的使用范围有多广？
在敏捷方法方面，采用精益如何与其他敏捷方法(如Scrum、XP等)进行比较？
浏览 0提问于2011-02-13得票数 5
2回答
SAFe -企业规模的敏捷框架。
基本上采用敏捷方法，并且每季度对计划事件进行一次为期12周的迭代，并进行为期2周的冲刺。
Context是一家正在从传统开发转向基于敏捷SAFe的方法的公司。
快速出现的是“瀑布冲刺”，这样敏捷所要解决的许多问题，特别是围绕质量改进的问题，就不会发生。这是因为，根据他们对SAFe的理解，业务是：
仍在提前确定最后期限
将测试视为开发的第二类决策
仍然倾向于短期的新特性而不是长期的质量变化。
橡胶冲压代码评审和拉拔请求，以提高速度
不了解TDD和BDD如何与安全的sprint和迭代一起工作
不鼓励开发人员发现改进，业务用户仍然控制
允许团队以80-90%的速度进
浏览 0提问于2018-07-08得票数 3
回答已采纳
2回答
我想知道，这里是否有人在DevOps方法学下的软件开发团队中工作，并应用改进精益来进行持续改进？
我读到DevOps是基于敏捷方法和精益的，但是我不知道是否有可能用改进精益代替精益。
谢谢。
浏览 0提问于2011-04-22得票数 0
也就是说，是否可以定义 example {α β : Type} (hab : α = β) (x : α) : β := sorry 据我所知，Eq.subst a b有∀ {α : Sort u} {motive : α → Prop} {a b : α}, a = b → motive a → motive b类型，但是motive必须返回Prop的限制似乎是一个不必要的限制，因此不太适合我的需要。
浏览 21提问于2021-09-18得票数 0
1回答
他们来自微软，看起来像是证据助理？除了句法上的差异，是否有一些实际的方面使它们彼此不同(比如自动化能力、表达能力等)？我是正式核查的新手。
编辑:我是而不是，我只想了解这些工具提供的不同特性之间的技术比较。我在找像这样的东西
浏览 1提问于2017-09-02得票数 21
我对定理中的命题使用括号感到非常困惑。请参见以下四个片段：
theorem contrapositive_1 : ∀ (P Q : Prop),
(P -> Q) -> (¬ Q -> ¬ P) := sorry
theorem contrapositive_2 (P Q : Prop) :
(P -> Q) -> (¬ Q -> ¬ P) := sorry
theorem contrapositive_3 : ∀ {P Q : Prop},
(P -> Q) -> (¬ Q -> ¬ P) := sorry
theor
浏览 0提问于2019-04-23得票数 1
回答已采纳
1回答
以下定义被精益拒绝：
inductive natlist
| nil : natlist
| cons: natlist → ℕ → natlist
使用错误消息，“natlist.cons的arg #2不是递归的，但它发生在递归参数之后”。
并如预期的那样接受以下定义：
inductive natlist
| nil : natlist
| cons: ℕ → natlist → natlist
勒恩执行这个命令的原因是什么？
浏览 2提问于2017-01-21得票数 2
回答已采纳
我有以下文件：
{
_id: 552bdc73789d083b15e3d6d5,
username: 'test',
firstname: 'test',
lastname: 'test'
}
当我调用保存该文档时，猫鼬正在运行一个insert。
这会导致mongo为_id字段抛出一个重复的键错误，因为它已经存在。
知道为什么猫鼬会在我从数据库中检索到的文档上调用insert吗？
编辑：
使用猫鼬4.0.2和芒果2.6。
下面是我检索文档的方法：
var getUserByUsername = function(username
浏览 2提问于2015-05-03得票数 0
回答已采纳
2回答
命令行Web应用程序
、、、
最近，我一直在考虑编写与web应用程序交互的命令行工具，例如命令行工具，它可以订购Jimmy三明治。
我可以想出两种方法来解决这个问题：
套接字编程和直接http输入/输出
无形中打开chrome并在其上运行JS脚本
每种方法的优缺点是什么？你推荐哪一种？还有其他(可能更好)的方法来完成这个任务吗？
浏览 3提问于2015-05-01得票数 0
1回答
是否有可能将精益语言(从精益4)导出到另一种语言，就像Isabelle用代码生成Haskell或Scala一样？
在文件里没有找到。
浏览 3提问于2022-11-03得票数 0
我正试图在统一2019.4.39建立一个APK。统一说构建失败了，但是它没有告诉我导致失败构建的文件。
谁能告诉我如何找出哪些文件导致构建失败?
以下是构建错误：
Error building Player because scripts had compiler errors
UnityEditor.BuildPlayerWindow+BuildMethodException: Error building Player because scripts had compiler errors
at UnityEditor.BuildPlayerWindow+DefaultBuildMe
浏览 0提问于2022-12-31得票数 0
回答已采纳
4回答
你好
一个小型的2人项目的好方法是什么？从20到40小时不等。
大多是小网站。我想把它作为一个开发人员来处理，但是敏捷和其他方法对我所追求的目标来说似乎太大了。
谢谢
浏览 0提问于2011-04-04得票数 3
回答已采纳
我找到了定义WIN32_LEAN_AND_MEAN“通过排除一些不常用的API来减小Win32头文件的大小”。在其他地方，我读到它加快了构建过程。 那么什么是WIN32_LEAN_AND_MEAN完全排除？我应该关心这个预处理器指令吗？它是否加快了构建过程？ 我还在项目中看到了一个预处理器指令，名为extra lean。这是另一个我应该知道的深奥的预处理器咒语吗？
浏览 51提问于2012-06-15得票数 197
回答已采纳
在过去的几个月里，我一直在尝试使用Google App Engine。它真的很容易使用，但你能做的事情太有限了。也就是说，我不能使用WebSockets或发送苹果推送通知。DynamoDB也是这样吗?那就是我不能用它运行“自定义”代码？我是否可以使用WebSockets，或者在上面运行XMPP服务器？我不完全确定这是如何与DynamoDB一起工作的。
浏览 0提问于2012-11-16得票数 1
回答已采纳
2回答
我刚刚发现了的定义，我并不总是知道如何定义它，也不知道是否有人能向我解释这个图是否是倾斜的。
G1 :
_:X foaf:knows ex:bob
_:X foaf:knows _:Y
我觉得这太瘦了！
G2:
_:X foaf:knows ex:bob
_:X foaf:knows _:X
G2不瘦！
G3
_:X foaf:knows ex:bob
我不知道XD
G4
_:X foaf:knows _:X
我也不知道XD
提前谢谢。
浏览 6提问于2020-02-05得票数 3
回答已采纳
可能重复: 在网络上是否有一个工作良好的域搜索工具？
我遇到过其中的几个，但现在已经记不起来了(我可能错过了几个好的)。
这个想法是，你提供一些输入(一个词(S))，它产生同义词，押韵词等。
理想情况下，我想要有一些信心，他们不只是注册所有的领域，我提出。
浏览 0提问于2012-06-01得票数 1
我正在努力寻找最佳的解决方案来平衡和保持应用程序在HAProxy后面的持久性。
下面是我们的基本配置：https://gist.github.com/endzyme/1804046b23c37beba520
在反复使用下载成员和重新加载have (使用-sf)之后，我注意到appsession并不是100%有效的，看起来有时它并不总是'request-learn'。我还试图添加一个cookie JSESSION prefix来平衡万一request-learn没有使用。
不幸的是，它会给出前缀将列出svr2的场景，但它与另一台服务器是平衡的。我假设这是因为appsession表
浏览 0提问于2013-11-05得票数 4
回答已采纳
1回答
移除猫鼬的子文档
、、、、
我有个这样的模特：
const Screen = new Schema(
{
userId: [
{
type: ObjectId,
default: null
}
],
contents: [
{
content: {
type: ObjectId,
ref: "Content
浏览 0提问于2019-01-11得票数 0
1回答
特快申请。MVC结构问题是:我或我不应该将服务与应用程序合并？我的服务是聊天服务和邮件服务。我正在使用node检索一些电子邮件，并将它们存储在数据库中。表示应用程序查询该数据库(以及其他内容)，并将它们显示给用户。
我还没有创建聊天服务，但电子邮件服务正在开发中，现在我正处于十字路口:是在nodejs的新实例中启动此邮件服务，还是应该将它与主要的express应用程序集成？
更多信息：
在他自己的nodejs实例中运行该电子邮件服务对于处理服务失败非常有用。因此，如果有问题，我不需要重新启动我的整个应用程序。
浏览 1提问于2015-03-30得票数 0
回答已采纳
1回答
精益4是一种纯粹的函数式编程语言，但是它是懒惰的(像Haskell)还是严格的(比如Idris)，这意味着什么？是否有办法选择懒惰(或选择退出)？
浏览 10提问于2022-04-14得票数 3
回答已采纳
1回答
我需要提供一些软件的外部客户端报价。我希望只在最初的需求构建中使用敏捷(从开发人员的角度来看，我在这方面有经验)，但我需要做任何事情，这只是一个人的工作。客户端很难弄清楚需求是什么，我能增加的价值是与他们一起坐下来，用用户故事等计算出他们想要的东西，我基本上需要成为一个BA。
我正在寻找构建需求的敏捷过程中要经过的过程的良好概述，以及进一步深入的持续过程。例如，最初的开始，通过精化史诗和建立用户故事(或不)，只需要阅读一点关于它在会议前，所以我知道最好的方式，如果我花一天与他们在一起。有更多的资源可以提供给客户端，以便我们都在同一个页面上，这也是有用的。
浏览 0提问于2012-11-07得票数 5
回答已采纳
我正在更新一个用Visual 2010构建的用VS2012构建的项目。我对#包括使用VS2012有问题:我在我的项目RPC.h中跟踪它到一个本地标头，因为WinSock2.h间接地包含了win32 rpc.h (它与我的本地文件相匹配，包括它)。这在VS2010中很好，而makefile是相同的，唯一的区别是编译器。
为了重现，我创建了两个文件，一个名为rpc.h，它包含一个丢失的头(第一个文件没有显式地包含本地rpc.h)。
TCPChannel.cc：
#include <WinSock2.h>
namespace foobar {
}
RPC.h：
#ifndef __INC
浏览 1提问于2015-01-21得票数 1
回答已采纳
1回答
我有一个结合文本框和下拉列表在Angularjs中的要求。用户应该能够在下拉列表中选择一个项目，或者可以输入他自己的新项目并提交表单。我尝试了ui-选择，在哪一项应该从下拉列表中选择。用户将无法输入新值。有什么帮助吗？
浏览 2提问于2014-12-02得票数 0
回答已采纳
1回答
在中，“选择”是根据以下原则实施的：
我们的选择公理现在简单地表述如下：
axiom choice {α : Sort u} : nonempty α → α
只有断言h是非空的，选择h才能神奇地产生一个α元素。
现在，如果我阅读关于集合论和选择公理的文献(Jech)：
选择公理(AC)每个非空集族都有一个选择函数。
如果S是一个集合族，且S不是S中的∅，则S的选择函数是S上的函数f，使得f(X)∈X对每个X∈S。
在我看来，这些东西似乎是不一样的。有人能详细说明一下吗？
浏览 0提问于2019-02-19得票数 2
回答已采纳
2回答
prolog是否有内置谓词，可以在运行时导入和导出完整的文件？
我需要像“断言”和“收回”这样的谓词。问题是“断言”和“撤回”只操作动态列表，而不是完整的文件。
我知道如何将文件包含到另一个文件中的两种方法：
:- include('file.pl').
:- consult('file.pl').
这种情况主要发生在代码的开头。
我可以在代码中间使用这些谓词吗？(我认为咨询谓词有效，但包含谓词有问题.)
是否有可能再次排除/“删除”所包含的文件？(更重要的问题)
我找到了内置谓词"delete_ file /1"，它实际上删除了(从内存中)该文
浏览 1提问于2014-01-07得票数 1
回答已采纳
我很好奇，是否有人知道有任何方法有很大的不同(不是重组)，我将特别感谢任何人谁提出了任何经验的替代品。
浏览 0提问于2010-10-13得票数 37
回答已采纳
1回答
我们的团队使用TDD进行开发，在实现新功能时，有时在故事的末尾，当所有的卡片都变绿时，就会出现“集成卡片”，这意味着将实现的组件放在一起，以便相互配合。我对这张卡感到很抱歉，因为这意味着，没有人在现实生活中只在测试中尝试代码，而集成卡意味着尝试它并使其工作。
将集成卡放在每个产生新特性的故事的末尾，这是一种良好的敏捷实践吗？或者，当可以将它与现有代码集成在一起时，它是否应该成为每个任务卡的一部分？
浏览 18提问于2013-02-08得票数 3
回答已采纳
foldl : ∀ {a b} {A : Set a} (B : ℕ → Set b) {m} →
(∀ {n} → B n → A → B (suc n)) →
B zero →
Vec A m → B m
foldl b _⊕_ n [] = n
foldl b _⊕_ n (x ∷ xs) = foldl (λ n → b (suc n)) _⊕_ (n ⊕ x) xs
当将上面的函数翻译成Lean时，我震惊地发现它的真实形式实际上是这样的…
def foldl : ∀ (P : ℕ → Type a) {n : nat}
浏览 1提问于2019-11-02得票数 1
我想定义一种归纳类型，它可以从精益中的自身列表构建。然而，
inductive a : Type :=
| aFromAs : list a → a
给出错误：
failed to infer inductive datatype resultant universe, provide the universe levels explicitly
很好，所以i set_option pp.universes true和list属于其参数的类型域(除非参数是Prop)。因此，如果a是Type₁，那么一切都应该是好的。但
inductive a : Type₁ :=
| aFromAs : lis
浏览 2提问于2016-11-18得票数 1
回答已采纳
AirFlow与基于流的编程工具(如Node)的区别是什么？
气流是ETL (提取、变换、装载)工具吗？它是FBP工具吗？两者都有？
如果它不是FBP工具，那么与FBP相比，它的优缺点是什么？
注:我注意到气流图是DAG吗？这是否是一个限制(关于FBP工具的可能是什么?)
谢谢！
浏览 0提问于2018-09-28得票数 0
我在Ubuntu上下载了lean for Linux，解压了它，安装了Emacs，通过MELPA安装了lean-mode和company-lean，它抱怨lean-rootdir变量没有设置。当我尝试设置它时，我在标题中得到错误。
浏览 16提问于2018-07-26得票数 0
1回答
慢猫鼬请求
、、
我一直在慢吞吞地询问猫鼬。我缩小了范围，要么是Mongoose创建对象的方式，要么是db服务器请求中的实际延迟。我几乎没有数据库中的任何数据(4个集合中每个都有<1000个对象)，并且手动运行查询(类似于产品中的查询)，并对它们进行分析，它们都运行<2-4ms。
通过在线搜索/查看文档，我一直无法找出两个大问题：
我如何获得蒙戈上运行的原始查询？
有多少次访问到db服务器进行调用--例如，如果我在回调函数中有一对填充调用的查询、一个排序调用和一个嵌套填充调用，那么对服务器进行多少次访问。
下面是我看到的一些延迟时间：
Login
localhost + localD
浏览 1提问于2014-03-27得票数 2
对于Android应用程序，我使用的是v17精简库和leanback主题。
在覆盖默认imageCardView背景色时出现问题。
<!-- original styles defined in Leanback theme -->
<style name="Widget.Leanback.BaseCardViewStyle" />
<style name="Widget.Leanback.ImageCardViewStyle" parent="Widget.Leanback.BaseCardViewStyle"
浏览 4提问于2014-09-19得票数 1
回答已采纳
我已经更新了瑞安肯尼迪的IBConnect码头形象，从Quantconnect获得最新版本，是码头的形象，我结束了。
基本上，dockerfile包含：
FROM ubuntu:18.04
MAINTAINER Ryan Kennedy <hello@ryankennedy.io>
RUN apt-get update \
&& apt-get install -y wget \
&& apt-get install -y unzip \
&& apt-get install -y xvfb \
&&
浏览 0提问于2019-02-20得票数 0
1回答
我有这样一个合乎逻辑的条款：
exists l.(language(l) & exists n.(name(n) & :op1(n,"English") & :name(l,n)))
对应于“语言就是英语”这一短语。
子句由变量(l，n)、谓词(语言、名称、op1)和常量("English")组成。每个变量首先被赋给其相应的类(l被赋值为"language“，n被赋给"name")，然后一个类的实例被用于进一步的推理(:op1是一个谓词，将常量"English”赋给类"language“的实例)。或
浏览 4提问于2021-11-24得票数 0
回答已采纳
1回答
transaction对象上是否有指示事务已启动/正在处理/已完成的标志？
var transaction = Idatabase.CreateTransaction() (我使用的是最新的c#客户端)
我想知道在事务对象上是否有什么可以用来告诉我事务是否已经启动，而对象不是空的。
提前感谢
浏览 1提问于2015-03-24得票数 0
1回答
所以在这里，我试着像在我的游戏中达到顶峰或倾斜。
if (Input.GetKey(KeyCode.Q))
{
curAngle = Mathf.MoveTowardsAngle(curAngle, maxAngle, speed * Time.deltaTime);
}
我就像把脊柱拉到卷边，我试着用lerp做，但是得到了相同的结果，和动画就像阻止它们一样，因为总是有一个动画播放，并且脊柱不能超出动画范围，没有发现一个倾斜的动画共享一个动画链接，也会有帮助。
浏览 2提问于2022-01-25得票数 -1
1回答
在我们的项目中，我们使用Django和Django Rest Framework作为主要应用程序，从数据库获取/查询数据并将其发送到前端。这些端点是非常快的，他们应该是。然而，我们需要实现某种ETL模块，它将获取数据、表单、excel文件或客户端CRMs，这将花费更长的时间运行。但是，最终，模型保存在DRF使用的表中，并发送到前端。
这样做的目的是创建单独的应用程序(作为微服务)，可能是在Flask或FastAPI中，甚至在其他技术栈(而不是python)中，这些应用程序只会执行诸如加载数据并将其保存到数据库等ETL工作。如果需要的话，它还会使用其他一些重型工具，如火花或气流。Django会使
浏览 0提问于2021-08-04得票数 1
在Scrum中，工作通过一系列sprint交付给客户，其中项目工作的时间被限制在固定的天数或星期，通常是30天。在精益软件开发中，目标是尽快交付，允许为下一次迭代提供早期反馈。
这两种技术都强调了工作流的重要性，在工作流中，软件工作产品不会在开发中积累，等待在未来某个日期发布。两者都允许新的或完善的需求和来自QA和客户的反馈被采取行动，尽可能少的延迟，基于优先级。
几年前，我听了一次演讲，演讲者简短地谈到了工业工程中一个叫做约束理论的概念家族。在工厂中，他们使用基于三个组件的操作模型:鼓、缓冲器和绳子。滚筒在通过系统时同步工作产品。缓冲区，通过在等待下一阶段消耗时保持来自一个阶段的输出来保护系
浏览 0提问于2012-08-21得票数 2
回答已采纳
我使用Adobe构建了一个Durandal应用程序。我是应该优化构建，还是在关闭调试选项的情况下在PhoneGap构建中构建它？
浏览 0提问于2013-12-06得票数 0
回答已采纳
3回答
是否有人使用看板(或scrumban)来进行敏捷管理实践？您使用看板的经验是什么？它如何在依赖于瀑布项目的大型复杂环境中工作？
浏览 3提问于2009-05-29得票数 10
回答已采纳
14回答
我的团队已经逐渐采用了越来越多的轻量级方法，从Scrum转移到精益/看板，在那里正式的过程越来越少。在某种程度上，我们将回到牛仔编码；实际上，我担心我们可能已经在边界线上了。
如何在非常轻量级的精益和敏捷流程与无政府状态之间划清界限？我们怎么知道我们什么时候越界了呢？我们怎样才能防止自己越界呢？
这个问题也可能被表述为，“在精益消除浪费的努力中，哪些过程不能被安全地消除”？
浏览 0提问于2009-07-23得票数 24
回答已采纳
3回答
我正在学习新技术，并做一些小项目来单独实践这些技术。我想学习敏捷的方法，但是不知道单独学习它是好的还是坏的，以及我能在其中走多远。
还有什么好的资源来学习它(书籍/文章)？
浏览 0提问于2011-03-31得票数 7
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
