形式手法

マルゼミ
型の理論入門 (サイレント版)

2019/09/03 マルレク・サブゼミ 概要:https://type-theory.peatix.com/ 資料ダウンロード: 第一部:「数学の基礎の探求 -- CantorからVoevodskyまで」 第二部:「型 […]

続きを読む
マルレク
Yet Another AI -- RPAは「推論エンジン」の夢を見るか

2019/7/29 マルレク 概要:https://yet-another-ai.peatix.com/ 資料ダウンロード:http://bit.ly/30VzVpy 資料viewer 「はじめに」から 小論は、「Yet […]

続きを読む
楽しい数学
「同じ」を考える -- 「型の理論」入門

2019/01/29 「同じ」を考える -- 「型の理論」入門  概要 セミナーの呼びかけ 数学では、「同じ」「等しい」というのは、もっとも基本的な概念の一つです。 「2 x 3 は、3 x 2 と同じである」 「2辺と […]

続きを読む