2018-10-16から1日間の記事一覧

■

おことわり：会社の事情によっては、急に休講となる可能性があります。アナウンスをご注視ください後期授業第二回目の今回は、「論理結合子の条件」について、証明論的意味論の立場から考えてみたいと思います。具体的には、意味の理論IIの素朴な解釈であ…