Product Design, Manufacturing & Innovation Resources

家 » Rにおける語彙スコープ

Rにおける語彙スコープ

1980

Gerald Jay Sussman
Guy L. Steele Jr.

（画像はイメージです）

R言語は、Scheme言語から受け継いだ概念であるレキシカルスコープを採用しています。これは、関数内の自由変数の値が、関数が呼び出された環境ではなく、関数が定義された環境で解決されることを意味します。これにより、関数の動作がより予測しやすくなり、呼び出しコンテキストに依存しなくなります。これは、関数型プログラミングの重要な特徴です。

Lexical scoping, also known as static scoping, is a fundamental convention for looking up variable names in a programming language. In R, when a function needs to access a variable that is not defined locally (a “free variable”), it searches for that variable in the environment where the function was created. This “creation environment” is permanently attached to the function. This contrasts with dynamic scoping, used in some older languages, where the search would proceed up the chain of function calls (the “calling environment”).

例えば、変数 `x` を使用するものの、定義していない関数 `f()` を考えてみましょう。`f()` が `x` が 10 であるグローバル環境で定義されている場合、`f()` がどこから呼び出されても、常に `x = 10` が使用されます。たとえ、独自のローカル変数 `x = 20` を持つ別の関数から呼び出された場合でも、`f()` は呼び出し元の環境の `x` を無視し、定義元の環境の `x` を使用します。このように、関数の動作は自身のコードと定義された環境のみによって決定されるため、コードのデバッグや理解が容易になります。

この機能は関数型プログラミングのパラダイムにとって非常に重要であり、関数が作成された環境を「記憶」できるクロージャのような強力な構造を可能にします。これは、`lapply`関数群やWebアプリケーション向けのShinyなどのフレームワークなど、高度なRプログラミングやパッケージ開発で広く利用されています。

アルゴリズム, 人工知能（AI）, 機能分解, ソフトウェア開発キット（SDK）, ソフトウェアエンジニアリング, ユーザーエクスペリエンス（UX）, ユーザーインターフェース（UI）, 検証, 価値提案

UNESCO Nomenclature: 1203

コンピュータサイエンス

タイプ

抽象システム

混乱

増分

使用法

広く普及している

前駆物質

プログラミング言語におけるスコープの概念
Lispプログラミング言語とその方言
字句スコープを普及させたプログラミング言語Scheme
関数とスコープの理論的基礎としてのラムダ計算

アプリケーション

関数型プログラミングのためのRにおけるクロージャの作成
変数の競合を回避するためのパッケージ名前空間の開発
dplyrなどのパッケージで使用される非標準的な評価手法を可能にする
副作用のない堅牢でモジュール化されたコードの構築

特許:

潜在的なイノベーションのアイデア

ボットによるトラフィック（現在1日あたり4万件以上）を排除するため、このコンテンツはコミュニティメンバー限定となっています。
> ログイン < または > 登録 < （100%無料）でこれにアクセスできます。他のすべての制限付きコンテンツとツールも同様です。

関連キーワード：字句スコープ、静的スコープ、関数型プログラミング、R、Scheme、環境、クロージャ、自由変数、名前空間、非標準評価。

歴史的背景

Computer workstation in a control room analyzing Rate-Monotonic Scheduling for real-time systems.

レートモノトニックスケジューリング（RMS）

レートモノトニックスケジューリング（RMS）は、リアルタイムシステムにおける周期的なタスクのための静的優先度スケジューリングアルゴリズムです。タスクの頻度に基づいて優先度を割り当てます。タスクの周期が短いほど（レートが高いほど）、優先度が高くなります。RMSは最適な静的優先度アルゴリズムであり、静的優先度アルゴリズムでタスクセットをスケジューリングできる場合、RMSでもスケジューリングできます。スケジューリング可能性は、利用率に基づくテストで確認できます。

Computational fluid dynamics workspace showcasing finite volume method simulation for aerospace engineering.

有限体積法（FVM）

有限体積法（FVM）は、偏微分方程式を解くためのCFDにおける主要な数値解析手法です。この手法では、領域を制御体積のメッシュに離散化し、各体積に対して積分形式の支配方程式を適用します。発散定理を用いて体積積分を面積積分に変換することで、セル面を横切る保存特性のフラックスの計算に重点を置きます。

形式検証

形式検証とは、数学的手法を用いて、システム設計が形式仕様に照らして正しいかどうかを証明または反証することです。特定の入力に対してのみバグの存在を示すことができるテストとは異なり、形式検証はあらゆる入力に対してバグが存在しないことを証明できます。形式検証には、システムの形式モデルを作成し、モデル検査や定理証明などの手法を用いることが含まれます。

Rにおける語彙スコープ

分散コンピューティングシステムにおけるビザンチンフォールトトレランスを示すデータセンター。.

ビザンチン耐障害性（BFT）

