问答列表

计算正方形定位的公式

作者:Eugene 提问时间:11/5/2023

我正在尝试如图所示排列正方形。每个方块都比前一个方块小一个常数值。在定位正方形时,我知道: 它的大小 大正方形的大小(正方形在中心) 相对于中心的指数,即 ...-2、-1、0、1、2... 实际指...

如何解决 Dafny 中 let-such-that 表达式中的未确定问题?

作者:ZihaoZhang 提问时间:11/4/2023

下面是一个示例: function intsetmax(s:set<int>):int requires |s| > 0 ensures var m := intsetmax(s); m in...

更高/更低的博弈 - 如何在 while 循环中检查输入是否为整数

作者:kakarot 22 提问时间:11/6/2023

当我的代码检查输入是整数还是字符串时,它会进入输出“无效输入”和“猜测 0-9 之间的数字”的无限循环,而不会给用户输入新内容的机会。 下面的代码是我所拥有的 // Created on: Oct...

使用 Java8 Streams 减少 if-else 语句,同时过滤多个条件

作者:turing23 提问时间:11/4/2023

我从同行那里得到了评论,说我需要减少在代码中使用多个 If-else 块,而是使用命令式编程技术来实现相同的功能 背景我有一个事件列表,我需要根据几个条件返回一个事件对象。对于 SOP 事件和 SO...

JavaScript - 更高效的检查对象 - 如果...否则或尝试...catch [复制]

作者:Adam 提问时间:11/6/2023

这个问题在这里已经有答案了: 测试是否存在嵌套的 JavaScript 对象键 (64 个答案) 14天前关闭。 在下一个表达式之前检查数据是否存在的最佳方法是什么?例如,如果我有一个对象,例如: ...

使用预训练的 BERT 模型进行语义搜索,提供具有高度相似性的不相关结果

作者:Aftaab Zia 提问时间:11/6/2023

我正在尝试创建一个语义搜索系统,并尝试了 SentenceTransformer 库中的多个预训练模型:LaBSE、MS-MARCO 等。该系统在首先返回相关文件方面运行良好,概率很高,但问题是不相关...

名称注入失败:为什么找不到基构造函数的名称?[复制]

作者:YSC 提问时间:11/6/2023

这个问题在这里已经有答案了: 在基类模板中查找依赖名称 (1 个答案) 在模板化派生类中,为什么需要在成员函数中使用“this->”限定基类成员名称? (2 个答案) 这是否必须>访问派生类的 Bas...

Google Chrome 实时字幕 - 捕获文本并将其保存到文件

作者:Bigbear 提问时间:11/7/2023

有没有人能够使用 Google chrome 实时字幕并将其保存到文本文件中? 我一直在研究这个问题,它说它没有在本地保存。但我不确定.. 我需要捕获 Web 浏览器中的音频并将其重定向到文本文件。...

子查询和利用 WITH [重复]

作者:DE_Bytel 提问时间:11/7/2023

这个问题在这里已经有答案了: 在查询中使用别名并使用它 (6 个答案) 在“where”子句中使用新列 (5 个答案) 为什么我不能在下一个 SELECT 表达式中使用列别名? (4 个答案) 16天...

langchain.schema.output_parser。OutputParserException:获取无效的 JSON 对象。错误:额外数据:第 7 行第 1 列 (char 1406)

作者:user4113125 提问时间:10/31/2023

对于以下代码片段,chain.run() 字符串的输出出现间歇性 json 解析错误 查询 LLM 的 python 函数概述:- output_parser = StructuredOutpu...


共2289条 当前第116页