nonsense abstract

In this paper, we present a novel reduction paradigm, called ksk reduction, which can be used as a basis of diet. The basic idea of the reduction is simple and clear: ksk contains a lot of calories, so cut it off to slim ourselves down. To formalize ksk reduction, we invented λ_ksk, a λ-like, if somewhat peculiar, calculus, and defined the reduction as some deterministic term-rewriting rules. In λ_ksk every term has its own size, or weight, and the key property of ksk reduction is that it never increases weight of terms. We also invented simply-typed λ_ksk calculus, λ_ksk^→, which includes the notion of types, or fat ratio, of terms, enabling more precise analyses of ksk reduction as a tool for diet.
In order to evaluate the effectiveness of ksk reduction, we developed a prototype evaluator of λ_ksk and implemented complete ksk reduction. Unfortunately, our first one-month experiment with this prototype system showed that ksk reduction cannot decrease weight efficiently. However, at least to some extent, it seems to have succeeded in dropping our body fat percentage as well as in improving our health. We are currently undertaking our second experiment, and are expecting nice results will come out soon.

内容はともかく、こんだけ書いてちょうど 200 語。えぇぇ。wc のバグとかじゃないの…？