情報通信理論 / Information and Communication Theory  

  川本 雄一  

  工  

   

   

Google Classroomのクラスコードは工学部Webページにて確認すること。

学部シラバス・時間割(https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html)

１．目的

情報通信技術の基盤理論である情報理論及び符号理論の基礎を理解する。

２．概要

情報源及び通信路の数学的な取扱い方を学び、情報源符号化と通信路符号化の原理と限界を知る。

３．達成目標等

基本的な諸定理を独自に証明できるようになること。また、情報源のエントロピーや典型的な通信路の通信容量などを独自に計算し、評価できるようになること。

４．方法

対面もしくは双方向オンライン（Google ClassroomとTeamsを利用）

The class code for Google Classroom can be found on the Web site of

the School of Engineering:

https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html (JP Only)

1. Purpose

Students will learn and understand information theory and coding theory for information communication technology.

2. Outline

Students will learn mathematical approach to information source and communication channel.

F2F or Online (Real-time)

  情報通信理論 / Information and Communication Theory  

  加藤 寧, ＫＯＫＥＴＳＵ ＲＯＤＲＩＧＵＥ  

  工  

   

   

Google Classroomのクラスコードは工学部Webページにて確認すること。

学部シラバス・時間割(https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html)

１．目的

情報通信技術の基盤理論である情報理論及び符号理論の基礎を理解する。

２．概要

情報源及び通信路の数学的な取扱い方を学び、情報源符号化と通信路符号化の原理と限界を知る。

３．達成目標等

基本的な諸定理を独自に証明できるようになること。また、情報源のエントロピーや典型的な通信路の通信容量などを独自に計算し、評価できるようになること。

The class code for Google Classroom can be found on the Web site of

the School of Engineering:

https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html (JP Only)

１．Objective

To understand the basics of information theory and coding theory is a foundation of information and communications technology

２．Overview

Learn mathematical modeling of the information source and communication path, learn the principles and limitations of the information source coding and channel coding

３．Goals, etc

Through this course, it will be possible to prove the basic information theorems. In addition, it will be possible to evaluate/calculate communication capacity and entropy of typical communication channel of information sources.

  情報の量の科学  

  静谷 啓樹  

  全  

  1/3/5/7セメスター  

  前期 木曜日 5講時 川北キャンパスC104  

情報技術が社会に広く深く織り込まれた現在、その基盤となる科学を理解した上で技術と向き合うことこそが、文系理系を問わず技術に流されない自分を確立する第一歩になる。この講義では、情報の基礎理論の一つである「情報理論」について、一貫して数学的な議論によりその入門的事項を学ぶ。特に、私たちの日常生活が情報理論の成果であふれていることを認識する。

The first step not to lose ourselves in today's advanced information society is to understand

the science underling the technology. In this introductory class, we will learn basics of

Information Theory which is a part of the mathematical and fundamental theory of information.

Specifically we will recognize that that daily life is filled with the fruits of

Information Theory.

  通信符号理論 / Communication Coding Theory  

  伊藤 彰則  

  工  

   

   

Google Classroomのクラスコードは工学部Webページにて確認すること。

学部シラバス・時間割(https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html)

誤り訂正符号は、圧縮・暗号と並んで重要な通信符号化技術である。本講義では、基礎的な符号理論からはじまり、実際に利用されている誤り訂正符号として、パリティ符号、ハミング符号、リード・マラー符号、リード・ソロモン符号、畳み込み符号などについて解説する。

The class code for Google Classroom can be found on the Web site of

the School of Engineering:

https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html (JP Only)

The error correction code is an important communication technology besides the data compression and encryption. In this class, the basic coding theory as well as several coding methods will be lectured, such as the parity code, Hamming code, Reed-Muller code, Reed-Solomon code and the convolutional code.

  情報理学Ⅰ / Introduction to Theory of Information and Computation  

  村山 卓  

  理  

  前期  

  前期 木曜日 1講時  

現代の社会生活において欠かすことのできなくなった科学技術である計算機や情報通信について、

その礎となっている情報理論や計算理論について概説する。

また、それらの応用として、実際のコンピュータやインターネットの仕組みについて学ぶ。

This course explains fundamental theories of Information and computation as the basis of modern computers and communication technology.

Students will also understand practical mechanism of computers and internet communication.

  情報科学基礎 / Fundamentals of Information Science  

  高橋 信  

  工  

   

   

Google Classroomのクラスコードは工学部Webページにて確認すること。

学部シラバス・時間割(https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html)

