2016-06-01から1日間の記事一覧

朝から起きて労働. 労働が済んだら昼を食べるついでに情報科学のセミナーの予習.次回の担当分の目処をつけるなど.整列順序集合が1階述語論理では記述できないことについての詳細を発表することになりそうだ.高階述語論理については一切の知識がないので…