| 出典: アグナー・アーラン 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2021年7月3日 (土) 10:13 UTC、URL: https://ja.wikipedia.org/ アグナー・クラルプ・アーラン（丁: Agner Krarup Erlang、1878年1月1日 - 1929年2月3日）は、デンマークの数学者・統計家・技術者。通信トラヒック工学および待ち行列理論の開祖である。 [経歴] アーランはユトランド半島のTarmに近いレンボーで生まれた。父は小学校教師であり、また母方の先祖には数学者トマス・フィンケがいた。彼は幼い頃から、本を逆さにして読むことができるなど、その潜在能力を示していた。彼は14歳のとき、入学年齢に達していなかったために特別措置を受け、コペンハーゲン大学の入学予備試験を優秀な成績で合格した。その後の2年間は父のそばで教鞭をとった。遠縁の親族が食事と部屋の世話をしてくれることになり、彼は1896年にコペンハーゲン大学の入学試験を受け、優秀な成績で合格した。大学の奨学金も獲得した彼は主に数学を専攻したが、天文学や物理学、化学も学んだ。1901年、彼は修士号を取得して卒業し、その後7年間はいくつかの学校で教壇に立った。彼は引き続き数学を専門とし、コペンハーゲン大学に投稿したある論文で賞を得たこともあった。 ・・・ |
| 出典: Haskell 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2024年7月21日 (日) 13:55 UTC、URL: https://ja.wikipedia.org/ Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。 [概要] Haskell は高階関数や静的多相型付け、定義可能な演算子、例外処理といった多くの言語で採用されている現代的な機能に加え、パターンマッチングやカリー化、リスト内包表記、ガードといった多くの特徴的な機能を持っている。また、遅延評価や再帰的な関数や代数的データ型もサポートしているほか、独自の概念として圏論のアイデアを利用し参照透過性を壊すことなく副作用のある操作（例えば 代入、入出力、配列など）を実現するモナドを含む。このような機能の組み合わせにより、手続き型プログラミング言語では記述が複雑になるような処理がしばしば簡潔になるばかりではなく、必要に応じて手続き型プログラミングを利用できる。 ・・・ |
| 出典: アーラン 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2015年10月17日 (土) 02:29 UTC、URL: https://ja.wikipedia.org/ アーラン（英語 erlang）は音声電話の分野で用いられる、通信トラヒック量に関する統計的な尺度であり、無次元数である。デンマークの電話技師であり、通信トラヒック工学や待ち行列理論の開祖である、アグナー・アーランの名にちなむ。 [概要] トラヒックの計算において、1アーランは1つの資源を継続的に利用している（または2つの資源を50％の頻度で利用している、などの）状況を意味している。 ・・・ |
| 出典: 関数型プログラミング 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2021年5月1日 (土) 14:41 UTC、URL: https://ja.wikipedia.org/ 関数型プログラミング（かんすうがたプログラミング、英: functional programming）とは、数学的な意味での関数を主に使うプログラミングのスタイルである。 functional programming は、関数プログラミング（かんすうプログラミング）などと訳されることもある。関数型プログラミング言語（英: functional programming language）とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語（英: functional language）ともいう。 [概要] 関数型プログラミングは、関数を主軸にしたプログラミングを行うスタイルである。ここでの関数は、数学的なものを指し、引数の値が定まれば結果も定まるという参照透過性を持つものである。 ・・・ 手続き型プログラミングとの比較 C 言語や Java や JavaScript や Python や Ruby などの 2017 年現在に使われている言語の多くは、手続き型の文法を持っている。そのような言語では、文法として式 (expression) と文 (statement) を持つ。ここでの式は、計算を実行して結果を得るような処理を記述するための文法要素であり、加減乗除や関数呼び出しなどから構成されている。ここでの文は、何らかの動作を行うようにコンピュータへ指示するための文法要素であり、条件分岐の if 文やループの for 文と while 文などから構成されている。手続き型の文法では、式で必要な計算を進め、その結果を元にして文でコンピュータ命令を行うという形で、プログラムを記述する。このように、手続き型言語で重要なのは文である。 それに対して、関数型言語で重要なのは式である。関数型言語のプログラムはたくさんの式で構成され、プログラムそのものも一つの式である。たとえば、 Haskell では、プログラムの処理の記述において文は使われず、外部の定義を取り込む import 宣言も処理の一部として扱えない。関数型言語におけるプログラムの実行とは、プログラムを表す式の計算を進めて、その結果として値 (value) を得ることである。式を計算することを、評価する (evaluate) という。 ・・・ |
| 同義語・類義語 | 関連語・その他 |
|---|---|
| E | Agner K.Erlang |
| el | Agner Krarup Erlang |
| erl | アグナー・アーラン |
| erlang | エングセットの公式 |
| ə́ːlæŋ | Erlang,Agner K. |
| アゥーラェング | アーラン,アグナー・K |
| アゥ́ーラェング | アグナー・クラルプ・アーラン |
| アーラン | 待ち行列理論 |
| ア́ーラン | 通信トラヒック工学 |
| ・ | |
| アーランB式 | |
| アーランC式 | |
| アーラン値 | |
| 拡張アーランB式 | |
| 更新日:2025年 3月10日 |
| 同義語・類義語 | 関連語・その他 |
|---|---|
| functional language | Erlang |
| functional programming language | アーラン |
| fʌ́ŋkʃənəl prə́ugræmiŋ lǽŋgwidʒ | ・ |
| ファンクシュナォルゥ プロウグラェミング ラゥェングウィッジ | Haskell |
| ファンクシュナォルゥ・プロウグラェミング・ラゥェングウィッジ | ハスケル |
| ファ́ンクシュナォルゥ・プロ́グラェミング・ラゥェ́ングウィッジ | ・ |
| ファンクショナル プログラミング ラングウィッジ | Lazy K |
| ファンクショナル・プログラミング・ラングウィッジ | レイジー ケー |
| ファ́ンクショナル・プロ́グラミング・ラ́ンゲージ | ・ |
| 関数型言語 | LISP 1.5 |
| かんすうがた げんご | リスプ 1.5 |
| 関数型プログラミング言語 | ・ |
| 純粋関数型プログラミング言語 | Scheme |
| 純粋関数型言語 | スキーム |
| 非純粋関数型プログラミング言語 | ・ |
| 非純粋関数型言語 | Common Lisp |
| ・ | コモン・リスプ |
| 関数型プログラミング | ・ |
| かんすうがた プログラミング | ML |
| functional programming | エムエル |
| fʌ́ŋkʃənəl prə́ugræmiŋ | Meta-Language |
| ファンクシュナゥルゥ プロウグラェミング | ・ |
| ファンクシュナゥルゥ・プロウグラェミング | SML |
| ファ́ンクシュナォルゥ・プロ́グラェミング | Standard ML |
| ファンクショナル プログラミング | ・ |
| ファンクショナル・プログラミング | Scala |
| ファ́ンクショナル・プロ́グラミング | SKAH-lah |
| 関数プログラミング | スカラ |
| かんすう プログラミング | ・ |
| ・ | Unlambda |
| アンラムダ | |
| 【 以下関連語 】 | ・ |
| Gerald Jay Sussman | F# |
| Gerald Jay Sussman氏 | Idris |
| Guy Lewis Steele Jr. | Clojure |
| Guy Lewis Steele Jr.氏 | Miranda |
| ・ | OCaml |
| Clean | Lean |
| クリーン | |
| ・ | |
| 更新日:2024年11月 3日 |