BFT（ビザンチン障害耐性の略）とは、システムの一部コンポーネントが、悪意のある動作（ビザンチン障害）を含む、恣意的で予測不可能な方法で故障した場合でも、システムが正しく動作し続け、合意に達することを可能にするシステムの特性です。これは、単純なクラッシュ障害を許容するよりもはるかに強力な保証です。最低でも[latex]3f+1[/latex]個のコンポーネントが、f[/latex]個の故障した悪意のあるコンポーネントを許容する必要があります。

エンタープライズ・アプリケーション用の最新データセンターにおけるRAIDストレージシステム。.

RAIDデータストレージ

RAID（Redundant Array of Independent Disksの略）は、複数の物理ディスクドライブを1つ以上の論理ユニットに統合することで、データの冗長性、パフォーマンスの向上、またはその両方を実現するデータストレージ仮想化技術です。RAIDレベルによって、信頼性、可用性、パフォーマンス、容量のバランスが異なります。例えば、RAID 1は2つのディスクにデータをミラーリングし、RAID 5は少なくとも3つのディスクにデータとパリティをストライピングします。

Rデータフレーム

データフレーム（`data.frame`）は、Rにおける表形式データを格納するための基本的なデータ構造です。これは、同じ長さのベクトルのリストであり、各ベクトルは列を表し、異なるデータ型（数値、文字、因子など）を持つことができます。この構造は、データセットの長方形形式を反映しており、統計モデリングやデータ操作においてRで広く用いられています。

1973

1980

1982-07-01

1988-06-01

1990

1970-01-01

1975-06-01

1980

1986-01-01

1990

Software engineering office showcasing the Waterfall Model process phases.

ウォーターフォールモデル（ソフトウェア）

ウォーターフォールモデルは、反復を伴わない逐次的なソフトウェア開発プロセスであり、構想、開始、分析、設計、構築、テスト、展開、保守という明確なフェーズを経て、開発は滝のように着実に下へと流れていきます。各フェーズは、次のフェーズに進む前に完全に完了する必要があります。ウォーターフォールモデルは、その柔軟性を強調するために、反復型モデルと対比されることがよくあります。

近代的なオフィスでリカバリー・ブロック・スキームを分析するソフトウェア・エンジニア。.

回復ブロック制度

リカバリブロック方式は、設計の多様性と後方エラー回復に基づいたソフトウェアの耐障害性技術です。この方式では、プログラムを一連のブロックとして構成し、各ブロックはプライマリモジュール、受け入れテスト、および1つ以上の代替モジュールで構成されます。プライマリモジュールの出力が受け入れテストに失敗した場合、システムの状態が復元され、代替モジュールが実行されます。

Team of engineers discussing verification and validation in software development.

検証と妥当性確認

検証と妥当性確認（V&V）は、それぞれ異なるプロセスです。検証は、製品が規定された要件を満たしているかどうか（「正しく製造されているか？」）を確認するものです。妥当性確認は、製品がユーザーの実際のニーズと意図された用途を満たしているかどうか（「正しいものを作っているか？」）を確認するものです。これらは品質管理における相互補完的な活動であり、正確性と有用性の両方を確保するために、多くの場合、順次または並行して実行されます。

再現性限界（統計）

再現性限界 [latex]r[/latex] は、再現性標準偏差 ([latex]s_r[/latex]) から導出される臨界値です。これは、再現性条件下で得られた 2 つの単一テスト結果間の最大絶対差を 95% の確率で表したものです。一般的には [latex]r = 2.8 times s_r[/latex] として計算されます。差が [latex]r[/latex] を超えると、結果は疑わしいとみなされます。

3段階コンパイラ構造

現代のコンパイラは通常、フロントエンド、ミドルエンド、バックエンドの3つの段階で構成されています。フロントエンドはソースコードを解析し、正当性をチェックして中間表現（IR）を作成します。ミドルエンドはこのIRに対して最適化処理を実行します。そしてバックエンドは、最適化されたIRを特定のCPUアーキテクチャ向けのターゲットマシンコードに変換します。

近代的なオフィス環境でスパイラル・モデルについて議論するソフトウェア・エンジニアリング・チーム。.

スパイラルモデル（SWプロセス）

スパイラルモデルは、プロトタイピングとウォーターフォールモデルの要素を組み合わせた、リスク主導型のソフトウェア開発プロセスモデルです。これは反復開発の一種で、プロジェクトは各イテレーション（螺旋）において、目標設定、リスクの特定と解決、開発とテスト、そして次のイテレーションの計画という4つのフェーズを経て進行します。スパイラルモデルは、継続的なリスク分析を重視します。

近代的なオフィスで、不均衡分析を用いて医薬品の安全性データを分析する統計学者。.

不均衡分析を用いた信号検出

シグナル検出とは、大規模なデータセット（通常は自発報告システム）から、薬剤と有害事象との間の潜在的な因果関係を特定するプロセスです。これは、不均衡分析と呼ばれる統計的手法を用いて、予想よりも頻繁に報告されている薬剤と有害事象の組み合わせを見つけ出します。一般的な指標は報告オッズ比（ROR）であり、1より大きい値は、さらなる調査が必要な潜在的なシグナルを示唆します。