けい‐ぞく【継続】
継続
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/01/11 06:13 UTC 版)
![]() | 出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 |
計算機科学における継続(けいぞく、continuation)とは、プログラムを実行中のある時点において、評価されていない残りのプログラム(the rest of the program)を表現するものであり、手続き(procedure)あるいは関数(function)として表現されるものである[1]。
継続に相当する概念は1960年代初頭から存在しており、Algol 60のコンパイラの実装[2]などの文献にたびたび登場していたが、継続の利用に関する最も早い記述は、1964年のアドリアン・ファン・ワインハールデン (en:Adriaan van Wijngaarden) によるものである[1]。
概要
計算一般における継続
Schemeによる次の式を考える:
(+ 4 (+ 1 2))
この式を評価する際、まず (+ 1 2)
が計算され、すなわち 1+2 が計算され、次にその結果に4を足して全体の計算結果が求められる。(+ 1 2)
の評価が行われた段階での「残りの計算」を表現すると、
(lambda (v) (+ 4 v))
のようになる[3]。この式はすなわち、値 v を引数に取り、それに4を足した値を返す関数である。実際、この後 (+ 1 2)
の計算結果が v に代入されて、4を足した値が最終的に計算結果が求められるため、この関数は確かに (+ 1 2)
を評価する段階での「残りの計算」の表現である。
call/cc
Schemeの call-with-current-continuation
(call/cc
と省略される) は、その時点での継続を引数として関数を呼び出す手続きである。Schemeの言語仕様書(R7RS[4])には「もっとも単純な例」として次のコードが載っている:
(define list-length
(lambda (obj)
(call-with-current-continuation
(lambda (return)
(letrec ((r
(lambda (obj)
(cond ((null? obj) 0)
((pair? obj)
(+ (r (cdr obj)) 1))
(else (return #f))))))
(r obj))))))
このコードは、真正な(終端が空リストである)リストが渡された際にはそのリストの要素数を数えて返し、そうでない場合はfalse値を返す。
goto文を持つ言語の意味論
継続の概念はgoto文を持つ言語に意味論を与える。goto文を持たない場合、意味論は例えば命令文 γ、変数に対する値の割り当て ρ、抽象機械の状態遷移 θ ∊ [S → S] (S は機械の状態空間を表す) を用いて
継続
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/04 03:18 UTC 版)
継続渡し形式を支援する機能として継続があり、PharoやGNU Smalltalkで使用できる。もっぱら反復の中断や、メソッド内の処理を飛ばすために使われる。継続の使用は次の様に記述する。 result := Continuation currentDo:[ :break |aCondition1 ifTrue: [ break value: 1 ]. "aCondition1がtrueなら以降の処理を中断しresultに1を代入する。"aCondition2 ifTrue: [ break value: 2 ]. "aCondition2がtrueなら以降の処理を中断しresultに2を代入する。"3 "aCondition1, aCondition2両方trueならresultに3を代入する。"].
※この「継続」の解説は、「Smalltalk」の解説の一部です。
「継続」を含む「Smalltalk」の記事については、「Smalltalk」の概要を参照ください。
継続
「継続」の例文・使い方・用例・文例
- カレンズさんは継続的な社会貢献で新聞に名前が載った
- 継続可能な経済成長
- 彼が継続的にブログシステムの改善を行います
- 一人一人が継続的に環境の改善に努めます
- 彼が従来通りの事業活動を継続します
- 彼は継続的な支援の必要性を強調している。
- 地域における種族生活の継続
- アザラシ狩猟者達は狩猟は人道的であり継続可能であると信じている。
- 我々はPDCAサイクルを活用して、業務を継続的に改善しています。
- 私の父は62歳だが、継続雇用制度により退職せず働いています。
- 私の会社は継続雇用制度を導入しているため、継続雇用定着促進助成金を受給しています。
- 企業がいったん採用した会計方針は継続して適用することを継続性の原則と言います。
- ゴーイングコンサーンとは、企業が事業を継続し、倒産することがないとする考え方である。
- 我々はその企業の継続価値を試算した。
- 年金基金は継続基準を満たす必要がある。
- 当社は継続記録法により在庫を管理している。
- その株式の保有にあたっては6カ月間の継続所有義務が課せられる。
- 標準労働者とは、学校卒業後すぐに会社に就職し、そこで継続して働いている労働者として定義される。
- 顧客のニーズをヒヤリングすることで継続的な受注につながる可能性が高まる
- 管理職への昇進には継続的な高い業務実績だけでなく、860以上のTOEICスコアが求められる。
固有名詞の分類
品詞の分類
「継続」に関係したコラム
-
FXやCFDで相場のトレンドが継続するかどうかを調べるにはいくつかの方法があります。ここでは、テクニカル指標のボリンジャーバンドとボラティリティを使って相場のトレンドが継続するかどうかを調べてみます。
-
ダウ理論(Dow Theory)とは、ダウ・ジョーンズの創設者のチャールズ・ダウ(Charles Henry Dow)が提唱した相場理論のことです。ダウ理論には以下の6つの基本法則があります。ファンダ...
-
FXやCFDのPAINとは、当日の始値、高値、安値、終値の4本値を用いて売り圧力、あるいは、買い圧力を計測するためのテクニカル指標のことです。PAINは、Price Action Indicator(...
-
FX(外国為替証拠金取引)のチャート分析ソフトMT4(Meta Trader 4)のフラクタルの見方について解説します。フラクタル(Fractals)は、為替レートの高値と安値からトレンドの転換点を探...
-
ヒストリカルボラティリティ(HV)とは、ある銘柄の価格変動率のことです。ヒストリカルボラティリティの大きい銘柄は価格の変動が大きいハイリスクハイリターンの銘柄になります。一方、ヒストリカルボラティリテ...
-
株式やFX、CFDのギャップとは、ローソク足などのチャートにおいて、前日の高値と当日の安値が乖離した状態のことです。罫線では窓を空けた状態のことを指します。ギャップは、その出現パターンによって今後の相...
- >> 「継続」を含む用語の索引
- 継続のページへのリンク