関数の機能の分解
メタデータを与えるための変数定義
パターンマッチング
変数とスコープ範囲の決定