20 関係: アーキテクチャ、キャッシュ、サブルーチン、先行評価、先読み、Clean、短絡評価、D言語、計算複雑性理論、評価戦略、部分評価、関数型言語、Future、Haskell、Lazy K、Mathematica、ML (プログラミング言語)、Scala、Scheme、最適化。
アーキテクチャ
アーキテクチャ(architecture)は、英語で「建築学」、「建築術」、「構造」を意味する語である。 分野によってはアーキテクチュアともいうが、英語での発音は であり、アーキテクチャのほうが近い。.
新しい!!: 遅延評価とアーキテクチャ · 続きを見る »
キャッシュ
ャッシュ.
新しい!!: 遅延評価とキャッシュ · 続きを見る »
サブルーチン
ブルーチン(subroutine)は、コンピュータプログラミングにおいて、プログラム中で意味や内容がまとまっている作業をひとつの手続きとしたものである。繰り返し利用されるルーチン作業をモジュールとしてまとめたもので、呼び出す側の「主」となるもの(メインルーチン)と対比して「サブルーチン」と呼ばれる。サブプログラム (subprogram) と呼ばれることもある。また、「サブ」をつけずに「ルーチン」と呼ぶこともある。 プログラムのソース中で、繰り返し現れる作業をサブルーチン化することで、可読性や保守性を高く保つことができる。繰り返し現れる作業でなくても、意味的なまとまりを示すためにサブルーチン化することもある。また、キャッシュのような階層的メモリの設計を持つコンピュータ(現在のパソコンやワークステーションなどほぼすべて)では、よく使われるサブルーチンがキャッシュに格納されることで高速な動作を期待できる。.
新しい!!: 遅延評価とサブルーチン · 続きを見る »
先行評価
先行評価(せんこうひょうか、eager evaluation)、正格評価(せいかくひょうか、strict evaluation)、厳密評価とは、プログラミング言語における評価戦略の一種であり、多くの言語処理系で標準的に使われている戦略である。.
先読み
先読みまたはルックアヘッド(Lookahead)は、アルゴリズムにおいて未処理の入力の一部を先に参照し、現在の処理での判断に利用することで効率化する方法。.
Clean
Clean(クリーン)は、プログラミング言語の一つで、純粋関数型言語である。Haskell とよく似ている。 により、参照透過性を保ちつつ、ファイルの破壊的な更新などができる。これは、参照透過性を保つためには値を複製した上で結果として返す必要があるが、その後複製元を二度と使用しない(参照しない)ことが保証できるのであれば、わざわざ複製せずとも直接破壊的に値を更新しても構わない、という考え方に基づく。例えば、変数aに1を加算するには a.
新しい!!: 遅延評価とClean · 続きを見る »
短絡評価
短絡評価(たんらくひょうか、short-circuit evaluation)または最小評価(さいしょうひょうか、minimal evaluation)とは、多くのコンピュータプログラミング言語の論理演算子における左辺(第一引数)と右辺(第二引数)の式の評価法の評価法を(意味、意味論を)表す語である。.
D言語
D言語(ディーげんご、D programming language)は、プログラミング言語のひとつ。C言語をベースとしABI互換を保ちつつも、テンプレートによるジェネリックプログラミングやオブジェクト指向プログラミング、関数型プログラミングなどをサポートするマルチパラダイムプログラミング言語である。.
計算複雑性理論
計算複雑性理論(けいさんふくざつせいりろん、computational complexity theory)とは、計算機科学における計算理論の一分野であり、アルゴリズムのスケーラビリティや、特定の計算問題の解法の複雑性(計算問題の困難さ)などを数学的に扱う。計算量理論、計算の複雑さの理論、計算複雑度の理論ともいう。.
新しい!!: 遅延評価と計算複雑性理論 · 続きを見る »
評価戦略
評価戦略(ひょうかせんりゃく、evaluation strategy)とは、プログラミング言語や、ラムダ計算のような式から成る計算模型において、如何なる手順で、評価すなわち式から値を得るか、という(通常決定的な)規則群である。.
部分評価
部分評価(ぶぶんひょうか、partial evaluation)は、計算理論における特殊化(特化)による最適化の技法の1つ。.
関数型言語
関数型言語(かんすうがたげんご、functional language)は、以下に述べる関数型プログラミングを基本スタイルとして推奨する機能を持つプログラミング言語、関数型プログラミング言語の略称である。.
新しい!!: 遅延評価と関数型言語 · 続きを見る »
Future
future, promise, delay とは、プログラミング言語における並列処理のデザインパターン。何らかの処理を別のスレッドで処理させる際、その処理結果の取得を必要になるところまで後回しにする手法。処理をパイプライン化させる。1977年に考案され、現在ではほとんどのプログラミング言語で利用可能。.
新しい!!: 遅延評価とFuture · 続きを見る »
Haskell
Haskell(ハスケル)は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。.
新しい!!: 遅延評価とHaskell · 続きを見る »
Lazy K
Lazy K(れいじーけー)は組み込み関数が3つしかない、純粋関数型言語である。似た言語として、同じような表記をする、非純粋関数型言語であるUnlambdaがある。.
新しい!!: 遅延評価とLazy K · 続きを見る »
Mathematica
Mathematica(マセマティカ)は、スティーブン・ウルフラムが考案し広く使われている数式処理システム。ウルフラム・リサーチの、ウルフラムが率いる数学者とプログラマのチームが開発し、同社が販売している。Mathematicaは項書き換えを基本として、複数のパラダイムをエミュレートするプログラミング言語としても強力である。.
新しい!!: 遅延評価とMathematica · 続きを見る »
ML (プログラミング言語)
ML(えむえる、Meta-Language)は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。.
新しい!!: 遅延評価とML (プログラミング言語) · 続きを見る »
Scala
Scala(スカラ()はオブジェクト指向言語と関数型言語の特徴を統合したマルチパラダイムのプログラミング言語である。名前の「Scala」は英語の「scalable language」に由来するものである。.
新しい!!: 遅延評価とScala · 続きを見る »
Scheme
Scheme(スキーム)はコンピュータ・プログラミング言語 Lispの方言のひとつで、静的スコープなどが特徴である。仕様(2017年現在、改7版まで存在する)を指すこともあれば、実装を指すこともある。Schemeにより、Lisp方言に静的スコープが広められた。.
新しい!!: 遅延評価とScheme · 続きを見る »
最適化
最適化(さいてきか、Optimization)とは、関数・プログラム・製造物などを最適な状態に近づけることをいう。具体的には次のような操作を意味する。.