f(0)	=	1
f(1)	=	1
f(x)	=	f(x-1)+ f(x-2)

1 , 1 , 2 , 3 , 5 , 8 , 1 3 , 2 1 , 3 4 , 5 5 , 8 9 , 1 4 4 , 2 3 3 , 3 7 7 , 6 1 0 , 9 8 7 , 1 5 9 7 , 2 5 8 4 , 4 1 8 1 , 6 7 6 5 , 1 0 9 4 6 , 1 7 7 1 1 , 2 8 6 5 7 , 4 6 3 6 8 , 7 5 0 2 5 , 1 2 1 3 9 3 , 1 9 6 4 1 8 , 3 1 7 8 1 1 , 5 1 4 2 2 9 , 8 3 2 0 4 0 , 1 3 4 6 2 6 9 , 2 1 7 8 3 0 9 , 3 5 2 4 5 7 8 , 5 7 0 2 8 8 7 , 9 2 2 7 4 6 5 , 1 4 9 3 0 3 5 2 , 2 4 1 5 7 8 1 7 , 3 9 0 8 8 1 6 9 , 6 3 2 4 5 9 8 6 , 1 0 2 3 3 4 1 5 5 , 1 6 5 5 8 0 1 4 1 , 2 6 7 9 1 4 2 9 6 , 4 3 3 4 9 4 4 3 7 , 7 0 1 4 0 8 7 3 3 , 1 1 3 4 9 0 3 1 7 0 , 1 8 3 6 3 1 1 9 0 3 , 2 9 7 1 2 1 5 0 7 3 , 4 8 0 7 5 2 6 9 7 6 , 7 7 7 8 7 4 2 0 4 9 , 1 2 5 8 6 2 6 9 0 2 5 , 2 0 3 6 5 0 1 1 0 7 4 , 3 2 9 5 1 2 8 0 0 9 9 , 5 3 3 1 6 2 9 1 1 7 3 , 8 6 2 6 7 5 7 1 2 7 2 , 1 3 9 5 8 3 8 6 2 4 4 5 , 2 2 5 8 5 1 4 3 3 7 1 7 , 3 6 5 4 3 5 2 9 6 1 6 2 , 5 9 1 2 8 6 7 2 9 8 7 9 , 9 5 6 7 2 2 0 2 6 0 4 1 , 1 5 4 8 0 0 8 7 5 5 9 2 0 , 2 5 0 4 7 3 0 7 8 1 9 6 1 , 4 0 5 2 7 3 9 5 3 7 8 8 1 , 6 5 5 7 4 7 0 3 1 9 8 4 2 , 1 0 6 1 0 2 0 9 8 5 7 7 2 3 , 1 7 1 6 7 6 8 0 1 7 7 5 6 5 , 2 7 7 7 7 8 9 0 0 3 5 2 8 8 , 4 4 9 4 5 5 7 0 2 1 2 8 5 3 , 7 2 7 2 3 4 6 0 2 4 8 1 4 1 , 1 1 7 6 6 9 0 3 0 4 6 0 9 9 4 , 1 9 0 3 9 2 4 9 0 7 0 9 1 3 5 , 3 0 8 0 6 1 5 2 1 1 7 0 1 2 9 , 4 9 8 4 5 4 0 1 1 8 7 9 2 6 4 , 8 0 6 5 1 5 5 3 3 0 4 9 3 9 3 , 1 3 0 4 9 6 9 5 4 4 9 2 8 6 5 7 , 2 1 1 1 4 8 5 0 7 7 9 7 8 0 5 0 3 4 1 6 4 5 4 6 2 2 9 0 6 7 0 7 , 5 5 2 7 9 3 9 7 0 0 8 8 4 7 5 7 , 8 9 4 4 3 9 4 3 2 3 7 9 1 4 6 4 , 1 4 4 7 2 3 3 4 0 2 4 6 7 6 2 2 1 2 3 4 1 6 7 2 8 3 4 8 4 6 7 6 8 5 , 3 7 8 8 9 0 6 2 3 7 3 1 4 3 9 0 6 6 1 3 0 5 7 9 0 7 2 1 6 1 1 5 9 1 , 9 9 1 9 4 8 5 3 0 9 4 7 5 5 4 9 7 , 1 6 0 5 0 0 6 4 3 8 1 6 3 6 7 0 8 8 , 2 5 9 6 9 5 4 9 6 9 1 1 1 2 2 5 8 5 , 4 2 0 1 9 6 1 4 0 7 2 7 4 8 9 6 7 3 , 6 7 9 8 9 1 6 3 7 6 3 8 6 1 2 2 5 8 , 1 1 0 0 0 8 7 7 7 8 3 6 6 1 0 1 9 3 1 , 1 7 7 9 9 7 9 4 1 6 0 0 4 7 1 4 1 8 9 , 2 8 8 0 0 6 7 1 9 4 3 7 0 8 1 6 1 2 0 , 4 6 6 0 0 4 6 6 1 0 3 7 5 5 3 0 3 0 9 , 7 5 4 0 1 1 3 8 0 4 7 4 6 3 4 6 4 2 9 , 1 2 2 0 0 1 6 0 4 1 5 1 2 1 8 7 6 7 3 8 , 1 9 7 4 0 2 7 4 2 1 9 8 6 8 2 2 3 1 6 7 , 3 1 9 4 0 4 3 4 6 3 4 9 9 0 0 9 9 9 0 5 , 5 1 6 8 0 7 0 8 8 5 4 8 5 8 3 2 3 0 7 2 , 8 3 6 2 1 1 4 3 4 8 9 8 4 8 4 2 2 9 7 7 , 1 3 5 3 0 1 8 5 2 3 4 4 7 0 6 7 4 6 0 4 9 , 2 1 8 9 2 2 9 9 5 8 3 4 5 5 5 1 6 9 0 2 6 , 3 5 4 2 2 4 8 4 8 1 7 9 2 6 1 9 1 5 0 7 5 , . . . .

inductive-programming.org

Content

News

CfP: PEPM'10 at POPL'10

ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) co-located with POPL'10 in Madrd Spain - January 18-19 2010 - welcomes contributions on techniques for program synthesis and inductive programming. See the Call for Papers at http://www.program-transformation.org/PEPM10.

[more]

19.06.2009

AAIP 09 deadline extension

The submission deadline for AAIP 09 has been extended to May 25th, 2009.

[more]

12.05.2009

Mailing List problems fixed

Due to an Apache bug our mailing list didn't work properly. This should be fixed now. If you still encounter problems, please let us know (contact the admin).

[more]

12.03.2009

Repository Online

Thanks to our project student Thomas Hieber we are glad to announce further progress iat one of our construction sites. He as updated the systems' section and started to build up a repository of example problems. A first set of systems is already compared in a uniform framework. Everybody who is missing a/his/her system is highly encouraged to contribute.

[more]

19.02.2009

AAIP '09 accepted

The next workshop on Approaches and Applications of Inductive Programming 2009 (AAIP'09) will be held in conjunction with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009). Detailed information can be found at the workshop homepage.

[more]

07.01.2009

Mailing List

To subscribe to the mailing list, please enter your e-mail address and press the 'Subscribe' button. You will be added to the mailing list soon!

Unsubscribe

If you wish to unsubsribe from the mailing list fill in the form below. You will not recieve any mails form 'www.inductive-programming.org'. Naturally, you can sign in again if you change your mind later.

Write to the list

If you wish to send a message to this mailing just send your message to the list moderator. Note, that the administrator of 'inductive-programming.org' reserve the right to not forward your message to the list if the message is not of interest to the whole IP community.

This file was last modified on [an error occurred while processing this directive]