本講義では、情報科学の基礎となる理論や情報処理手法の基礎を習得し、併せてそれらの応用の一部を学習することを目的とする。

The class code for Google Classroom can be found on the Web site of

the School of Engineering:

https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html (JP Only)

The purpose of this lecture is to learn the basics of the theory and information processing methods that are the basis of information science, and also to learn some of their applications.

  画像情報通信 / Image Information Communications  

  大町 真一郎  

  工  

   

   

Google Classroomのクラスコードは工学研究科Webページ

https://www.eng.tohoku.ac.jp/edu/syllabus-g.html

（大学院シラバス・時間割・履修登録）にて確認すること。

画像や映像の符号化技術について講義する。

授業形態については Google Classroom で確認すること。

The class code for Google Classroom can be found on the Web site of the School of Engineering:

https://www.eng.tohoku.ac.jp/english/academics/master.html (under "Timetable & Course Description")

The purpose of this course is to understand basic things about image and video coding.

For more information on this lecture, refer to the information in Google Classroom.

  システム情報数理学Ⅰａ  

   

  情報基礎科学専攻、システム情報科学専攻、応用情報科学専攻  

  後期  

  後期 火曜日 2講時  

符号理論は、誤りが発生する通信路において、いかに効率よくかつ信頼性が高い情報伝達を行うことが出来るかを研究する分野で、数学、情報科学、実用化技術とし、色々な立場からの研究が広く行われている。本講義では、代数的符号理論に関する基礎的な講義を行い、特に、自己双対符号について、組合せデザインなどの組合せ構造などの関連に着目して、解説を行う。

  情報論理学 / Logic for Computer Science  

  中野 圭介  

  工  

   

   

Google Classroomのクラスコードは工学部Webページにて確認すること。

学部シラバス・時間割(https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html)

# 目的

数理論理学は, 情報科学分野全般における数学的・理論的な思考技術の基本として, 更にまた，ソフトウェア科学における形式的技法の基礎として重要である. このような観点から, 情報科学の基礎知識としての数理論理学を修得することを目的とする．

# 概要

数理論理学の基本である命題論理および述語論理について，命題の形式化，モデル，証明論，健全性と完全性などについて講義する．

# 達成目標等

・自然言語で与えられた命題を論理式を用いて形式化する能力の習得

・推論の形式化についての理解

・数学的論証の過程を理解し，明示する能力の習得

・基礎的な数学的構造において，与えられたモデル上における命題の真偽を議論する能力の習得

・証明可能性と恒真性の同等性についての理解

The class code for Google Classroom can be found on the Web site of

the School of Engineering:

https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html (JP Only)

# Objective

Mathematical logic is important as the basis of mathematical and theoretical thinking in the field of information science in general, and also as the basis of formal methods and techniques in software science. From this point of view, the objective of this course is to acquire mathematical logic as a basic knowledge of information science.

# Overview

Students will learn basic concepts in propositional logic and predicate logic, including formalization of propositions and

predicates, their models, proof theory, and soundness and completeness.

# Goals

- Ability to formalize propositions in natural language as logic formulae.

- Understanding of formal inference.

- Knowledge of formal proofs and the ability to make formal proofs.

- Ability to determine the validly of a proposition in a variety of theories.

- Understanding of the provability, validity and their equivalence.

  情報数学 / Information Mathematics  

  伊藤 健洋, 磯邉 秀司  

  工  

   

   

Google Classroomのクラスコード： bebccwt

学部シラバス・時間割(https://www.eng.tohoku.ac.jp/edu/syllabus-ug.html)

1. 目的

情報科学の諸分野で必要な数学の基礎知識と基礎技能の修得を目的とする．

2. 概要

集合論，組合せ論およびグラフ理論を中心に，情報数学の考え方，証明法を講義する．また，証明法とアルゴリズム設計・解析との関係についても触れる．

3. 達成目標等

情報数学の考え方を学んでもらうとともに，情報数学のおもしろさを体感してもらう．基本的な証明手法や計算手法を体得し，第三者に主張の正しさを論理的に説明する技術を修得する．

Google Classroom's Class Code: bebccwt

1. Subject

Students develop fundamental skills and basic knowledge on discrete mathematics necessary for various fields of computer science.

2. Abstract

We will deal with the naive set theory and logic, and combinatorics such as graph theory, which include topics on proof techniques and algorithms.

3. Goals and Objectives

Students will find and improve their interest in various topics on the discrete mathematics. Deepen fundamental skills on mathematical thinking and logic, including proof and calculus skills.