メタプログラミングは「ロジックを生成するロジック」または「プログラムを生成するプログラム」
帰納的にルールを導出するというのがメタプログラミング的だと思ったけど
よく考えたら帰納も演繹もそうありうるような気がしてきた……