目次
16 関係: 宣言型プログラミング、パターンマッチング、ツェルメロ＝フレンケル集合論、オックスフォード大学、ガード (プログラミング)、ケント大学、セント・アンドルーズ大学、動的型付け、BCPL、C言語、遅延評価、関数型プログラミング、Haskell、Miranda、1981年、2018年。
宣言型プログラミング
宣言型プログラミング（Declarative programming）は、数理論理学的な性質を表わしている総称的なプログラミングパラダイムである。式の計算構造を、主に表示的意味論下のロジックで表現する構文にされることが多く、式枠外の副作用を伴なう制御フローや自由変数の多用などは排除されるようになる。計算構造は演繹的に組み立てられることが多い。命令型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。 宣言型言語は、what the program must accomplish（何をなすべきか）方針で、副作用を排除した式や純粋関数の実装に努める"what declarative programming is.
見る Kent Recursive Calculatorと宣言型プログラミング
パターンマッチング
パターンマッチング（Pattern matching、パターン照合）とは、データを検索する場合に特定のパターンが出現するかどうか、またどこに出現するかを特定する手法のことである。 文字列のパターンマッチングには、固定されたパターンの検索ではKMP法やBM法など各種の文字列探索アルゴリズムがある。また正規表現を利用する手法も多数提案されている。 いくつかの高水準プログラミング言語には、多分岐の一種で、場合分けと同時に構成要素の取り出しのできる言語機能があり、パターンマッチと呼ばれている。Haskellでの例を示す。 listSumCase lst。
見る Kent Recursive Calculatorとパターンマッチング
ツェルメロ＝フレンケル集合論
集合論において、ツェルメロ＝フレンケル集合論（）とは、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀初頭に提案された公理系である。名前は数学者のツェルメロとフレンケルにちなむ。歴史的に議論を呼んだ選択公理 (AC) を含むツェルメロ＝フレンケル集合論は公理的集合論の標準形式であり、今日では最も一般的な数学の基礎となっている。選択公理を含むツェルメロ＝フレンケル集合論はZFCと略される。Cは選択 (Choice) 公理を 、 ZFは選択公理を除いたツェルメロ (Zermelo)＝フレンケル (Fraenkel) 集合論の公理を表す。
見る Kent Recursive Calculatorとツェルメロ＝フレンケル集合論
オックスフォード大学
オックスフォード大学（オックスフォードだいがく、）は、イギリスのオックスフォードに所在する総合大学。 ケンブリッジ大学とともに同国を代表する名門校として、現在でもその学術水準はきわめて高く、イギリスのTHE世界大学ランキングでは2017年から2024年まで連続して世界第1位、QS大学ランキングでも世界総合第3位（2024年）。オックスフォード大学出版局の出版活動やオックスフォード英語辞典の編纂を通じて、英語圏の学術・文化に大きな影響を及ぼす存在でもあるGordon, P.
見る Kent Recursive Calculatorとオックスフォード大学
ガード (プログラミング)
ガード (Guard) とは、コンピュータ・プログラミング言語において、条件式ないし条件分岐のような意味を持つもので、ある分岐で処理を続けるために真 (true) と評価されなければならない式である。偽の場合は残りの処理のほうに進む。パターンマッチングのある言語の、パターンマッチングの能力をより強化したものと見ることもできる。すなわち、パターンマッチングとして構造がマッチしていても、その構造の中身の値を評価した結果によってはスキップさせることが可能なパターンのようなもの、である。
見る Kent Recursive Calculatorとガード (プログラミング)
ケント大学
ケント大学（英：University of Kent）は、英国・イングランドのケント州カンタベリーに位置する国立大学である。1965年に英国政府によって設立された、新設大学 "plate glass university" のひとつである。Times Higher Education World University Ranking 2022では世界第351–400位、QS World University Rankingでは世界第380位である。 メインキャンパスのカンタベリーのほかに、ベルギー・ブリュッセル、トンブリッジ（:en:Tonbridge）、メドウェイ（:en:Medway）、ワイ（:en:Wye, Kent）などにキャンパスがある。創立は1965年。敷地面積はおよそ300エーカー（東京ドーム26個分）。学部、大学院を合わせた学生数はおよそ20,000人（2019年現在）。全学生のおよそ4分の1が、世界約110カ国から集まった留学生で構成されている。英国の中でも国際性豊かな大学ということで有名であり、ケント大学は「THE UK'S EUROPEAN UNIVERSITY」と呼ばれている。卒業生は各国で活躍しており、企業のCEO、起業家、政治家、ノーベル賞受賞者を輩出している。
見る Kent Recursive Calculatorとケント大学
セント・アンドルーズ大学
セント・アンドルーズ大学。
見る Kent Recursive Calculatorとセント・アンドルーズ大学
動的型付け
動的型付け（どうてきかたづけ、Dynamic typing）とは、値やオブジェクトの型安全性を、実行時に検証するというコンピュータプログラミングの型システムの方法である。型の検査は実行時のプロセス上で行われて、ランタイムシステムの実行時型情報（RTTI）が照会されるなどして解析される。 動的な型チェックは、代入、束縛、関数適用、ダウンキャスト、ディスパッチ、バインディングといった所で行われる。なお、コンパイル時やインタプリタ開始時の最適化によってすでに型安全性が保証されている所は省略される。動的型付けの言語では、引数や返り値や変数宣言への型注釈が省略されやすくなる。 対義語は静的型付けであり、こちらでは値やオブジェクトの型安全性をコンパイル時に検証する。型の検査はソースコードの解析によって行われる。
見る Kent Recursive Calculatorと動的型付け
BCPL
BCPL (Basic Combined Programming Language、Basic-CPL)は、手続き型で命令型の構造化プログラミング言語である。BCPLは元々ほかの言語を開発するための言語であり、90年代以降は利用されていない。しかしながらBCPLは、後発の言語であるB言語やC言語に影響を与えており、特にC言語が広く普及したことから、BCPLの影響は現在のプログラミング言語にも色濃く残されている。BCPLは今日のモダンなプログラミング言語に見られる、カッコやデリミタなどの特徴を備えていた。1966年にケンブリッジ大学のが設計した。
見る Kent Recursive CalculatorとBCPL
C言語
C言語（シーげんご、C programming language）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発した汎用プログラミング言語である。英語圏では「C language」または単に「C」と呼ばれることが多い。日本でも文書や文脈によっては同様に「C」と呼ぶことがある。制御構文などに高水準言語の特徴を持ちながら、ハードウェア寄りの記述も可能な低水準言語の特徴も併せ持つ。基幹系システムや、動作環境の資源制約が厳しい、あるいは実行速度性能が要求されるソフトウェアの開発に用いられることが多い。後発のC++やJava、C#など、「C系」と呼ばれる派生言語の始祖でもある。 ANSI、ISO、またJISにより言語仕様が標準規格化されている。
見る Kent Recursive CalculatorとC言語
遅延評価
遅延評価（ちえんひょうか、lazy evaluation）や必要呼び（ひつようよび、call-by-need）は評価戦略の一種類であり、非正格な関数型言語で使用もされる。対義語は先行評価（eager evaluation）。
見る Kent Recursive Calculatorと遅延評価
関数型プログラミング
関数型プログラミング（かんすうがたプログラミング、functional programming）とは、数学的な意味での関数を主に使うプログラミングのスタイルである。 functional programming は、関数プログラミング（かんすうプログラミング）などと訳されることもある。 （functional programming language）とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語（functional language）ともいう。
見る Kent Recursive Calculatorと関数型プログラミング
Haskell
Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。
見る Kent Recursive CalculatorとHaskell
Miranda
Mirandaは、遅延評価方式の純粋関数型プログラミング言語である。作者デビッド・ターナー（David Turner）による以前の言語SASLやKRCの後継でもあり、またMLやHopeの影響も受けている。イギリスのリサーチ・ソフトウェア社（Research Software Ltd.）が販売しており、同社の商標でもある。研究目的ではない商用を目指した最初の純粋関数型言語であった。 よくある例題を解くプログラムに関して言えば、Mirandaのコードは（APLなどを別とすれば）ほとんどの主流のプログラミング言語よりも簡単で短く表現でき、他の関数型言語と同様、信頼性の高いプログラムの開発が命令型言語に比べて短期間で可能になったという報告がある。
見る Kent Recursive CalculatorとMiranda
1981年
この項目では、国際的な視点に基づいた1981年について記載する。
見る Kent Recursive Calculatorと1981年
2018年
この項目では、国際的な視点に基づいた2018年について記載する。