【情報に関する理論】符号理論、述語論理、オートマトンなど

符号理論、述語論理、オートマトン、形式言語、計算量、人工知能(AI)、知識工学、学習理論、コンパイラ理論、プログラミング言語論・意味論についてまとめました。

【符号理論】

【述語論理】

用語 概要
アスキーコード ASCII(アスキー)とは、英語等のラテン文字を中心とした、文字コードの1つです。文字コードとは、コンピュータで文字を扱うときの「文字」と「文字に割り当てる番号」の対応表です。コンピューターは「abc」といった文字を文字のまま理解できないため、数値に置き換えてやるます。例えば、ASCIIコードでは「a」という文字を「97」という数値で表します。

【オートマトン】

オートマトンは、現在の状態と入力信号の組合せだけによって次に遷移する状態が決まるモデルです。

【形式言語】

用語 概要
ワイルドカード 「*」「?」の2種類の記号で、文字列の集合を表現
正規表現 ワイルドカードの「*」「?」に加えて、さらに他の記号を使ってより文字列の集合を表現

【計算量】

【人工知能(AI)】

用語 概要
機械学習 コンピュータに大量の学習データを与え、自律的にデータの特徴点を抽出し、コンピュータにパターン認識や分類能力をもたせる学習です。教師あり学習、教師なく学習、強化学習などの種類があります。
人工生命 コンピュータ、機械などを使って生命現象や進化のプロセスを再現する技術です。
エキスパートシステム 特定の分野の専門知識をコンピュータに入力し、入力された知識を用いてコンピュータが推論する技術です。機械学習とは違い、判断式を人間が事前に与える必要があります。
エドテック 人が双方向学習を行うために、Webシステムなどの情報技術を用いて教材や学習管理能力をコンピュータにもたせるための技術です。

【知識工学】

【学習理論】

【コンパイラ理論】

【プログラミング言語論・意味論】

関連記事
1 【情報処理入門】基礎用語・原理・資格まとめ
関連記事