liewecmays.netようこそ。私について学生です。言語・論理・計算に興味があります。このサイトでは、論理学や計算機科学に関する情報を紹介していきたいと思っています。よろしくお願いします。最新記事2022/10/08純粋型システムとλキューブ2022/09/14直観主義論理: クリプキ意味論(1階述語論理)2022/09/08直観主義論理: クリプキ意味論(命題論理)