単語記事: 継続

編集

継続、コンティニュエーションとは、プログラムフローのある時点における実行文脈に対してその未来図全体のことをいう。要は「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を使うと中間過程をキングクリムゾンして、結果が出ればよかろうなプログラムが書ける。また変数に束縛してやると時をねじ曲げたプログラムフローを作ることもでき、うまく立ち回るとロジックを自由に簡潔に書きたい形で書ける(もちろんスパゲティをゆでることもできる。グレンキャノンもだ!)

関連動画

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

関連項目


【スポンサーリンク】

携帯版URL:
http://dic.nicomoba.jp/k/a/%E7%B6%99%E7%B6%9A
ページ番号: 4570880 リビジョン番号: 2296539
読み:ケイゾク
初版作成日: 11/02/20 13:21 ◆ 最終更新日: 15/12/04 18:53
編集内容についての説明/コメント: 曖昧さ回避追加
記事編集 / 編集履歴を閲覧
このエントリーをはてなブックマークに追加

この記事の掲示板に最近描かれたお絵カキコ

お絵カキコがありません

この記事の掲示板に最近投稿されたピコカキコ

ピコカキコがありません

継続について語るスレ

1 : 柴田 純 :2012/05/29(火) 05:24:32 ID: 7fYPZjNi5A
真山さぁん・・・ チンコってなんですかね?
ほら、あれです チンコ
2 : ななしのよっしん :2012/09/30(日) 00:05:47 ID: Ewj46hFsg0
リンク先のSchemeの解説ページの紹介はありがたい、ようやく継続の理解の糸口が見えた気がするよ(`・ω・´)
3 : ななしのよっしん :2013/08/20(火) 21:55:08 ID: QDANpQOMqX
>>1
柴田お前さ、臭えよ、頭ww
洗えww
4 : ななしのよっしん :2013/09/03(火) 18:19:57 ID: FSCBMUkch5
ケイゾク好きなは続編のspecも見よう
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
映画の方はまあ残念だったけど
ニコニコニューストピックス
電ファミwiki
  JASRAC許諾番号: 9013388001Y45123
  NexTone許諾番号: ID000001829