This summary discusses the ICFP Contest 2010 programming competition that the speaker's team "PurePureCode++" participated in. The contest involved solving problems related to producing cars and fuels where cars were represented by systems of inequalities and fuels were represented by logical circuits. Teams had 72 hours to develop solvers, with the best solutions winning prizes related to promoting the winning team's programming language of choice. The speaker's team developed various solvers over the 3 days, starting with simple approaches and improving their solvers, infrastructure, and strategies to try and solve more difficult problems and maximize their score. They hoped to potentially win a judge's prize for being in the top 5 teams.

1. ICFPC 2010 PurePureCode++

2. Short talk about ICFP Contest 2010 What's ICFPC This year's task Our team: PurePureCode++ About this talk

3. What's ICFPC?

4. ICFP

5. Annual contest held by ICFP organizer No limit to eligibility No limit to programming languages used No limit to team size 72 hours! ICFP Contest

6. Organizer praise the programming language of winner's choice 1st place: "the programming language of choice for discriminating hackers" 2nd place: "a fine tool for many applications" lightning: "very suitable for rapid prototyping" Prize

8. 2008: Mars Rover

10. International Car and Fuel Production This Year's Task

11. Cars & Fuels Company B fuel Company A fuel fuel fuel Company C fuel Cars: Open-sourced Fuels: Proprietary

12. Car: Non-linear system of inequalities, e.g. ABC >= BAAC BBA > ACBA Fuel: Assignment of square matrices with arbitrary dimension non-negative integer components (top-left component should be positive) Background:google:///kinaba dyd string rewriting Core Problem

13. Cars and Fuels are coded by ternary coding 012020210001200102002010021212102001... Fuels are produced by ternary logical circuits Smaller circuit is better Coding specification is not given...guess it! Golf & Guess

14. Our Team Introducing PurePureCode++

15. ぴゅあぴゅあこーど++ (pure pure code ++) @phoenixstarhiro @izumi_yusuke @chunjp @gusmachine @nya3jp @tanakh Our Team

16. Day1: spec analysis, simple solver Day2: SA solver, Car design Day3: specialized solvers Summary

17. Ternary circuit gate guess Analysis of ternary codings Organizing submissions Simple brute-force solver First SA solver Day1

18. Improved SA solver Shipping Cars Auto-solver infrastructure Day2

19. ICFPC Server Solver Cluster Members C++ / Python TrivialSolver Scalar Solver Bash Auto Solver Master Server BF Solver Frontend Server Auto Solver Scraper SA Solver Python+Cron Python Auto Solver DB Spec. Solver Trit Encoder Decoder Circuit Generator Haskell PlainText Python

21. purepure.cgi

22. Better solver scheduling Analysis of "hard" Cars Specialized solvers Day3

23. Scoring scheme: 1/N, 1/(N+1), ..., 1/(2N-1) pts for N-user Car Circuit golf yields upto x2 revenue Difficult and require resubmission 1user Car vs. 20user Car? Popular Cars have very small revenue Strategy

24. Judge's Prize?

25. Within Top5! (out of 874 teams) To be announced in ICFP2010 Result