このエントリーをはてなブックマークに追加

May

12

【増枠】チューリングマシンを学ぼう ~コンピュータサイエンス入門~

有限オートマトンからチューリングマシンまで

Registration info

オンライン参加

Free

FCFS
79/100

参加者への情報
(参加者と発表者のみに公開されます)

Description

講座概要

「計算」は、わたしたちが普段触っているスマホやPCの中で当たり前に行われています。 というか、「計算」を行うことこそがそういった電子計算機の本質と言ってもよいでしょう。 PCの内部で「1 + 2 = 3」とか、そういった単純な「計算」を繰り返して、ディスプレイに絵を表示したり音を出したり、様々なことが可能となっています。 PCは本当に様々なことを「計算」によって可能にしていますが、その仕組みはチューリングマシンという仮想的な機械を考えることで説明できます。 チューリングマシンでできること、できないことを考えることで、「計算」という行為の本質についてより深く理解することができます。

本講座はコンピュータサイエンスの中でも、チューリングマシンといった仮想的な計算機械について扱います。 最も基本的な有限オートマトンから始まり、チューリングマシンまでを計算機械の概念を拡張しながら解説していきます。 また、チューリングマシンを通してコンピュータで実現できることの限界を考えていきたいと思います。

主な対象者

  • コンピュータサイエンスに興味がある方
  • チューリングマシンという言葉を聞いたことはあるがよく分かっていない方

前提とする知識

  • 数式に抵抗がない
  • 集合、写像の初歩的な記号がなんとなく理解できること

アジェンダ

  • 計算の定義について
  • 有限オートマトン
  • プッシュダウンオートマトン
  • チューリングマシン
  • 「計算」の限界

会場

Zoomウェビナーでの開催となります

※ 参加登録してくださった方に、このページ上部の「参加者への情報」の欄にZoom URLが表示されます。

タイムテーブル

時刻 内容
19:30 はじめに
19:35 講座「チューリングマシンを学ぼう ~コンピュータサイエンス入門~」
21:20 質疑応答
21:30 終了

発表者

Feed

oshima

oshimaさんが資料をアップしました。

05/14/2022 10:57

oshima

oshimaさんが資料をアップしました。

05/13/2022 08:38

payanotty

payanotty published 【増枠】チューリングマシンを学ぼう ~コンピュータサイエンス入門~.

04/23/2022 13:41

チューリングマシンを学ぼう ~コンピュータサイエンス入門~ を公開しました!

Group

StudyCo

Number of events 29

Members 1837

Ended

2022/05/12(Thu)

19:30
21:30

Registration Period
2022/04/23(Sat) 13:41 〜
2022/05/12(Thu) 21:30

Location

Zoom

オンライン

Zoom

Attendees(79)

Akihiro Ueno

Akihiro Ueno

チューリングマシンを学ぼう ~コンピュータサイエンス入門~ に参加を申し込みました!

oshima

oshima

チューリングマシンを学ぼう ~コンピュータサイエンス入門~ に参加を申し込みました!

さとうとものり

さとうとものり

チューリングマシンを学ぼう ~コンピュータサイエンス入門~に参加を申し込みました!

mark55

mark55

I joined チューリングマシンを学ぼう ~コンピュータサイエンス入門~!

marchin

marchin

チューリングマシンを学ぼう ~コンピュータサイエンス入門~ に参加を申し込みました!

usagisan2020

usagisan2020

チューリングマシンを学ぼう ~コンピュータサイエンス入門~に参加を申し込みました!

NobuoTsuchiya

NobuoTsuchiya

チューリングマシンを学ぼう ~コンピュータサイエンス入門~ に参加を申し込みました!

yellow_detteiu

yellow_detteiu

チューリングマシンを学ぼう ~コンピュータサイエンス入門~ に参加を申し込みました!

ike

ike

チューリングマシンを学ぼう ~コンピュータサイエンス入門~ に参加を申し込みました!

yaza_ta

yaza_ta

チューリングマシンを学ぼう ~コンピュータサイエンス入門~に参加を申し込みました!

Attendees (79)

Canceled (6)