情報に関する理論

【目標】
□ 情報理論，符号理論の考え方，仕組みを修得し，応用する。
□ コードによる文字の表現を修得し，応用する。
□ 述語論理，形式言語，オートマトンなど，情報に関する理論の考え方，仕組みを修得し，応用する。
□ 正当性理論の考え方，仕組みを修得し，応用する。
□ AI（人工知能）の考え方，仕組み，代表的なモデルを修得し，応用する。
□ コンパイラ理論，プログラム言語論や意味論の考え方，仕組みを修得し，応用する。