2026-04-12から1日間の記事一覧

前期授業第1回（4/14）

授業第一回目の今回は、本授業の事務上の説明（授業の進め方、成績評価）および、人間の推論のコンピュータによるシミュレーションとしての形式的な論理学とはどういうものであるかを説明します。同時に、その際に重要になってくる「メタ／対象」などのキー…