搜尋結果
シャピロ–ウィルク検定（シャピロ–ウィルクけんてい、英語: Shapiro–Wilk test ）とは、 統計学において、標本 x 1, ..., x n が正規分布に従う母集団からサンプリングされたものであるという帰無仮説を検定する検定である。 この検定方法は、サミュエル・シャピロ （英語版） と マーティン ...
ウィルコクソンの符号順位検定（ふごうじゅんいけんてい、英: Wilcoxon signed-rank test ）は一対の標本によるノンパラメトリック 検定法である。 対応のあるt検定に対応し、対応のあるt検定で必要とされる仮定が満たされない場合に用いる。 。ウィルコクソン（Frank Wilcoxon、1892-1965）によって ...
- 概要
- 正格な評価
- 正格でない評価
- 非決定性の戦略
- 関連項目
- 参考文献
プログラミング言語では、その意味のうち、サブルーチン呼び出しや演算子式の評価において引数をいつどういう順序で評価し、仮引数は実引数にどう置換されるのか、サブルーチン呼び出しや演算子式の値への置換はどうなのかといったことが、言語仕様によって、あるいは実装によって定義される（あるいは未定義とされる）。 ラムダ計算（など）における評価すなわち簡約（reduction）においては「(1)入れ子状になった式の最も外側から簡約するか、最も内側から簡約するか (2)関数適用の (X Y) という形の式において、X と Y のどちらの簡約を先にするか」という選択肢がある。これは後述する、プログラミング言語における正格評価と非正格評価にほぼ対応し、同じ言葉が使われることもあるが、（プログラミング言語の意味論の...
正格な評価とは、関数の引数が常にその関数に引き渡される前に完全に評価されることを意味する。 チャーチ符号化（英語版）においては、演算子の先行評価は関数の正格な評価に写像される。そのため、正格な評価は「先行評価」とも呼ばれる。多くのプログラミング言語は、関数については正格な評価をする。
正格でない評価では、関数の引数は関数本体の評価で実際に使われるまで評価されない。 チャーチ符号化においては、演算子の遅延評価は関数の正格でない評価に写像される。そのため、正格でない評価は「遅延評価」とも呼ばれる。ブーリアン型の式は多くの言語で遅延評価されるが、この場合は短絡評価と呼ぶことが多い。条件式でも違う理由で遅延評価が使われることが多い。
部分適用
部分適用はどちらかというとカリー化や第一級関数と関連する。複数の引数を取る関数において、一部の引数だけ適用された関数を得ることである。これに対して、すべての引数を適用することを完全適用と呼ぶ。例として、Haskellのような関数型言語で、与えられた数値を2倍する関数を部分適用で作ると となる。部分適用されているのはtwiceを定義している'multiply x 2'の部分である。multiply関数は本来なら のようにして使用するものであるが、これに2だけ適用して新たな関数twiceを得るのが部分適用である。部分適用の重要性はモジュール性を高めることである。奇数・偶数の判定といった単純なものから、高階関数を駆使した複雑なものまで作り出すことができる。とくに遅延評価の言語で利用するとその効果は大きい。一方で、関数に副作用があると、思いもよらない結果をもたらすかもしれない。
完全β-簡約
完全β-簡約（full β-reduction）においては、任意の時点で任意の関数適用が簡約される（関数の引数を捕獲回避置換を使った関数に置換する）。これは、適用されない関数の本体内でも行われる。
未来呼び
未来呼び（call by future）あるいは並列名前呼び（parallel call by name）は必要呼びに似ているが、関数の引数は（必要に応じてではなく）関数本体と並行して（別スレッドで）評価される。関数本体で引数を使用するときにスレッドの同期が行われる。引数が全く使われない場合、引数の評価をしているスレッドは中断され捨てられる。
Harold Abelson and Gerald Jay Sussman. Structure and Interpretation of Computer Programs, Second Edition. MIT Press, 1996. ISBN 0-262-01153-0.Henry G. Baker, Jr. "The Incremental Garbage Collection of Processes", with Carl Hewitt, ACM Sigplan Notices 12. August 8, 1977. Pages 55-59.Clem Baker-Finch, Clem, David King, Jon Hall, and Phil Trinder. "An Operational Semantics for Parallel Call-by-Need", Research report 99/1. Faculty of Mathematics & Computing, The Open University,...Robert Ennals and Simon Peyton Jones. "Optimistic Evaluation: a fast evaluation strategy for non-strict programs", in ICFP'03. ACM Press, 2003.アルゴリズム（英: algorithm [注 1] ）とは、解が定まっている「計算可能」問題に対して、その解を正しく求める手続きをさす [注 2]。あるいはそれを形式的に表現したもの。 実用上は、アルゴリズムの実行に要する記憶領域の大きさや完了までに要する時間（空間計算量と時間計算量）が小さい ...
一般的な第一級アルコールとしての性質を持つ。 また、炭化水素鎖が2つと充分に短く、親水性のヒドロキシ基の影響が強く出るために、プロトン性の極性溶媒である水と自由な割合で混和することが可能。 そして2つとは言え、疎水性の炭化水素鎖を持っていることから、様々な有機溶媒とも ...
ヤングの定理（ヤングのていり、英: Young's theorem [1] ）は、ある条件の下で多変数関数に対する偏微分の順序を交換できることを述べる定理である（下記参照）。 ヤングの定理はしばしば二階導関数の対称性（英: symmetry of second derivatives ）、または混合微分の等価性（英: equality of mixed partials ...
タンパク質は 炭素 、 酸素 、 窒素 、 水素 （重量比順）を必ず含む。. どのようなアミノ酸から構成されているかによって、組成比は多少異なる。. しかしながら、生体材料においては窒素の重量比が16 % 前後の値をとることが多いため、窒素量Nの6.3倍を粗 ...
