脱関数化を実用する

[1 背景と導入](脱関数化を実用する 1#section1) [1.1 静的な個数のクロージャのある高階のプログラムのサンプル](脱関数化を実用する 1#section1-1) [1.2 動的な個数のクロージャのある高階のプログラムのサンプル](脱関数化を実用する 1#section1-2) [1.3 脱関数化とはつまり](脱関数化を実用する 1#section1-3) [1.4 関連研究](脱関数化を実用する 1#section1-4) [1.5 この研究](脱関数化を実用する 1#section1-5) [2 リストと木を処理するプログラムの脱関数化](脱関数化を実用する 2#section2) [2.1 二分木をリストへと平坦化する](脱関数化を実用する 2#section2-1) [2.2 リストの高階な表現](脱関数化を実用する 2#section2-2) [2.3 チャーチ符

[Dryad]

ゴツい。