イベントの説明
計算理論の基礎(著者: Michael Sipser)の読書会を行います。
https://www.amazon.co.jp/dp/4320122070
本書は翻訳書であり、全3冊です。
今回は2巻を読みます。
同時にドローン飛行実験が行われる模様です。。。
https://osaka-dtc.connpass.com/event/109446/
目標
計算機科学(computer science)を学ぶことで、量子コンピューターの理解を深めたいと考えています。
計算理論はTheory of computationと呼ばれ、アルゴリズムを理論的にあつかう学問です。
目標は計算複雑性理論(computational complexity theory)を理解することです。
いわゆるP対NP問題はこの分野の問題として有名です。
進め方
ホワイトボードを使って議論します。演習問題が多いので、参加者で順番に解いていこうと思います。 ノートを公開しているので、前回解いた問題まで自己学習して頂けるとありがたいです。予習に関しては不要です。
ノート:https://github.com/ThomsonKernel/theory_of_computation/raw/master/computation.pdf
予定
オートマトンの理論は、ひとまずスキップして2巻を読み始めます。
持ち物
教科書1巻と2巻
適宜戻るので、1巻も持参願います。
主催
大阪分散技術コミュニティー(DTC)
https://sites.google.com/view/osaka-dtc
場所
JR海老江駅、阪神電車野田阪神駅、地下鉄千日前線野田阪神駅、から徒歩5分
JR野田駅は最寄り駅ではないので注意。
環境
- テーブル、イス
- 電源
- Wi-Fi
- ホワイトボード
- プロジェクター
聴講枠について
議論には参加できそうにないけれど、試しに聞いてみたい方のための枠です。
キーワード
計算理論 計算機科学 計算複雑性理論 チャーチ-チューリングのテーゼ computer science P対NP問題
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。
フィード
2018/12/01 23:45
[読書会]第4回 計算理論の基礎 [原著第2版] has been published!