置き換えモデルを基準に考えれば、ある手続きが返す値はその中で最後に呼び出した手続きの結果に等しく、それ以外の部分は過程の分岐または副作用をもつ場合のみ意味を持つ。従って上記関数的な観点では手続きの末尾だけを考慮すればよく、ここで再帰が行われる場合を末尾再帰という。//非末尾再帰//末尾再帰末尾行では定義と同型の式が現れている。末尾呼出し最適化.とは、末尾呼出しのコードを、戻り先を保存しないジャンプに変換することによって、スタックの累積を無くし、効率の向上などを図る手法である。末尾呼出しの除去などとも言う。関数呼出しでは、呼出し毎にスタックに呼出し元に戻るための情報を保存する。これをジャンプに最適化できれば、みかけの再帰がいくら深くなってもスタックが溢れたりすることがなくなる。この最適化が言語処理系によって行われるのであれば、プログラマが再帰的な手続きをループに変換することなく記述しても、再帰のためのスタック溢れを気にかける必要が無くなる。定気法定気法(ていきほう)とは、二十四節気を配置する方法の一つである。概要.時憲書御幣島駅歌島橋交差点の北側に位置する。駅構造.直営駅(北新地駅の被管理駅)かつICOCA利用可能駅(相互利用可能ICカードはICOCAの項を参照)。ダイヤ.利用状況.開業後の1日平均乗車人員の推移は以下の通りである。駅周辺.歌島橋交差点.歌島橋交差点(うたじまばしこうさてん)は、御幣島駅の南・直上にある道路交差点。交差点地下には地下道が設置されており、御幣島駅や地下駐輪場にも繋がっている(地下道は自転車を押して歩く事が出来るが御幣島駅構内部分は自転車進入不可)。バス路線.御幣島駅バス停.大阪シティバス(旧・大阪市営バス)の停留所。歌島橋バス停.概要.こうした刑罰は平安時代後期から存在し、平安京の左右にあった獄の門前に斬首された罪人の首を晒したことが「獄門」の語源であるといわれている。また当時は斬首した首をただ晒すだけでなく、矛で貫いて京中の大路を練り歩くことも行われたという。以後も同様の刑罰は存在したが、本格的に刑法体系に取り入れたのは江戸幕府であったとされている。