问题列表 - 第92110页

mini-Kanren,core.logic,clojure:Reasoned Scheme Exercise 60

这不是作业 - 解决方案已在文中.我只是无法理解解决方案.

问题

(run* (q)
  (let [a (== true q)
        b (== false q)]
    b))
Run Code Online (Sandbox Code Playgroud)

正确的解决方案

(false)
Run Code Online (Sandbox Code Playgroud)

我相信解决方案

()
Run Code Online (Sandbox Code Playgroud)

我的困惑

显然,"a(== true q)"行未被执行,因为只有b是目标.这让我很困惑.到目前为止,我对逻辑编程的心理模型是:

  • 考虑q的所有可能的assignemnts
  • 输出管理通过整个程序的那些

    因此,"a(== true q)"迫使q = true,这使得不可能满足"b(== false q)"线.

    然而,显然只执行"计算目标所需的数量".这是怎么回事?core.logic/mini-kanren的正确心理执行模式是什么?

谢谢

(顺便说一句,我显然是错的,因为mini-karen + core.logic互相攻击 - 我只想了解我做错了什么.)

logic clojure minikanren clojure-core.logic

7
推荐指数
1
解决办法
827
查看次数

与Ruby一起使用的MongoDB中字符串数据类型的最大长度是多少?

我无法在主mongodb.org网站上的MongoDB中找到有关字符串数据类型的最大长度的任何信息.我来自关系数据库背景,通常有最大长度.谢谢!

ruby mongodb mongoid

21
推荐指数
2
解决办法
2万
查看次数

使用RaiseEvent语句引发事件VB.NET

我收到此错误:

错误1'公共事件NewFrame(sender As Object,eventArgs As
AForge.Video.NewFrameEventArgs)'是一个事件,不能直接调用.
使用'RaiseEvent'语句来引发事件.
C:\ Users\Jonathan\Documents\Visual Studio 2010\Projects\Stream\Stream\Form1.vb
9 9流

我的代码是:

在此输入图像描述

我怎么能解决这个问题?

vb.net windows aforge raiseevent

-1
推荐指数
1
解决办法
3364
查看次数

从数据库中获取高于平均水平的学生

我创建了一个视图,其中包含:

 student_full_name    subject_code    result
 Jennifer Higgins     CS1234          81
 Jennifer Higgins     CS1235          90
 Kal Penn             CS1234          70
 Kal Penn             CS1235          60
 Han Solo             CS1234          45
 Han Solo             CS1235          70
Run Code Online (Sandbox Code Playgroud)

我想得到:

  1. 每个学生的平均成绩,例如 Jennifer Higgins 就读于 CS1234 和 CS1235。她的平均分是 85.50。

  2. 然后将詹妮弗·希金斯的分数与所有入学的平均分数进行比较,从而将所有科目的 AVG(结果)相加。

  3. 然后,查询将列出所有获得高于平均分数的学生。

