まる２日間の会議も終わり、あとは無事に帰るだけ･･･と思っていたら、現地の支店の人がディナーのレストランを予約してありますと言ってくれた。フライトは翌未明の２時前だから、変則的だが今夜の22時にチェックアウトして空港までの車に乗るつもりだった。…

「チューリング・マシン」という言葉は、40年余り前大学の講義で聞いた。最近聞くことがないが、Wikipediaによると、「計算類型の一つで、計算機を数学的に講義するための、単純化・理想化された仮想機械である」とのこと。僕が学生の頃コンピュータ・サイエ…