募集内容 |
オンライン参加 無料
先着順
|
---|---|
申込者 | 申込者一覧を見る |
開催日時 |
2022/05/12(木) 19:30 ~ 21:30
|
募集期間 |
2022/04/23(土) 13:41
〜 |
会場 |
Zoom オンライン |
参加者への情報 |
(参加者と発表者のみに公開されます)
|
イベントの説明
講座概要
「計算」は、わたしたちが普段触っているスマホやPCの中で当たり前に行われています。 というか、「計算」を行うことこそがそういった電子計算機の本質と言ってもよいでしょう。 PCの内部で「1 + 2 = 3」とか、そういった単純な「計算」を繰り返して、ディスプレイに絵を表示したり音を出したり、様々なことが可能となっています。 PCは本当に様々なことを「計算」によって可能にしていますが、その仕組みはチューリングマシンという仮想的な機械を考えることで説明できます。 チューリングマシンでできること、できないことを考えることで、「計算」という行為の本質についてより深く理解することができます。
本講座はコンピュータサイエンスの中でも、チューリングマシンといった仮想的な計算機械について扱います。 最も基本的な有限オートマトンから始まり、チューリングマシンまでを計算機械の概念を拡張しながら解説していきます。 また、チューリングマシンを通してコンピュータで実現できることの限界を考えていきたいと思います。
主な対象者
- コンピュータサイエンスに興味がある方
- チューリングマシンという言葉を聞いたことはあるがよく分かっていない方
前提とする知識
- 数式に抵抗がない
- 集合、写像の初歩的な記号がなんとなく理解できること
アジェンダ
- 計算の定義について
- 有限オートマトン
- プッシュダウンオートマトン
- チューリングマシン
- 「計算」の限界
会場
Zoomウェビナーでの開催となります
※ 参加登録してくださった方に、このページ上部の「参加者への情報」の欄にZoom URLが表示されます。
タイムテーブル
時刻 | 内容 |
---|---|
19:30 | はじめに |
19:35 | 講座「チューリングマシンを学ぼう ~コンピュータサイエンス入門~」 |
21:20 | 質疑応答 |
21:30 | 終了 |