ブラウザよりも高速アクセス！
49 関係: 代数的データ型、ペンシルベニア大学、ハードウェア記述言語、バイトコード、ラムダ計算、ライブラリ、フランス国立情報学自動制御研究所、インクリメント、オープンソース、オブジェクト指向、オブジェクト指向プログラミング、クラスベース、クロスプラットフォーム、クイックソート、コンパイラ、再帰、C言語、Coq、継承 (プログラミング)、静的型付け、高階関数、高速フーリエ変換、関数型言語、自然数、離散フーリエ変換、F Sharp、Facebook、FFTW、GNU Lesser General Public License、GNUコンパイラコレクション、Haskell、Haxe、Hello world、HyperText Markup Language、JavaScript、LLVM、Mathematical Markup Language、MediaWiki、ML (プログラミング言語)、PowerPC、Scala、SPARC、Standard ML、TeX、Unison、X86、東京大学、情報処理推進機構、2004年。
代数的データ型
代数的データ型（Algebraic data type）とはプログラミング、特に関数型プログラミングや型システムにおいて使われるデータ型である。それぞれの代数的データ型の値には、1個以上のコンストラクタがあり、各コンストラクタには0個以上の引数がある。 代数的データ型の値（データ）の感覚的な説明としては、引数で与えられた他のデータ型の値を、コンストラクタで包んだようなもの、である。コンストラクタに引数がある代数データ型は複合型（他のデータ型を組み合わせて形成する型）である。.
新しい！!: OCamlと代数的データ型 · 続きを見る »
ペンシルベニア大学
米国屈指の名門私立大学連合であるアイビー・リーグの1校である。USAトゥデイ米国大学ランキングで1位 、USニュース米国大学ランキングでトップ8位、Times米国大学ランキング(2017年)はトップ4位、Times2018年世界大学ランキングでトップ10位 （その他ランキング誌では世界4位から15位）にランクインし 米国及び世界を代表する屈指の名門大学として不動の地位を保っている。合格率9.4%（2016年入学者）と全米最難関大学の一つである。米国の有名総合大学としては比較的珍しく大都市に位置する都市型大学でもある。.
新しい！!: OCamlとペンシルベニア大学 · 続きを見る »
ハードウェア記述言語
ハードウェア記述言語（ハードウェアきじゅつげんご、hardware description language、HDL）は、デジタル回路、特に集積回路を設計するためのコンピュータ言語ないしドメイン固有言語（DSL）である。回路の設計、構成を記述する。処理を検証するための試験（テストベンチ）記述ができ、シミュレーションできる開発環境もある。 プログラミング言語との類似性が見られる機能がある言語もあることから、プログラミング言語の一種などとする誤解が非常に多いが、間違いである。また、プログラマブルロジックコントローラの記述に用いられるラダー言語は別のものと扱われている。.
新しい！!: OCamlとハードウェア記述言語 · 続きを見る »
バイトコード
バイトコード (bytecode) は、仮想マシンによる実行のために設計された、実行可能なプログラムのバイナリ表現である。ソフトウェアによって処理されるため、大抵は実機の機械語より抽象度の高い中間コードになっている。プログラミング言語の実装において、特定のハードウェアへの依存度を下げ、またインタプリタの実装を容易にするために用いられる。コンパイラの中間コードとして用いられることもある。 バイトコードという名前は命令の構成がバイト指向であること、すなわち命令長がバイト可変長であったり、命令中のフィールドの区切りがバイト区切りに合っているといったことから来ている。特にJavaの場合オペコードが1バイトである。しかし、仮想マシンの機械語をバイトコードと呼ぶことがJavaで広く一般的になったことから、前述のようなバイト指向でなくともバイトコードと呼んでいることも多い。バイト単位でなくビット単位の場合は、ビットコードとも呼ばれる。ワード指向のためにワードコードという語を使っている例も見られる。 バイトコードで記述されたプログラムは通常、バイトコードインタプリタによって解釈・実行される。バイトコードインタプリタは機械語を解釈・実行するCPUとの類似性からバーチャルマシンとも呼ばれる。.
新しい！!: OCamlとバイトコード · 続きを見る »
ラムダ計算
ラムダ計算（ラムダけいさん、lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（evaluation）と適用（application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。 ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。 この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。.
新しい！!: OCamlとラムダ計算 · 続きを見る »
ライブラリ
ライブラリ（）は、汎用性の高い複数のプログラムを再利用可能な形でひとまとまりにしたものである。ライブラリと呼ぶ時は、それ単体ではプログラムとして作動させることはできない実行ファイルではない場合がある。ライブラリは他のプログラムに何らかの機能を提供するコードの集まりと言うことができる。ソースコードの場合と、オブジェクトコード、あるいは専用の形式を用いる場合とがある。たとえば、UNIXのライブラリはオブジェクトコードをarと呼ばれるアーカイバでひとまとめにして利用する。図書館（）と同様にプログラム（算譜）の書庫であるので、索引方法が重要である。 また、ソフトウェア以外の再利用可能なものの集合について使われることもある。.
新しい！!: OCamlとライブラリ · 続きを見る »
フランス国立情報学自動制御研究所
INRIA（Institut National de Recherche en Informatique et en Automatique、 フランス国立情報学自動制御研究所）は、フランス政府研究省および、経済・財務省が共同管理するフランス国立研究所である。 1979年に、フランスの情報・制御分野の中心となる研究機関として設立された。 フランス国内に8ヶ所の研究施設（アキテーヌ、ブルターニュ、ロレーヌ、フランシュ＝コンテ、イル＝ド＝フランス、ノール＝パ・ド・カレー、コート・ダジュール、ラングドック＝ルシヨン、ローヌ＝アルプ）をもち、3000人以上の職員を抱える大規模な研究所である。.
新しい！!: OCamlとフランス国立情報学自動制御研究所 · 続きを見る »
インクリメント
インクリメント、増量 (increment) は、一般には増加という意味だが、コンピュータ用語としては、変数の値を1増やす演算のことである。逆に、1減らす演算はデクリメント (decrement) である。.
新しい！!: OCamlとインクリメント · 続きを見る »
オープンソース
ープンソース (open source) とは、言葉通りのソースコードへのアクセスが開かれている（ソースコードが公開されている）ことを意味するのではなく、ソースコードを商用、非商用の目的を問わず利用、修正、頒布することを許し、それを利用する個人や団体の努力や利益を遮ることがないソフトウェア開発の手法を意味する。オープンソース・イニシアティブ は、「オープンソース」と名乗るための要件として「オープンソースの定義」を掲げている。.
新しい！!: OCamlとオープンソース · 続きを見る »
オブジェクト指向
ブジェクト指向（オブジェクトしこう）とは、オブジェクト同士の相互作用として、システムの振る舞いをとらえる考え方である。英語の object-oriented (直訳は、「対象物志向の」「目的重視の」という意味の形容詞) の日本語訳である。 オブジェクト指向の枠組みが持つ道具立ては、一般的で強力な記述能力を持つ。複雑なシステム記述、巨大なライブラリ（特に部品間で緊密で複雑な相互関係を持つもの）の記述においては、オブジェクト指向の考え方は必須である。.
新しい！!: OCamlとオブジェクト指向 · 続きを見る »
オブジェクト指向プログラミング
ブジェクト指向プログラミング（オブジェクトしこうプログラミング、）は、コンピュータ・プログラミングのパラダイムのひとつで、オブジェクト指向の概念や手法を取り入れたものである。プログラムを、データとその振舞が結び付けられたオブジェクトの集まりとして構成する、などといった特徴がある。このパラダイムを指向しているプログラミング言語がオブジェクト指向プログラミング言語である。.
新しい！!: OCamlとオブジェクト指向プログラミング · 続きを見る »
クラスベース
ラスベースとはオブジェクト指向のスタイルのひとつで、「鋳型」となるクラスがあり、その鋳型によってオブジェクトの実体であるインスタンスを生成する、というスタイルである。クラスベースのシステムでは、システム内に、継承のシステムを持っていることが多い。 クラスベースでない、オブジェクト指向における「同類のオブジェクトに同じような振舞いをさせるためのメカニズム」の一例としては、プロトタイプベースがある。現代の代表例としてはJavaScriptであろう。 なおオブジェクト指向のスタイルとして、（Simula由来の、C++などに代表される）クラスベースに対し、もう一つのスタイルとされるのは、プロトタイプベースではなく、（アラン・ケイの）「メッセージ指向」のスタイルである。.
新しい！!: OCamlとクラスベース · 続きを見る »
クロスプラットフォーム
プラットフォーム（cross-platform）とは、異なるプラットフォーム（例えばPC/AT互換機とMacintosh、あるいはWindows・macOS・FreeBSD・Linuxなどのように、仕様が全く異なる機械（ハードウェア）またはオペレーティングシステム）上で、同じ仕様のものを動かすことが出来るプログラム（ソフトウェア）のことを言う。同様の呼称にマルチプラットフォームがある。 また、家庭用ゲームにおいては「クロスプラットフォーム」と「マルチプラットフォーム」で意味が異なる場合がある。本項ではこのケースについても後述する。.
新しい！!: OCamlとクロスプラットフォーム · 続きを見る »
クイックソート
イックソート (quicksort) は、1960年にアントニー・ホーアが開発したソートのアルゴリズム。分割統治法の一種。 n個のデータをソートする際の最良計算量および平均計算量はO(n\log n)である。他のソート法と比べて、一般的に最も高速だといわれているが対象のデータの並びやデータの数によっては必ずしも速いわけではなく、最悪の計算量はO(n^2)である。また数々の変種がある。 安定ソートではない。.
新しい！!: OCamlとクイックソート · 続きを見る »
コンパイラ
ンパイラ（英:compiler）とは、コンピュータ・プログラミング言語の処理系（言語処理系）の一種で、高水準言語によるソースコードから、機械語に（あるいは、元のプログラムよりも低い水準のコードに）変換するプログラムである。.
新しい！!: OCamlとコンパイラ · 続きを見る »
再帰
再帰（さいき）は、あるものについて記述する際に、記述しているものそれ自身への参照が、その記述中にあらわれることをいう。定義において、再帰があらわれているものを再帰的定義という。 主に英語のrecursionとその派生語の訳にあてられる。他にrecurrenceの訳（回帰#物理学及び再帰性を参照のこと）や、reflexiveの訳として「再帰」が使われることがある。数学的帰納法との原理的な共通性から、recursionの訳として数学では「帰納」を使うことがある。.
C言語
C言語（シーげんご）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発したプログラミング言語である。英語圏では単に C と呼んでおり、日本でも文書や文脈によっては同様に C と呼ぶことがある。.
Coq
Coqは証明支援システムの一つ。Coqの核はプログラミング言語Gallinaを用いる。フランス国立情報学自動制御研究所のチーム(研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。が事実上の開発代表者である。.
継承 (プログラミング)
継承（けいしょう、inheritance:インヘリタンス）とはオブジェクト指向を構成する概念の一つである。あるオブジェクトが他のオブジェクトの特性を引き継ぐ場合、両者の間に「継承関係」があると言われる。 主にクラスベースのオブジェクト指向言語で、既存クラスの機能、構造を共有する新たなクラスを派生することができ（サブクラス化）、そのようなクラスは「親クラス（スーパークラス）を継承した」という。具体的には変数定義や操作（メソッド）などが引き継がれる。またJavaのインタフェース継承のように機能セットの仕様のみを引き継ぐ場合もある。 一般的に、BがAを継承する場合、B is a A. （BはAの一種である）という意味的な関係（Is-a関係）が成り立つ。従って、同じふるまいを持つからと言って、意味的に無関係なクラス間に継承関係を持たせるのは適切でない場合が多い。 プロトタイプベースのオブジェクト指向言語（Self、NewtonScript等）のように「クラス」という概念を持たない場合でも、クローン元となるオブジェクトを指して「継承」と呼ぶ。 継承と類似の概念に「委譲」があるが、継承では一度定まった継承関係は通常変更されないのに対して、委譲対象は必要に応じて変更されうるものである。 Is-a関係を持つ継承とは階層が異なる概念として集約 (aggregation) とコンポジション集約 (composition) があるが、これはクラス間の関係がHas-aである包含関係であり、クラス間の関係は継承よりも疎である。.
新しい！!: OCamlと継承 (プログラミング) · 続きを見る »
静的型付け
静的型付け（せいてきかたづけ、static typing）とは、プログラミング言語で書かれたプログラムにおいて、変数や、サブルーチンの引数や返り値などの値について、その型が、コンパイル時など、そのプログラムの実行よりも前にあらかじめ決められている、という型システムの性質のことである。 また、そのような性質の言語を、静的型付き言語（せいてきかたつきげんご、statically typed language）という。これに対し、型は実行時の実際の値による、というのが動的型付けである。型推論を利用していて、構文上は型の記述が省略可能な言語もあるが、そういった言語も静的型付けである（MLなど）。 一口に静的型と言ってもその実体は言語により様々である。手続き型のオブジェクト指向言語の多くでは、静的に型が付いていても、キャストなどによりインスタンスの妥当性は保証されない。より制限の強い言語であっても、ミュータブルな値により不正参照などのリスクが残されている。また静的型でもリフレクションを多用する設計を行なうと、実質的に動的型とほとんど変わらないスタイルになることから、静的と動的の境目は必ずしも明確でない場合があるといえる。 一般的な傾向として、大規模プログラミングやシステム記述用の言語は静的な型付けを行なうものが多い。.
新しい！!: OCamlと静的型付け · 続きを見る »
高階関数
階関数（こうかいかんすう、higher-order function）とは、第一級関数をサポートしているプログラミング言語において、関数（手続き）を引数にしたり、あるいは関数（手続き）を戻り値とするような関数のことである。.
新しい！!: OCamlと高階関数 · 続きを見る »
高速フーリエ変換
速フーリエ変換（こうそくフーリエへんかん、fast Fourier transform, FFT）は、離散フーリエ変換（discrete Fourier transform, DFT）を計算機上で高速に計算するアルゴリズムである。高速フーリエ変換の逆変換を逆高速フーリエ変換（inverse fast Fourier transform, IFFT）と呼ぶ。.
新しい！!: OCamlと高速フーリエ変換 · 続きを見る »
関数型言語
関数型言語（かんすうがたげんご、functional language）は、以下に述べる関数型プログラミングを基本スタイルとして推奨する機能を持つプログラミング言語、関数型プログラミング言語の略称である。.
新しい！!: OCamlと関数型言語 · 続きを見る »
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
離散フーリエ変換
離散フーリエ変換（りさんフーリエへんかん、discrete Fourier transform、DFT）とは離散化されたフーリエ変換であり、信号処理などで離散化されたデジタル信号の周波数解析などによく使われる。また偏微分方程式や畳み込み積分を効率的に計算するためにも使われる。離散フーリエ変換は（計算機上で）高速フーリエ変換(FFT)を使って高速に計算することができる。 離散フーリエ変換とは、複素関数 f(x)を複素関数F(t)に写す写像であって、次の式で定義されるものを言う。 ここで、Nは任意の自然数、 e はネイピア数、i は虚数単位 (i^2.
新しい！!: OCamlと離散フーリエ変換 · 続きを見る »
F Sharp
F#（エフ シャープ）はマイクロソフトが開発した.NET Framework向けのマルチパラダイムプログラミング言語である。Visual Studio 2010より標準開発言語として追加された。.
新しい！!: OCamlとF Sharp · 続きを見る »
Facebook（フェイスブック、FB）は、アメリカ合衆国カリフォルニア州メンローパークに本社を置くFacebook, Inc.が運営する世界最大のソーシャル・ネットワーキング・サービス（SNS）である。Facebookという名前は、アメリカ合衆国の一部の大学が学生間の交流を促すために入学した年に提供している本の通称である「Face book」に由来している。.
新しい！!: OCamlとFacebook · 続きを見る »
FFTW
FFTW ("Fastest Fourier Transform in the West") は離散フーリエ変換 (DFT) を計算するためのライブラリで、マサチューセッツ工科大学 (MIT) のマテオ・フリゴ (Matteo Frigo) とスティーブン・ジョンソン (Steven G. Johnson) によって開発された。オープンソース化されたFFTライブラリの中では、デファクトスタンダード的に用いられている。UNIX系OSのパッケージ管理システムでも提供されている。 FFTW は、高速フーリエ変換 (FFT) を実装したフリーソフトウェアの中ではもっとも高速である、とされている (ベンチマークテストによる)。任意のサイズの実数および複素数のデータ配列を、O(n log n) のオーダーの時間で計算することができる。 FFTW の特徴は、ヒューリスティックな方法または状況に合わせた最適な尺度で、適切なアルゴリズムを選ぶことで、高速な演算を実現していることである。他の多くの任意長データに対する FFT アルゴリズムと同様に、データ配列の長さが小さな素数の積となっているときに高速で、２のべき乗の時が最高速であり、大きな素数となっているときにもっとも遅くなるという性質がある。 同じサイズのデータの FFT を何度も繰り返しするとき、そのデータサイズと実行中のプラットフォームの種類からFFTW はもっとも適したアルゴリズムを選ぶことで、もっとも高速な演算が行える。どのアルゴリズムを選択したかをファイルに保存して、それ以降に利用することもできる。 FFTW は guru と呼ばれるインターフェイスを持ち、これにより、そのインターフェイスの後ろにある FFTW の柔軟性をいかんなく発揮できるようにしている。これを使うとデータをメモリ上に置く順序を調整することで、多次元データや複数のデータセットの FFT を1回の関数呼び出しで行うことができる。 FFTW は MPI (Message Passing Interface) を使った「非順序変換」を部分的にサポートしている。クーリーとテューキーの FFT アルゴリズムでのデータ配置では、任意サイズのデータに対する in-place 変換のときに、オーバーヘッドを避けるのは簡単なことではない。 FFTW は GNU General Public License にしたがった利用と配布ができる。また、MIT が販売しており、さらに商用ソフトウェアである MATLAB にも組み込まれている (つまり MATLAB で FFT を計算するときには FFTW が使われる)。FFTW はANSI Cで書かれているが、FORTRAN や C++、その他の言語のインターフェイスもある。FFTW のライブラリ自体の C 言語のコードは 'genfft' というプログラムで生成されており (FFTW の配布パッケージに含まれている)、このツールは Objective Caml で書かれている。 また FFTW は1999年に J. H. Wilkinson Prize for Numerical Software を受賞した。.
新しい！!: OCamlとFFTW · 続きを見る »
GNU Lesser General Public License
GNU Lesser General Public License（以前は、GNU Library General Public Licenseだった）または GNU LGPL、単にLGPLは、フリーソフトウェア財団（Free Software Foundation、以下FSFと略称）が公開しているコピーレフト型のフリーソフトウェアライセンスである。八田真行による日本語訳ではGNU 劣等一般公衆利用許諾書と呼称している。.
新しい！!: OCamlとGNU Lesser General Public License · 続きを見る »
GNUコンパイラコレクション
GNU Compiler Collection（グニューコンパイラコレクション）は、GNUのコンパイラ群である。略称は「GCC（ジーシーシー）」。GNUツールチェーンの中核コンポーネント。.
新しい！!: OCamlとGNUコンパイラコレクション · 続きを見る »
Haskell
Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。.
新しい！!: OCamlとHaskell · 続きを見る »
Haxe
Haxe（ヘックス、発音記号は /heks/）はオープンソースの高級プログラミング言語、もしくはそのコンパイラである。 言語としてのHaxeは静的型付きのオブジェクト指向言語であり、構文はActionScript3および標準化が中止されたECMAScript 4に似ている。Adobe Flashおよび独自のNekoVMで実行可能なバイトコードにコンパイルされるほか、JavaScript、ActionScript、C++、C#、Java、PHP、Python、Luaへのソースコードの変換が可能であるため、主にマルチプラットフォーム開発を目的として使用される。また、FlashからHTML5への移行にも使用される。 2012年4月に表記がhaXeからHaxeに変更された。.
新しい！!: OCamlとHaxe · 続きを見る »
Hello world
Hello world（ハロー・ワールド）は、画面に「Hello, World!」に類する文字列を表示するプログラムの通称である。多くのプログラミング言語において非常に単純なプログラムであり、プログラミング言語の入門書で、プログラムを動かすためのプログラミング言語の基本文法の解説例として提示される。.
新しい！!: OCamlとHello world · 続きを見る »
HyperText Markup Language
HyperText Markup Language（ハイパーテキスト マークアップ ランゲージ、HTML（エイチティーエムエル））は、ハイパーテキストを記述するためのマークアップ言語の1つである。World Wide Web (WWW)において、ウェブページ（1990年代後半頃からはコンテンツという語も利用されている。「中身」という意味の語であり、大層な意味は無い）を表現するために用いられる。ハイパーリンクや画像等のマルチメディアを埋め込むハイパーテキストとしての機能、見出しや段落といったドキュメントの抽象構造、フォントや文字色の指定などの見た目の指定、などといった機能がある。 2012年7月以降、WHATWG により仕様が作られ、それを元に W3C により勧告が行われるという流れになっている。W3C は、XML ベースの規格である XHTML の勧告も行っている。.
新しい！!: OCamlとHyperText Markup Language · 続きを見る »
JavaScript
JavaScript（ジャバスクリプト）とは、プログラミング言語のひとつである。Javaと名前が似ているが、全く異なるプログラミング言語である（後述の#歴史を参照）。 JavaScriptはプロトタイプベースのオブジェクト指向スクリプト言語であるが、クラスなどのクラスベースに見られる機能も取り込んでいる。 ウェブブラウザ上で動作し動的なウェブサイト構築やリッチインターネットアプリケーションの開発に用いられる。また、2010年以降はnode.jsなどのサーバサイドJavaScript実行環境や各種ライブラリの充実により、MEANに代表されるように、Web開発の全ての領域で活用されるようになってきている。.
新しい！!: OCamlとJavaScript · 続きを見る »
LLVM
LLVM とは、コンパイル時、リンク時、実行時などあらゆる時点でプログラムを最適化するよう設計された、任意のプログラミング言語に対応可能なコンパイラ基盤である。当初は、LLVM の名称の由来は、Low Level Virtual Machine (低水準仮想機械) の略であるとしていたが、現在は、何の頭文字でもないとしている。.
新しい！!: OCamlとLLVM · 続きを見る »
Mathematical Markup Language
（マスマティカル マークアップ ランゲージ 略：MathML（マスエムエル））は、XMLアプリケーションの一つで、数式を記述するためのマークアップ言語である。単体では数式の記述しかできないため、文書として利用するにはXHTMLに埋め込んでXHTML文書として扱うなどする。.
新しい！!: OCamlとMathematical Markup Language · 続きを見る »
MediaWiki
MediaWiki（メディアウィキ）は、GNU General Public Licenseで配布されるウィキソフトウェアである。PHPで書かれており、データベースとしてMySQLまたはPostgreSQLを使用する。非公式だがMariaDBにも対応している。.
新しい！!: OCamlとMediaWiki · 続きを見る »
ML (プログラミング言語)
ML（えむえる、Meta-Language）は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。.
新しい！!: OCamlとML (プログラミング言語) · 続きを見る »
PowerPC
IBM PowerPC 601 マイクロプロセッサ PPC601FD-080-2 IBM PowerPC 601+ マイクロプロセッサ PPCA601v5FE1002 IBM PowerPC 601 マイクロプロセッサ PPC601FF-090a-2 PowerPC（パワーピーシー、Performance optimization with enhanced RISC - Performance Computing）は1991年にアップルコンピュータ、IBM、モトローラの提携（AIM連合）によって開発された、RISCタイプのマイクロプロセッサである。 PowerPCはIBMのPOWERアーキテクチャをベースに開発され、アップルコンピュータのMacintoshやIBMのRS/6000などで採用された。現在ではゲーム機をはじめとした組み込みシステム、スーパーコンピュータで広く使われている。なお、POWER3以降は、POWERファミリ自体がPowerPCアーキテクチャに準拠している。.
新しい！!: OCamlとPowerPC · 続きを見る »
Scala
Scala（スカラ(）はオブジェクト指向言語と関数型言語の特徴を統合したマルチパラダイムのプログラミング言語である。名前の「Scala」は英語の「scalable language」に由来するものである。.
新しい！!: OCamlとScala · 続きを見る »
SPARC
UltraSPARC IIマイクロプロセッサ SuperSPARC TMX390Z50GF H359403658C SPARC（スパーク、Scalable Processor Architecture）は、サン・マイクロシステムズが開発・製造したRISCベースのマイクロプロセッサであり、その命令セットアーキテクチャの名称である。 現在はSPARCインターナショナルの登録商標であり、複数のメーカーがこのアーキテクチャに基づいたプロセッサを製造している。.
新しい！!: OCamlとSPARC · 続きを見る »
Standard ML
Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。.
新しい！!: OCamlとStandard ML · 続きを見る »
TeX
（TeX; テック、テフ）はアメリカ合衆国の数学者・計算機科学者であるドナルド・クヌース (Donald E. Knuth) により開発されている組版処理システムである。.
Unison
Unisonは、ファイル同期プログラムの一つ。2つのディレクトリ間でファイルを同期させるもので、ディレクトリは別のコンピュータ上でもよいし、可搬媒体などの別の記憶装置でもよい。Unix系のオペレーティングシステム（Linux、macOS、Solarisなど）やWindowsで動作する。.
新しい！!: OCamlとUnison · 続きを見る »
X86
x86（エックスはちろく）は、Intel 8086、およびその後方互換性を持つマイクロプロセッサの命令セットアーキテクチャの総称。16ビットの8086で登場し、32ビット拡張の80386（後にIA-32と命名）、64ビット拡張のx64、広義には更にAMDなどの互換プロセッサを含む。 なおインテルのIA-64は全く異なる。.
東京大学
記載なし。
新しい！!: OCamlと東京大学 · 続きを見る »
情報処理推進機構
立行政法人情報処理推進機構（じょうほうしょりすいしんきこう、Information-technology Promotion Agency, Japan、略称：IPA）は、日本におけるIT国家戦略を技術面、人材面から支えるために設立された、経済産業省所管の中期目標管理法人たる独立行政法人である。 日本のソフトウェア分野における競争力の総合的な強化を図る。情報処理の促進に関する法律の一部を改正する法律（平成14年法律第144号）により、2004年（平成16年）1月5日に設立され、同法附則第2条第1項の規定により解散した、特別認可法人である情報処理振興事業協会(IPA)の業務等を承継した。.
新しい！!: OCamlと情報処理推進機構 · 続きを見る »
2004年
この項目では、国際的な視点に基づいた2004年について記載する。.
新しい！!: OCamlと2004年 · 続きを見る »
ここにリダイレクトされます：
Categorical Abstract Machine Language、Objective CAML、Objective Caml、Ocaml。
