xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ Weblog ８月５日 数学基礎論 サマースクール２０１７ の１日目を聞いてきた！ので、メモメモ 数学基礎論 サマースクール２０１７ ■ごあいさつ ・ことしは計算理論 ３つ 入門編 発展編 チューリング次数 ジェネリック次数 補講：同一性 ＨＦ ■はじめての計算可能性 ・計算理論 計算によって何ができるか・できないか 計算：与えられた手順に従った情報処理（アルゴリズム） 計算：コンピューター？ →１９３０年代ころからの概念 計算機：４０年代から→計算機の歴史とともに発展 数学系と情報系 現実の計算機の仕組みにこだわらない 抽象化された計算機を考え、それによっていかなる処理ができるかを調べる ・問題とは 各入… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2F60b3d596311bd0ce1f38896b678697cd" title="「はじめての計算可能性」を聞いてきた！ - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-08-05 19:16:21 rich https://xmldtp.hatenadiary.org/entry/60b3d596311bd0ce1f38896b678697cd 1.0 100%