WordNet

continue after an interruption; "The demonstration continued after a break for lunch"
exist over a prolonged period of time; "The bad weather continued for two more weeks"
continue talking; "I know its hard," he continued, "but there is no choice"; "carry on--pretend we are not in the room" (同)go_on, carry on, proceed
continue a certain state, condition, or activity; "Keep on working!"; "We continued to work into the night"; "Keep smiling"; "We went on working until well past midnight" (同)go_on, proceed, go along, keep
do something repeatedly and showing no intention to stop; "We continued our research into the cause of the illness"; "The landlord persists in asking us to move" (同)persist in
keep or maintain in unaltered condition; cause to remain or last; "preserve the peace in the family"; "continue the family tradition"; "Carry on the old traditions" (同)uphold, carry on, bear on, preserve
without stop or interruption; "to insure the continued success of the war"; "the continued existence of nationalism"; "the continued popularity of Westerns"
uninterrupted connection or union
the property of a continuous and connected period of time (同)persistence
a detailed script used in making a film in order to avoid discontinuities from shot to shot

PrepTutorEJDIC

〈物事〉'を'『続ける』,持続する;(中断後)…'を'また始める,継続する / 《しばしば受動態で》《副詞[句]を伴って》(ある位置・状態に)〈人〉'を'とどませる / 『続く』,継続する / 《副詞[句]を伴って》(ある地位・状態などに)『とどまる』 / (話を一度中断してまた)続ける
〈U〉連続,断続,一貫性 / 〈U〉(映画・ラジオ・テレビの)コンテ,撮影(録音)用台本;〈C〉コンテに書かれた個々の指示
〈U〉(途切れることなく)(…を)続けること,(…が)続くこと,(…の継続;《しばしばa~》(いったん中断した後の)(…の)継続,再開《+『of』+『名』》 / 〈U〉(さらに先への)延長;〈C〉延長した部分 / 〈C〉(話・テレビ番組などの)続き,続編

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2013/04/02 15:01:38」(JST)

wiki ja

この項目では、プログラムの継続について記述しています。「継続」の語義については、ウィクショナリーの「継続」の項目をご覧ください。

計算機科学における継続（けいぞく、continuation）とは、プログラムの実行においてある時点において評価されていない残りのプログラム（the rest of the program）を意味するものであり、手続き（procedure）として表現されるものである。

1 概要
- 1.1 手続き型（命令型）プログラミング言語と継続
  - 1.1.1 Schemeマクロによる手続き言語的BEGIN文における限定的な継続の実装
- 1.2 計算一般における継続
- 1.3 その他の、プログラミング言語やプログラミングと継続
2 応用
- 2.1 実用
  - 2.1.1 例外的な処理の扱い
  - 2.1.2 Web アプリケーション
- 2.2 理論
  - 2.2.1 コルーチン
  - 2.2.2 継続渡しスタイル
  - 2.2.3 Schemeにおける継続
  - 2.2.4 プログラムの理論と継続
  - 2.2.5 限定継続
3 脚注
4 参考文献

概要

手続き型（命令型）プログラミング言語と継続

次のようなBASICプログラムについて考える。

 10 GOTO 40
 20 PRINT "WORLD"
 30 STOP
 40 PRINT "HELLO"
 50 GOTO 20
 60 END

このgoto文を用いたBASICプログラムは以下のように手続きを用いて書きなおすことができる。

100 SUB L1
110    PRINT "WORLD"
120    STOP
130 END SUB
140 SUB L2
150    PRINT "HELLO"
160    CALL L1
170 END SUB
180 CALL L2
190 END

継続の骨子は、このようにgoto文などの制御構文を手続きの呼び出しとして解釈することである。例えば、書きなおす前のBASICプログラムの５０行を評価した時点における継続は具体的に表現する事は困難であるが、下のBASICプログラムであれば、単純に"HELLO"を表示した後に呼び出される手続き L1 と具体的に表現することができるようになる。

Schemeマクロによる手続き言語的BEGIN文における限定的な継続の実装

上記説明における制御構文を手続き（procedure）として表現するという手法を用いると、begin文に限定的な継続を導入することが容易に可能となる。

次に示すreset-beginマクロはbegin文と基本的挙動は同一であるが、shift-begin文を用いることによって、shift-begin行以下の継続を扱うことができる。

(define-syntax reset-begin
  (syntax-rules (shift-begin)
    ((_)
     #f)
    ((_ exp)
     exp)
    ((_ (shift-begin k body ...) exp2 ...)
     (let ((programpoint (lambda (res)
                           (reset-begin exp2 ...))))
       ((lambda (k) body ...) programpoint)))
    ((_ exp1 exp2 ...)
     (let ((res exp1))
       (reset-begin exp2 ...)))))

上記マクロを用いた例

> (reset-begin
   (display "1\n")
   (display "2\n")
   (shift-begin cont (cont 0) (display "3 shifted\n"))
   (display "4\n")
   (shift-begin cont (display "5 exit\n"))
   (display "6\n")
   (display "END\n"))
1
2
4
5 exit
3 shifted

計算一般における継続

複数の段階から成るあらゆる計算において、「継続」は存在している。まず、簡単な例として、算術の計算を考えてみよう^[1]。

以下のような式を評価して、値を得るという計算を考える。

(((((1 + 2) + 3) + 4) + 5) + 6)

ちょうど「3を足す」という計算が終わったところだとする。

(((6 + 4) + 5) + 6)

この時、「4を足す」というのが次にするべき計算で、さらにその継続は「5を足して、さらに6を足す」というものである。

このように、コンピュータプログラムに限らず、あらゆる計算に継続は存在している。

その他の、プログラミング言語やプログラミングと継続

サブルーチンの呼び出しや割り込みの際には、プログラムの元の部分から実行を再開するための情報がスタックに積まれ、必要な処理が終わるとスタックからそれを戻して実行を再開するが、この際の「実行を再開するための情報」も継続の一種である。

C言語では、setjmp関数で継続を保存し、longjmp関数でその継続に飛ぶことができるが、関数呼び出しの入れ子が浅くなる側にしか飛ぶことができないという制限がある。

Schemeでは、call-with-current-continuation（en:call-with-current-continuation、しばしばcall/ccと略される）という関数により、「現在の継続」を明示的に取り出し、プログラムで扱うことができる（継続が第一級オブジェクトである、という）。継続を、関数のようにして呼び出すと、その引数を返戻値として、call-with-current-continuationから戻る。

RubyのC言語による実装（MRIとも呼ばれる）にも、同様のcallccというメソッドがある（バージョン1.9ではcontinuationライブラリをrequireする必要がある）。またMozillaによるJavaScript処理系の実装であるRhinoにも継続のサポートがある^[2]。

応用

実用

例外的な処理の扱い

たとえばC言語ではsetjmp/longjmpで実装するような、あるいはAda、C++、Javaなどの高水準プログラミング言語では言語機能として例外処理をサポートしているが、継続を扱うことができれば、同様の「今やっている計算を打ち切り、ネストの外側に値と処理を返す」、というふるまいをプログラムできる。

Web アプリケーション

Webアプリケーションにおいて、継続の利用が開発効率を上げるとして、継続を利用するスタイルでのWebアプリケーションの開発がおこなえるフレームワークが開発されており、Kahuaなどの実装例がある。通常、Webサーバではユーザからの HTTP リクエストは完全に独立したものとして扱われており、したがってサーバ上で走っているプログラムは個々のリクエストを独立した計算過程として完了しなければならなかった。しかし、多くの Web アプリケーションでは『ログイン』や『買い物カゴへの追加』など、あたかもサーバ上で連続した状態を保持しているかのような機能をユーザに対して提供する必要がある。従来のWebプログラミングでは、これは一連のリクエストをいくつかの状態に分割してサーバ上に（あるいはクッキーなどで）保存しておき、各リクエストごとにそこから復帰するという手法が一般的だったが、このようなプログラミングは複雑になりがちで、バグも起こりやすかった。しかし継続をサーバ上に保持できれば、プログラマは状態の分割をなにも考えずにあたかもユーザと 1対1で通信しているかのようなコードを書くことができる。これにより複雑な Web アプリケーションがより簡単に（バグも少なく）書けるようになると、それらのフレームワークの開発者は主張している。

理論

コルーチン

例外のようなスタックの巻き戻しのような処理ばかりではなく、コルーチンのように相互に呼び出し合うような機構も継続を使って実装できる（なお、コルーチンの実装には継続の持つ能力の全ては必要ではなく、また性能や機能の理由から、スレッドやファイバーで実装されるほうが多い）。

継続渡しスタイル

詳細は「継続渡しスタイル」を参照

現在主流である、LIFOの関数呼び出しではなく、全ての関数呼び出しに、その関数が終わった後実行されるべき継続を、明示的に渡す、というプログラムのスタイルがあり、プログラマが書くコードとしてだけではなく、プログラミング言語処理系の中間表現としても使われており研究されている。

Schemeにおける継続

Schemeでは前述のように、継続が第一級オブジェクトであり、また簡単に実行中のコンテキストから継続を取り出して使うことができる。そればかりではなく、Schemeは仕様においてプログラム意味論が与えられているが、そこでも継続を利用して定義がおこなわれている。

プログラムの理論と継続

Scheme以前から、プログラムの理論として継続は意識されており^[3]、SECDマシンの「D」は継続そのものである。また、手続き型（命令型）プログラミング言語の表示的意味論でも、gotoなどの意味を定めるために継続を使う。

限定継続

計算の残り全体を扱う継続は、扱いづらいのみならず、一種の副作用のようなふるまいをする^[4]。

これに対し、限定継続（en:delimited continuation・restricted ～、partial continuation 部分継続などとも）は、継続のうち、ある所までの計算を区切って取り出すことができる、というもので、近年研究や実装が進められている。限定継続に対し（ふつうの）継続をundelimited continuationなどと言う。

shiftとresetと呼ばれるプリミティブにより、限定された継続が作られる。Schemeでcall/ccを使った実装例が、論文 "Final shift for call/cc:: direct implementation of shift and reset" 中の§2のサーベイ中に示されている。

脚注

^ 計算順を明示するために、全ての式に括弧を付けている。結合法則が成り立たない計算を考えているといった意味があるわけではない。
^ RhinoWithContinuations
^ http://blog.practical-scheme.net/shiro/20120122-origin-of-continuations
^ http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3Acall%2Fcc%E3%81%A8%E5%89%AF%E4%BD%9C%E7%94%A8

参考文献

Guy Lewis Steele, Jr. (1978), Rabbit: A Compiler for Scheme
Guy Lewis Steele, Jr. and Gerald Jay Sussman (1976), Lambda: The Ultimate Imperative
Peter J. Landin (1965), A Generalization of Jumps and Labels
Christopher Strachey, Christopher P. Wadsworth (1974), Continuations: A Mathematical Semantics for Handling Full Jumps
Michael J. Fischer (1972), Lambda-Calculus Schemata
Gordon Plotkin (1975), Call-by-Name, Call-by-Value and the Lambda Calculus
Olivier Danvy , Andrzej Filinski (1990), Abstracting Control
Olivier Danvy , Andrzej Filinski (1992), Representing control: a study of the CPS transformation
Andrzej Filinski (1994), Representing Monads
Martin Gasbichler. Michael Sperber (2002), Final Shift for Call/cc: Direct Implementation of Shift and Reset
Timothy G. Griffin (1990), A Formulae-as-Types Notion of Control
廣川佐千男, 亀山幸義, 馬場謙介 (1997), λC計算とλP計算との対応
浅井健一, shift/reset プログラミング入門, ACM SIGPLAN Continuation Workshop 2011 チュートリアルセッション資料
John C.Reynolds (1993), The Discoveries of Continuations

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

1. 持続的腎代替療法：概要 continuous renal replacement therapies overview
2. 月経抑制のためのホルモン避妊法 hormonal contraception for suppression of menstruation
3. 急性腎障害（急性腎不全）における持続的腎代替療法 continuous renal replacement therapy in acute kidney injury acute renal failure
4. 肥満手術患者のケアのための病院設備および職員配置 hospital accommodations and staffing for care of the bariatric surgical patient
5. 腫瘍崩壊症候群：予防および治療 tumor lysis syndrome prevention and treatment

Japanese Journal

アイドルブーム継続でAKB人気は磐石 (特集 2014年大展望&2030年未来予測) -- (エンタメ&消費編)

週刊東洋経済 = Weekly toyo keizai (6503), 171, 2014-12-28
NAID 40019917897

アメリカにおける共通コア州スタンダーズに対する学校の反応と課題 : ニューヨーク市の小・中・高等学校でのフィールドワークをもとに

岡邑衛,上田勝江,新谷龍太朗,オカムラエイ,ウエダカツエ,シンタニリュウタロウ,Okamura Ei,Ueda Katsue,Shintani Ryutaro
大阪大学教育学年報 19, 97-110, 2014-03-31
… だが、「共通コア州スタンダーズ」に適応した各学校の取り組みが校長の強いリーダーシップに依存している場合、その継続性や発展性は同じ志を持つ他校とのネットワークがあるかどうかにかかっていること、民間組織の教育支援機能が全ての公立学校を支援できるかという規模の問題を指摘することができる。 …
NAID 120005373405

コントラクトブリッジ実践的教授法の研究(6)

清水映樹,滝沢武信
情報処理学会研究報告. GI, [ゲーム情報学] 2014-GI-31(1), 1-4, 2014-03-10
… コントラクトブリッジはオークションとプレイの2段階で成り立っているゲームである.コントラクトブリッジをまったく知らない人に教える場合でも,最初から複雑なビディングシステムを覚えさせなければならない.早稲田大学では比較的短期間でも教えられる新たな実践的方法を提案し,実際に入門者向けセミナーで試みた.本稿では,その継続として開講した授業の 5 年度目の事例を報告する. …
NAID 110009677056

Related Pictures

★リンクテーブル★

リンク元	「100Cases 16」「連続」「持続」「continuity」「連続性」
拡張検索	「継続的」「無作為プラセボ非継続試験」「継続性」

「100Cases 16」

　　[★]

☆case16　膝の痛み

■glossary

indigestion 消化障害、消化不良

■症例

80歳　男性

主訴：左膝の痛みと腫脹

現病歴：左膝の痛みを2日前から認めた。膝は発熱・腫脹しており、動かすと疼痛を生じる。時々胸焼けと消化不良が見られる。6ヶ月前のhealth checkで、高血圧(172/102mmHg)と血中クレアチニンが高い(正常高値)こと以外は正常といわれた。その4週間数回血圧を測定したが、高値が継続したため、2.5mg bendrofluamethizide(UK)/ベンドロフルメチアジド bendroflumethiazide(US)で治療を開始した。最近の血圧は138/84 mmHgであった。

喫煙歴：なし。

飲酒歴：一週間に平均4unit。

既往歴：股関節に中程度(mild)の変形性関節症

家族歴：特記なし

服薬歴：アセトアミノフェン(股関節の疼痛に対して)

身体所見 examination

　血圧 142/86mmHg。体温37.5℃。脈拍88/分。grade 2 hypertensive retinopathy(高血圧症性網膜症)。心血管系、呼吸器系に検査場異常なし。手にDIPにヘバーデン結節なし。

　左膝が発熱し腫脹している。関節内に液、patellar tap陽性。90℃以上膝関節を屈曲させると痛みを生じる。右の膝関節は正常に見える。

検査　 investigation

　生化学：白血球増多、ESR 上昇、尿素高値、グルコース高値

　単純X線：関節間隙やや狭小。それ以外に異常は認めない。

■problem list

　#1 左膝の痛み

　#2 胸焼け

　#3 消化不良

　#4 高血圧

　#5 クレアチニン正常高値

　#6 股関節の変形性リウマチ

　#7 高血圧性網膜症

■考え方

　・関節痛の鑑別診断を考える。

　・VINDICATEで考えてみてもよいでしょう。

　・関節痛の頻度としては　外傷＞慢性疾患(OAなど)＞膠原病＞脊椎疾患＞悪性腫瘍

■関節痛の鑑別疾患

DIF 282

V Vascular 血友病 hemophilia, 壊血病 scurvy, 無菌性骨壊死 aseptic bone necrosis (Osgood-Schlatter diseaseとか)

I Inflammatory 淋疾 gonorrhea, ライム病 lyme disease, 黄色ブドウ球菌 Staphylococcus, 連鎖球菌 Streptococcus, 結核 tuberculosis, 梅毒 syphilis, 風疹 rubella, 単純ヘルペス herpes simplex, HIV human immunodeficiency virus, サイトメガロウイルス cytomegalovirus

N Neoplastic disorders 骨原性肉腫 osteogenic sarcoma, 巨細胞腫 giant cell tumors

D Degenerative disorders degenerative joint disease or 変形性関節症 osteoarthritis

I Intoxication 痛風 gout (uric acid), 偽痛風 pseudogout (calcium pyrophosphate), ループス症候群 lupus syndrome of hydralazine (Apresoline) and procainamide, gout syndrome of diuretics

C Congenital and acquired malformations bring to mind the joint deformities of tabes dorsalis and syringomyelia and congenital dislocation of the hip. Alkaptonuria is also considered here.