*** empty log message ***
| author |
kono |
| date |
Sat, 20 Jan 2001 20:47:00 +0900 |
| parents |
d2aa6137e9a9 |
| children |
816425e04ea7 |
| files |
ex.pl problems |
| diffstat |
2 files changed, 13 insertions(+), 0 deletions(-)
[+]
|
line diff
--- a/ex.pl Sat Jan 20 18:14:58 2001 +0900
+++ b/ex.pl Sat Jan 20 20:47:00 2001 +0900
@@ -253,4 +253,12 @@
st(ns0)
)) :- ensure_loaded(kiss_ex).
+% Infinite Interval
+
+ex(400,infinite).
+ex(401,*infinite).
+ex(402,*skip).
+ex(403,*length(5)).
+ex(403,~('<>'(empty))).
+
/* end */
--- a/problems Sat Jan 20 18:14:58 2001 +0900
+++ b/problems Sat Jan 20 20:47:00 2001 +0900
@@ -1,3 +1,8 @@
+Sat Jan 20 18:16:33 JST 2001
+
+とりあえず、more_only は、more にいくものが何かあれば許すと言うことに
+しました。
+
Sat Jan 20 03:38:14 JST 2001
demo(15) の infinite が止まらない。loop detection の計算量が
