大分類1：基礎理論

1. 多重化方式とは　多重化方式（Multiplexing）は、一つの伝送路を複数の通信で同時に使用するための技術です。...

1. 概要　変復調方式は、デジタルデータをアナログ伝送路を介して送信する際に必要な技術です。現代の情報通信技術の基盤とな...

1. 伝送路とは　伝送路は、データ通信において重要な役割を果たす概念であり、データが送信元から受信先までどのように伝送さ...

1. プログラミング言語・意味論とは　プログラミング言語・意味論は、プログラムがどのように構築され、どのように動作するか...

<< 3.9.4. 自然言語処理，音声・画像・動画の認識・合成・生成などへの応用1. コンパイラ理論とは　コンパイラ理論...

3.8. 計算量1. 計算量とは計算量の理論は、アルゴリズムが問題を解決する際に必要な計算資源（時間やメモリなど）を定量...

1. 正当性理論とは　プログラムの正当性理論とは、コンピュータプログラムがその仕様に従って正しく動作することを形式的に証...

1. はじめに　オートマトンは、計算理論や形式言語理論の基本的な概念であり、コンピュータサイエンスにおける重要な役割を果...

1. はじめに　形式言語は、計算機科学や情報理論の基礎を成す概念であり、プログラミング言語やアルゴリズムを理解するために...

1. 述語理論（述語論理）とは　述語理論（述語論理）とは、命題論理を拡張したもので、命題の内部構造を表現できる論理体系で...