Redundanz

僕の言葉は、人と話をするためにあるんじゃない。

2013-05-10から1日間の記事一覧

0510

じっくり学ぶ数学の講義を聞き流しながら記号論理学講義を読みました。再帰関数のお話で、このへんは先学期に飽きるほどやったのですんなり進みます。チューリングマシンの議論ははじめてだったけども、それほど難しくはなく。次はλ計算ですね、わくわく。 …