若对于每一个类型S的对象o1,都存在一个类型T的对象o2,使得在所有针对T编写的程序P中,用o1替换o2后,程序P的行为功能不变,则S是T的子类型。What
is wanted here is something like the following substitution property: I...
分类:
其他好文 时间:
2014-05-14 03:32:08
阅读次数:
229
http://poj.org/problem?id=2955BracketsTime
Limit:1000MSMemory Limit:65536KTotal Submissions:2707Accepted:1403DescriptionWe
give the following inductiv...
分类:
其他好文 时间:
2014-05-11 01:11:17
阅读次数:
258
max.hpp/* The following code example is taken
from the book * "C++ Templates - The Complete Guide" * by David Vandevoorde and
Nicolai M. Josuttis, Add...
分类:
其他好文 时间:
2014-05-10 08:18:25
阅读次数:
394
戳我去解题Write an efficient algorithm that searches for
a value in anmxnmatrix. This matrix has the following properties:Integers in
each row are sorted f...
分类:
其他好文 时间:
2014-05-09 08:27:24
阅读次数:
241
Fix invisible cursor issue in Ubuntu
13.10Fixing this problem is rather too easy. Open a terminal (Ctrl+Alt+T) and
use the following command:gsettings...
分类:
其他好文 时间:
2014-05-09 07:57:17
阅读次数:
311
Bluetooth
Using the Bluetooth APIs, an Android application can perform the following:
使用蓝牙APIs,一个Android应用可以进行如下操作:
Scan for other Bluetooth devices
扫描其他蓝牙设备
Query the local Bluetooth adapter...
分类:
移动开发 时间:
2014-05-09 06:15:57
阅读次数:
479
The ? 1 ? 2 ? ... ? n = k problem
The problem
Given the following formula, one can set operators '+' or '-' instead of each '?', in order to obtain a given k
? 1 ? 2 ? ... ? n =...
分类:
其他好文 时间:
2014-05-09 06:10:40
阅读次数:
285
CandyThere areNchildren standing in a line.
Each child is assigned a rating value.You are giving candies to these children
subjected to the following ...
分类:
编程语言 时间:
2014-05-08 15:29:54
阅读次数:
411
Problem:Work out the first ten digits of the
sum of the following one-hundred 50-digit
numbers.3710728753390210279879799822083759024651013574025046376...
分类:
其他好文 时间:
2014-05-07 13:34:38
阅读次数:
299
很多话说得很透彻,把一些觉比较精彩的摘抄一下。... It seems to me that if
the authors I studied were writing today, they would agree with the following
characterization: Scie...
分类:
其他好文 时间:
2014-05-07 12:57:54
阅读次数:
491