抽象レイヤの階段を駆け下りろ！

Mathematica とかでごりごりやってたのを、
HW で直接解くための仕掛けに書き直すのですよ。
そりゃもう、大変。
アタマイタイ。