我知道我必须在这里使用子查询才能获得所有结果的平均值。嗯,这是一个伪代码。我很困惑,因为我不确定如何使子查询将其自身与查询的结果进行比较。我很确定我需要两个 group by 语句,一个用于按 Student_full_name 进行分组,另一个用于获取所有平均结果。

 SELECT student_full_name,
        AVG(results) AS average_result
 FROM viewEnrol
 WHERE average_result > ( SELECT (AVG(results))
                          FROM viewEnrol

 GROUP BY student_full_name
Run Code Online (Sandbox Code Playgroud)

//编辑

输出应该看起来像。卡尔·潘和汉·索罗没有被列入名单,因为他们没有获得高于平均分的分数。所有科目的平均分是69.33。汉·索罗 (Han Solo) 得到 57.5 分,卡尔·潘 (Kal Penn) 得到 65 分。

 student_full_name    subject_code    result
 Jennifer …
Run Code Online (Sandbox Code Playgroud)

t-sql sql-server average

2
推荐指数
1
解决办法
4万
查看次数

从SQLiteDatabase检索数据并将其显示在新活动中

我可以ListView从我的SQLiteDatabasein 填充我的项目lunch.java.现在我想点击一个项目(共8个项目ListView)并转到一个新的活动,Display.java并显示它的所有营养成分.

编辑后

lunch.java:

public void onItemClick(AdapterView<?> parent, View v, int pos, long id) {
    switch(pos)

    {
    case 0 :
        String mealName = (String) parent.getItemAtPosition(pos);
        Cursor cursor = dbopener.getBreakfastDetails(mealName);
        cursor.moveToNext();
        id = cursor.getLong(cursor.getColumnIndex(mealName));
        String message = cursor.getString(1)  + "\n" + cursor.getInt(2);
        Intent event1 = new Intent("com.edu.tp.iit.mns.Display");
        event1.putExtra("name", id);
        startActivity(event1);
        break;
Run Code Online (Sandbox Code Playgroud)

Display.java

    @Override
protected void onCreate(Bundle savedInstanceState) {
    super.onCreate(savedInstanceState);
    setContentView(R.layout.display);

        TextView tv = (TextView) findViewById(R.id.tvfoodName);     


        Intent intent = getIntent();
        long id …
Run Code Online (Sandbox Code Playgroud)

database sqlite android data-retrieval android-listview

0
推荐指数
1
解决办法
2669
查看次数

如何使用c#访问Web配置中的文件夹路径

如何使用c#代码从web.config访问文件夹路径.这是一个示例代码.

如何在Web配置中放置此路径 C:\\whatever\\Data\\sample.xml

我必须从web配置中读取此路径.

string folderpath = ConfigurationSettings.AppSettings["path"].ToString();

using (XmlWriter xw = XmlWriter.Create(folderpath, new XmlWriterSettings { Indent = false }))
Run Code Online (Sandbox Code Playgroud)

请帮忙.....

asp.net c#-4.0

2
推荐指数
1
解决办法
2万
查看次数

String replace()和replaceAll()之间的区别

除了以后使用正则表达式之外,java.lang.String replace()replaceAll()方法之间有什么区别?对于简单的换人一样,代替./ ,有什么不同?

java string replace

203
推荐指数
5
解决办法
20万
查看次数

如何从对象文字数组中切片数组?

我有这个数组,其中每个索引包含一个对象文字.所有对象文字都具有相同的属性.一些对象文字对于给定的属性具有相同的值,我想创建一个包含那些对象文字的新数组.

我的想法是对数组进行排序,并将其切成新的数组......

这是数组:

var arr = [];

arr[0] =
{
    country: "United States",
    num: 27
};

arr[1] =
{
    country: "Australia",
    num: 5
};

arr[2] =
{
    country: "United States",
    num: 7
};
Run Code Online (Sandbox Code Playgroud)


所以,我想创建一个新的数组,只包含属性country为"United States"的那些对象.到目前为止,这是我的疯狂想法,但这不起作用:

function getNewArray(arr)
{
    var arr2 = [];

    for(var key in arr)
    {
        for(var i = 0; i < arr.length - 1; i++)
        {
            if(arr.hasOwnProperty(key) && arr[i].name == arr[i + 1].name)
            {
                    arr2[i] = arr.slice(key);
            }
        }
    }

    return arr2;
}

var …
Run Code Online (Sandbox Code Playgroud)

javascript arrays sorting object-literal slice

5
推荐指数
1
解决办法
2万
查看次数

.Net中的IOrderedEnumerable.ThenBy()如何工作?

我想了解ThenBy如何在.Net中工作.(我知道如何使用它,我只是不明白微软如何实现它!)

根据文档,string_list.OrderBy(Function (x) x.length).ThenBy(Function (x) x)应输出按长度排序的字符串列表,然后按字母顺序输出.怎么可能有用?!?第一种是长度.第二种排序应该撤消第一种排序!

假设这段代码:

Dim sorted_by_length As IOrderedEnumerable(Of String)
sorted_by_length = string_list.OrderBy(Function (x) x.length)
sorted_by_length = sorted_by_length.ThenBy(Function
Run Code Online (Sandbox Code Playgroud)

这是我试图在不使用的情况下实现最后一行ThenBy:

Dim sorted_by_length As IOrderedEnumerable(Of String)
sorted_by_length = string_list.OrderBy(Function (x) x.length)
'my implementation of OrderBy:
Dim e as IEnumerator(Of String) = sorted_by_length.GetEnumerator
Do While e.MoveNext
    'I have no idea what to write here!
Loop
Run Code Online (Sandbox Code Playgroud)

这里有一些神奇的东西......是否有一些e.GetPreviousKeySelector()函数?实际上,我甚至无法编写一个返回IOrderedEnumerable的函数!

.net vb.net ienumerable iorderedenumerable

12
推荐指数
1
解决办法
1054
查看次数

什么是使用Oracle数据库空间?("ORA-12953:...超过允许的最大数据库大小")

我只是在我的oracle数据库中有物化视图(小行数),除了我的数据库之外什么都没有进行编译:

Error report:
SQL Error: ORA-12953: The request exceeds the maximum allowed database size of 11 GB

select sum(size_in_mb) from 
(
SELECT owner,
       segment_name,
       segment_type,
       sum(bytes)/1024/1024 size_in_mb
  FROM dba_segments
 WHERE owner NOT IN ('SYS','SYSTEM')
 GROUP BY owner, 
          segment_name,
          segment_type
 ORDER BY SUM(bytes)/1024/1024
 );
Run Code Online (Sandbox Code Playgroud)

我怎样才能找到在oracle中使用多少空间?

oracle oracle-xe oracle11gr2

4
推荐指数
1
解决办法
2万
查看次数