形式手法
「プログラム と論理」関連ページ
2021年12月16日
論理学と数学的証明 数理哲学への招待 数学を無味乾燥なつまらない学問だと思っている人は、少なくないと思います。大学受験の世界では、数学は、決して人気の科目ではありません。また、「数学なんて、生きていくのに役に立つの？」と […]
Coq スタートアップセミナー (4)
2021年11月30日
2021/11/30 第四回 「VsCoqのセットアップ」 講演資料 「VsCoqのセットアップ」 (ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」
型の理論入門 （ 論理学入門 III ）
2021年11月4日
型の理論入門 概要 「型の理論」には、Russellの ‘Ramified Type Theory’ から Voevodsky の ‘Homotopy Type Theory̵ […]
MIP*=RE 入門– Interactive Proofとnonlocal ゲーム —
2020年12月24日
2020/12/25 マルゼミ 「MIP*=RE 入門」概要 このセミナーですが、次のような構成を考えています。 第一部「Nonlocal Game– エンタングルメントとゲーム」では、アインシュタインらの […]
人工知能と計算科学 — 計算複雑性入門
2020年9月14日
2020/09/18 マルレク「人工知能と計算科学」概要 今年、「計算複雑性」という数学の一分野で大きな発見がありました。「それって、ITの世界と何か関係があるの？」と感じる人も多いと思います。確かに直接的にはたいした関 […]
AWSでの形式手法の利用
2020年4月16日
2020/05/05 マルレク「AWSでの形式手法の利用」概要 今回のマルレクのテーマは、「AWSでの形式手法の利用」です。 この間、 形式手法を開発者に広めたいと思って、いろいろ試行錯誤をしてきたのですが、開発者にとっ […]
論理学入門 II — ラムダ計算と関数型言語
2020年3月14日
2020/03/27 マルゼミ「論理学 II」概要 「論理学 I」との関係について 前回の「論理学 I — 命題論理の演繹ルール」では、「推論する能力」の最も基本的な基礎である、論理的推論ルールにフォーカスしました。今回 […]