第6回「アリアとさまざまの変奏」

開催が大変遅くなってしまい、申し訳ありません……。
なかなか忙しい日々が続いてしまっているのですが、このままでは延び延びになってしまうので、根性でイベント作成させて頂きました。
第6回は、今までの形式システムより一歩進んだプログラミング言語が登場します。
開催までの期間が短く、まだ読めていない方も多いでしょうから、次回の課題章などは会場で検討しようと思います。

なお、今回の会場は神保町となっています。場所に注意してください。

課題章

• アリアとさまざまの変奏 (P392)
• 第13章 ブーとフーとグ― (P406)
• G線上のアリア (P429)
• 第14章 形式的に決定不可能なTNTと関連するシステムの命題 (P436)
• 誕生日のカンターターターター…… (P456)
• 第15章 システムからの脱出 (P460)

会場の注意点

• 飲食持ち込み可
• 電源／コンセント利用可能
• 開場は12:00からの予定です。
• 途中入場・退出は自由です。
• 1時間600円・1500円で1日利用可能となっています。