2018-12-01から1ヶ月間の記事一覧
大変申し訳ありません。先週末の会議が炎上し(こればっかり…)、急遽打ち合わせが入ってしまったため、今週の授業は休講とさせて頂きます。休講2回分は、1月ー2月に補講を行います。詳細は1/8にご説明します。私の事情で大変申し訳ありませんが、よろしくお…
大変申し訳ありません。年末進行のため急に会議が入ってしまい、明日の授業は休講とさせて頂きます。代わりに、休講予定だった12/25に授業を行います。二重に申し訳ありませんが、よろしくお願いします。 12月18日は、古典論理での証明に関する問題演習とし…
今回は直観主義論理の問題演習とします。
申し訳ありません、会社で急に打ち合わせが入ったため、12/4は休講とさせていただきます。