Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
pphantom
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
Записная книжка
(Reply)
no subject
Date:
2012-02-10 10:28 pm (UTC)
From:
pphantom.livejournal.com
Ничуть не сложнее, чем на чем-либо другом.
Там в основном такие "физ-мат задачи", которые можно решить почти на чем угодно, хотя, кстати, именно физических задач там попросту нет.
Первые три, попавшиеся на глаза, ухлопались на Прологе за время порядка минуты на каждую. Вот, например, решение "проблемы 48":
===
sum(0,0).
sum(N,R):-Z is N**N,Nn is N-1,sum(Nn,Rr),R is Z+Rr.
goal:-sum(1000,R),Q is R mod 10**10,write(Q),nl,halt.
===
Это о чем-то говорит?
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
Profile
pphantom
Recent Entries
Archive
Reading
Tags
Memories
Profile
February
2017
S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
Most Popular Tags
it
-
13 uses
астрономия
-
24 uses
интересно
-
27 uses
маразм
-
46 uses
музыка
-
6 uses
преподавание
-
31 uses
смешно
-
34 uses
университет
-
19 uses
хозяйке на заметку
-
6 uses
числодробилки
-
6 uses
Style Credit
Style:
Neutral Good
for
Practicality
by
timeasmymeasure
Expand Cut Tags
No cut tags
Page generated Jul. 24th, 2025 11:01 pm
Powered by
Dreamwidth Studios
no subject
Date: 2012-02-10 10:28 pm (UTC)Там в основном такие "физ-мат задачи", которые можно решить почти на чем угодно, хотя, кстати, именно физических задач там попросту нет.
Первые три, попавшиеся на глаза, ухлопались на Прологе за время порядка минуты на каждую. Вот, например, решение "проблемы 48":
===
sum(0,0).
sum(N,R):-Z is N**N,Nn is N-1,sum(Nn,Rr),R is Z+Rr.
goal:-sum(1000,R),Q is R mod 10**10,write(Q),nl,halt.
===
Это о чем-то говорит?