mainmenu

globalmenu

    継続単語

    ケイゾク

    掲示板をみる(7)

    4

    継続、コンティニュエーションとは、プログラムフローのある時点における実行文脈に対してその未来図全体のことをいう。要は「to be continued(続く)……」で表される全部。

    曖昧さ回避
    1. ケイゾクTBS系列テレビドラマ
    2. 継続高校 - テレビアニメガールズ&パンツァー」に登場する架学校

    概要

    、この戦いが終ったら結婚するんだ」

     といった場合、「この戦い」というのが下進行中の現在の文脈であり、その終了を待つ「継続」は

    • 郷里で彼女結婚
    • 薔薇色の新婚時代を過ごし
    • 倦怠期を迎えての疲弊を感じ
    • 「理想の女性は?」と聞かれて「妻です……出会った頃の」と答え
    • 飲み屋で青年を捕まえて「君、結婚とは人生墓場だよ」と説教

    etc...

    といった一連の未来図全体にあたる。

    これが何の役に立つかというと、プログラム上で適当継続を「認識」し、ある種のラベルチェックポイントとして利用することができるわけである。

    基本的に、プログラムをどのタイミングでスライスしても「来るべき次の継続」というのは存在するのだが、何も考えずに取り出した所で神話時代のgoto黒魔術でるだけなので余り意味はない。ダイクストラやクヌース以降を生きる々進歩的文明人類としては、「それ」を飼いならし、去勢し、の名をもてしばりつける必要がある。そこで用いられるマントラが「call-with-current-continuation」、通称「call/cc」である。

     call/ccを唱えると、処理系はまずその間における継続を一引数関数の形に加工する。カリー化を知っているとイメージしやすいと思うが、プログラム列を仮想的に1-in/1-out手続きのパイラインと見た時、どの出も必ずそれを待つ次の入につながっている。つまりバトンを渡すべき次走者を、その間の継続(の入り口)と捉えるわけである。上の例なら

     proc := 未来図なう()

    といった感じだろうか。

     これを実際どう使うのかは大変なのでここでは書かないが(http://practical-scheme.net/wiliki/wiliki.cgi?Scheme継続周りの記事がオススメ)、このprocを使うと中間過程をキングクリムゾンして、結果が出ればよかろうなプログラムが書ける。また変数に束縛してやると時をねじ曲げたプログラムフローを作ることもでき、うまく立ち回るとロジックを自由に簡潔に書きたい形で書ける(もちろんスパゲティをゆでることもできる。グレンキャノンもだ!)

    関連動画

    継続に関するニコニコ動画動画を……ないよね。

    関連項目

    掲示板

      • 5ななしのよっしん

        2013/09/03(火) 18:50:44 ID: QDANpQOMqX

        いと思ったなら、今度ある結も見よう。ついでにTRICK映画も見よう。

        どうでも良いが、specからケイゾク見たから、雰囲気が全然違っていて驚いた。

      • 6ななしのよっしん

        2013/09/04(水) 08:33:07 ID: FSCBMUkch5

        堤幸彦はやっぱりすごい
        ケイゾクTRICKIWGPヒット作を連発してるからな

      • 7ななしのよっしん

        2013/09/08(日) 09:10:47 ID: FSCBMUkch5

        映画の方はまあ残念だったけど

    急上昇ワード

    最終更新:2018/06/22(金) 06:00

    ほめられた記事

    最終更新:2018/06/22(金) 06:00

    ウォッチリストに追加しました!

    すでにウォッチリストに
    入っています。

    OK

    追加に失敗しました。

    OK

    追加にはログインが必要です。

           

    ほめた!

    すでにほめています。

    すでにほめています。

    ほめるを取消しました。

    OK

    ほめるに失敗しました。

    OK

    ほめるの取消しに失敗しました。

    OK

    ほめるにはログインが必要です。

    TOP