IT用語集– archive –

Hindley-Milner 型 英語表記: Hindley-Milner Type System 概要 Hindley-Milner型システムは、静的型付け言語において、プログラマが明示的に型を宣言しなくても、コンパイラが自動的に式の型を推論する能力を持つ、非常に洗練された型システムです。この...

ラムダ計算 英語表記: Lambda Calculus 概要 ラムダ計算（Lambda Calculus）は、1930年代に数学者アロンゾ・チャーチによって考案された、計算可能性と関数定義を形式的に表現するための数学的体系です。これは、すべての計算を「関数」とその「適用」およ...

型推論エンジン 英語表記: Type Inference Engine 概要 型推論エンジンとは、プログラミング言語の処理系（コンパイラやインタプリタ）に組み込まれている、コード中で明示的に宣言されていない変数や式のデータ型を、その使い方や文脈から自動的に特定・...

ANTLR（アントラー） 英語表記: ANTLR (Another Tool for Language Recognition) 概要 ANTLR（アントラー）は、プログラミング言語や設定ファイルなどの文法定義から、その言語を解析するための「構文解析器（パーサ）」と「字句解析器（レクサ）」のソー...

Yacc/Bison（ヤックバイソン） 英語表記: Yacc/Bison 概要 Yacc/Bisonは、コンパイラやインタプリタなどの「言語処理系」を構築する際に利用される、非常に強力な「言語処理ツール」の一つです。これは、プログラミング言語の文法規則を定義ファイルとして...

Lex/Flex（レックスフレックス） 英語表記: Lex/Flex 概要 Lex/Flexは、プログラミング言語のコンパイラやインタプリタを構築する際に、最初の段階である「字句解析（Lexical Analysis）」を担当するプログラム（字句解析器、またはレクサ）を自動生成する...

GPU オフロード 英語表記: GPU Offloading 概要 GPUオフロードは、「コンパイルと言語処理系」における「最適化技術」の一つであり、特に「並列最適化」の範疇に位置づけられます。これは、プログラムの中で大量の並列計算が可能な処理部分を、主たる演算...

Auto Vectorization（オートベクタライゼーション） 英語表記: Auto Vectorization 概要 オートベクタライゼーションは、コンパイルと言語処理系のプロセスにおいて、コンパイラが実行する高度な最適化技術の一つです。具体的には、プログラマが記述したソ...

OpenMP（オープンエムピー） 英語表記: OpenMP 概要 OpenMPは、主にC、C++、Fortranなどのプログラミング言語で利用される、共有メモリ型並列処理を実現するためのAPI（アプリケーション・プログラミング・インターフェース）仕様です。これは、コンパイル...

BOLT（ボルト） 英語表記: BOLT 概要 BOLT（Binary Optimization and Layout Tool）は、コンパイル後のバイナリコードに対して、実行時のプロファイル情報（動作履歴）を活用して最適化を施す、ポストリンク最適化ツールです。これは、従来のコンパイラが...