読者です 読者をやめる 読者になる 読者になる

情報処理技術者試験ナビ

当サイトは準備中です。

情報に関する理論

テキスト 基礎理論

情報理論

情報量の概念,事象の生起確率と情報量との関係を理解する。

符号理論

アナログとディジタルの特徴,量子化,標本化,A/D変換などの符号化,符号化の目的,情報伝送における信頼性,効率性,安全性の向上などの効果を理解する。

通信路符号化,ハフマン符号,データ圧縮

文字の表現

代表的な文字コードを理解する。

ASCIIコード,EUC(ExtendedUNIXCode:拡張UNIXコード),JISコード,シフトJISコード,Unicode,UCS

述語論理

述語論理の考え方,演繹推論と帰納推論の違いを理解する。

関係データベース

形式言語

形式言語とは何か,言語の定義,演算,種類,文法を理解する。また,BNF,構文図式などの表記法,正規表現,文脈自由文法を理解する。

逆ポーランド表記法

オートマトン

有限オートマトンの概念,形式言語との関係,チューリング機械との関係,状態遷移表,状態遷移図を理解する。

プッシュダウンオートマトン

 

正当性理論

プログラムの正当性理論とは何か,部分正当性,全正当性の基本的な考え方,仕組みを理解する。

停止問題

計算量

計算量の理論の考え方を理解する。

時間計算量,領域計算量,オーダ記号,P(Polynomial)問題,NP(Non-deterministicPolynomial)問題,NP完全問題

AI(ArtificialIntelligence:人工知能)

人工知能の基本的な考え方,仕組みを理解する。

知識工学,学習理論,機械学習,ニューラルネットワーク,ディープラーニング(深層学習),エキスパートシステム,解析型問題,合成型問題,知識ベース,推論エンジン

コンパイラ理論

コンパイラの役割,コンパイルの過程,字句解析,構文解析,最適化の基本的な考え方,仕組みを理解する。

文脈自由文法,意味解析,コード生成,中間言語,目的プログラム,形式言語,オートマトン

プログラム言語論・意味論

プログラム言語は,処理対象を表現するために構文と意味があること,各言語で構文と意味がどのように定義されるか,データ構造とアルゴリズムがどのように表現されるか,構造化と抽象化がどのように定義されるかなど,基本的な考え方,仕組みを理解する。

手続型言語,関数型言語,論理型言語,オブジェクト指向言語

 

関連書籍

 

過去問題

基本情報技術者

応用情報技術者