大分類1:基礎理論

大分類1:基礎理論

4.3. 多重化方式

1. 多重化方式とは 多重化方式(Multiplexing)は、一つの伝送路を複数の通信で同時に使用するための技術です。...
大分類1:基礎理論

4.2. 変復調方式

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

4.1. 伝送路

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

3.11. プログラミング言語・意味論

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

3.10. コンパイラ理論

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

3.8. 計算量

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

3.7. 正当性理論

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

3.6. オートマトン

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

3.5. 形式言語

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

3.4. 述語論理

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