(引用 ada_ada:想起来一个类似的故事...九四五年的一天，克力富兰的孤儿院里出现了一个神秘的女婴，没有人知道她的父母是谁。她孤独地长大，没有任何人�...)我真心的觉得,这个可以用Alloy或者Z3做个model如果非要加上一个时间,可以用您发明的timed plannig来model.
您可以把这当做一个oral defense上的example. 估计大家很快就欢乐在这个例子里了.[sun450 (12-29 0:32, Long long ago)]
[ 传统版 |
sForum ][登录后回复]21楼
(引用 sun450:我真心的觉得,这个可以用Alloy或者Z3做个model如果非要加上一个时间,可以用您发明的timed plannig来model. 您可以把这当做一个oral defen...)...[功夫熊猫 (12-29 0:33, Long long ago)] [ 传统版 | sForum ][登录后回复]22楼
(引用 功夫熊猫:...)回帖真快呀. 就快赶上urgent event了.[sun450 (12-29 0:36, Long long ago)] [ 传统版 | sForum ][登录后回复]23楼
(引用 ada_ada:想起来一个类似的故事...九四五年的一天，克力富兰的孤儿院里出现了一个神秘的女婴，没有人知道她的父母是谁。她孤独地长大，没有任何人�...)累死人不偿命的轮回……………………………………[-功夫熊猫 (12-29 8:46, Long long ago)] [ 传统版 | sForum ][登录后回复]24楼
(引用 ada_ada:想起来一个类似的故事...九四五年的一天，克力富兰的孤儿院里出现了一个神秘的女婴，没有人知道她的父母是谁。她孤独地长大，没有任何人�...)我怎么觉得故事完全不类似。。。[小妖霖霖 (12-29 9:59, Long long ago)] [ 传统版 | sForum ][登录后回复]25楼
(引用 小妖霖霖:我怎么觉得故事完全不类似。。。)其实本质是很类似的,都是孤独一个是很文艺的孤独,一个是很科幻的孤独
ada这个故事真心恐怖啊,真的是百年孤独啊,这才真叫活在一个人的世界里
[本文发送自华新手机Wap版]
[宫崎骏 (12-29 10:14, Long long ago)]
[ 传统版 |
sForum ][登录后回复]26楼
(引用 宫崎骏:其实本质是很类似的,都是孤独一个是很文艺的孤独,一个是很科幻的孤独 ada这个故事真心恐怖啊,真的是百年孤独啊,这才真叫活在一个人的世界)文艺的孤独,科幻的孤独……这个概括好强大~这样我就理解了。。。。[小妖霖霖 (12-29 10:24, Long long ago)] [ 传统版 | sForum ][登录后回复]27楼
(引用 小妖霖霖:我怎么觉得故事完全不类似。。。)其实没有流浪汉，没有女儿，没有酒吧伙计，没有神秘人，没有特种部队都是我一个人干的。。。
很类似呀~[ada_ada (12-29 11:16, Long long ago)]
[ 传统版 |
sForum ][登录后回复]28楼
(引用 ada_ada:其实没有流浪汉，没有女儿，没有酒吧伙计，没有神秘人，没有特种部队都是我一个人干的。。。 很类似呀~)浴室那个结尾直接打破了。你那个是死循环啊！是看了让我逻辑混乱的死循环啊！[小妖霖霖 (12-29 11:38, Long long ago)] [ 传统版 | sForum ][登录后回复]29楼
(引用 ada_ada:想起来一个类似的故事...九四五年的一天，克力富兰的孤儿院里出现了一个神秘的女婴，没有人知道她的父母是谁。她孤独地长大，没有任何人�...)这个版本似乎比以前看到版本要复杂 [本文发送自华新手机Wap版] [Pokka (12-29 13:07, Long long ago)] [ 传统版 | sForum ][登录后回复]30楼
(引用 小妖霖霖:浴室那个结尾直接打破了。你那个是死循环啊！是看了让我逻辑混乱的死循环啊！)不死循环，ada说的故事类似这个故事，内详 【v】[功夫熊猫 (12-29 13:16, Long long ago)] [ 传统版 | sForum ][登录后回复]31楼
(引用 功夫熊猫:不死循环，ada说的故事类似这个故事，内详 【v】 ...)…………我笑喷了。。。[trueif (12-29 13:25, Long long ago)] [ 传统版 | sForum ][登录后回复]32楼
(引用 功夫熊猫:不死循环，ada说的故事类似这个故事，内详 【v】 ...)我靠，你还能找到七喜版的，不顶不是外星人……[-功夫熊猫 (12-29 13:40, Long long ago)] [ 传统版 | sForum ][登录后回复]33楼
(引用 功夫熊猫:不死循环，ada说的故事类似这个故事，内详 【v】
...)哈哈哈哈我超爱这系列七喜的广告啊！尤其是穿越古代和蝴蝶效应的！我来贴一下。1. 穿越到古代的：
2. 小月月的:
3. 《解救白雪公主》
4. [史上最強的蝴蝶效應]
[小妖霖霖 (12-29 15:06, Long long ago)]
[ 传统版 |
sForum ][登录后回复]34楼
(引用 小妖霖霖:哈哈哈哈我超爱这系列七喜的广告啊！尤其是穿越古代和蝴蝶效应的！我来贴一下。1. 穿越到古代的： 2. 小月月的: 3. 《解救白雪公主� ...)笑死了。。。又中了~~[789456 (12-29 18:31, Long long ago)] [ 传统版 | sForum ][登录后回复]35楼
(引用 小妖霖霖:哈哈哈哈我超爱这系列七喜的广告啊！尤其是穿越古代和蝴蝶效应的！我来贴一下。1. 穿越到古代的： 2. 小月月的: 3. 《解救白雪公主� ...)lol~~[trueif (12-29 18:59, Long long ago)] [ 传统版 | sForum ][登录后回复]36楼
(引用 ada_ada:想起来一个类似的故事...九四五年的一天，克力富兰的孤儿院里出现了一个神秘的女婴，没有人知道她的父母是谁。她孤独地长大，没有任何人�...)我想了一下，这个故事是有结局的，不是死循环结局就在“伙计”把流浪汉带到1985年之后，就没有再提了，这个就是他的出口
一直在循环的不是时光机器，而是在1963年那个多出来的女婴。
[鱼片粥 (12-29 19:27, Long long ago)]
[ 传统版 |
sForum ][登录后回复]37楼
(引用 鱼片粥:我想了一下，这个故事是有结局的，不是死循环结局就在“伙计”把流浪汉带到1985年之后，就没有再提了，这个就是他的出口 一直在循环的不...)也就是说，1985年会出现无数个刚刚把流浪汉从1963年带回来的“伙计”[鱼片粥 (12-29 19:30, Long long ago)] [ 传统版 | sForum ][登录后回复]38楼
(引用 鱼片粥:也就是说，1985年会出现无数个刚刚把流浪汉从1963年带回来的“伙计”)啊，不对，每个伙计都会带回来一个流浪汉，这样算来就已经悖论了 [本文发送自华新手机Wap版] [鱼片粥 (12-29 19:43, Long long ago)] [ 传统版 | sForum ][登录后回复]39楼
(引用 ada_ada:想起来一个类似的故事...九四五年的一天，克力富兰的孤儿院里出现了一个神秘的女婴，没有人知道她的父母是谁。她孤独地长大，没有任何人�...)看的有点晕···这个故事的真相是她和”他“自己生了个孩子··然后那个孩子是她自己？[lizzie_612 (12-30 15:43, Long long ago)] [ 传统版 | sForum ][登录后回复]40楼