
Distributing "Displaying the Calculation Process of the Ackermann Function (Part ↑) / Solving the DDR Foot Movement Optimization Problem" at Technical Book Festival 7
At Technical Book Festival 7 to be held on 9/22, I will be distributing a book titled "Displaying the Calculation Process of the Ackermann Function (Part ↑) / Solving the DDR Foot Movement Optimization Problem".
I plan to distribute physical books (+ digital version) for 1,000 yen, and cards for digital version only for 500 yen.
What's the content?
It's a two-part structure, with the first part by me and the second part by maton (@automatonix).
Part 1 "Displaying the Calculation Process of the Ackermann Function (Part ↑)"
Using the Ackermann function as a subject, it touches on huge numbers and processing of massive data, creating an "Ackermann function calculation process printer" with Rust. In the process, it looks at methods to fight recursive functions and outputs that don't fit in memory (memoization, reducing stack usage, data structure ingenuity), and how to proceed with Test Driven Approach in Rust.
This time, due to circumstances, the output is about 1.5GB, but in the sequel, I plan to handle TB-class output with various ingenuities. Some ideas are described in this book, so those interested can create a printer that supports TB-class output.
Part 2 "Solving the DDR Foot Movement Optimization Problem"
It solves the problem of generating the minimum cost foot movement for DDR charts. Since there are too many candidates for simple exhaustive search, it enables generation in realistic time using cost formulation and DP.
Since many factors are involved in calculating the cost required for foot movement, there are issues not considered in this model. In the sequel, I plan to formulate a model that considers more complex elements and differences in play styles, and automatically generate foot movements.
Happy Points
- Learn how to deal with massive data
- Learn how to deal with recursive functions
- Practice Rust project progression and Test Driven Approach
- Be able to display the calculation process of the Ackermann function (if it's a few GB)
- Become knowledgeable about huge numbers
- Learn about a case of applying DP to a real project
- Be able to output (mechanical) foot movements for DDR
- Become knowledgeable about DDR
- Cute cover by Kobayashi Doumushi sensei
Images at the beginning
Self-review by the author
It may seem like a very niche genre, but when you open it up, it's an introductory book that broadly covers software development. Starting with a naive implementation and then solving the challenges that arise through ingenuity, you can smoothly learn how to deal with recursive functions, memory overflow, and DP. It also shows how to proceed with Rust projects, Test Driven Approach, problem setting and formulation, and contains elements necessary for actual software development. The huge numbers and DDR that serve as the subjects for these topics are also explained, and I guarantee your interest will be piqued.
(Tokyo, Cuboid)
Request for checks
If you're interested, please press "Add circle to checklist". You might think "I can just go and buy it on the day", but circles have no other way to predict the number of distributions on the day, so if they prepare too few or too many, it leads to sadness.
...That said, this time I've already mastered up, so I can't change the number...
But please cooperate for the next time.
On the day
I'll be waiting at 3F い35C. There might be a venue-limited bonus book?
I plan to submit to the browsing area as well, so you can check the content there too.
I hope to somehow not oversleep and make it there!