人工知能

マルレク
コンピュータ、数学の問題を解き始める

2022/03/26 マルレク 概要 3/26 マルレク「コンピュータ、数学の問題を解き始める」へのお誘い Open-AI Theorem Prover この2月に、 Open-AI はとても興味深い発表を行いました。彼 […]

続きを読む
マルゼミ
「同じ」を考える -- Univalence Axiom 入門

2022/03/01 マルゼミ「「同じ」を考える -- Univalence Axiom 入門」 小論は、2019 年1月29日のセミナー「「同じ」を考える -- 「型の理論」入門」をベースにして、Homotopy Ty […]

続きを読む
マルゼミ
チューリングマシンの拡大と複雑性

2021/02/26 マルゼミ 「チューリングマシンの拡大と複雑性」概要 私たちの認識は単純なものから複雑なものに進みます。世界は複雑なものであふれているので、我々の認識もどんどん複雑になっていきます。ただ、こうした私た […]

続きを読む
マルゼミ
MIP*=RE 入門-- Interactive Proofとnonlocal ゲーム --

2020/12/25 マルゼミ 「MIP*=RE 入門」概要 このセミナーですが、次のような構成を考えています。 第一部「Nonlocal Game-- エンタングルメントとゲーム」では、アインシュタインらの「 隠れた […]

続きを読む
マルゼミ
機械と人間のインタラクション

2020/10/31* マルゼミ「機械と人間のInteraction」 機械と人間のInteraction」 ビデオ版 「対話」でわかること 盲人に色を教える -- 「対話」が広げる認識能力 人間の「視覚」の拡大を振り返 […]

続きを読む
マルレク
量子コンピュータ入門

2020/10/17 マルレク基礎 「量子コンピュータ入門」概要 量子コンピュータに対する関心は確実に広がっています。もっとも、量子コンピュータで今日・明日にも世界が変わるわけではありません。ただ、10年-20年のスパン […]

続きを読む
マルレク
人工知能と計算科学 -- 計算複雑性入門

2020/09/18 マルレク「人工知能と計算科学」概要 今年、「計算複雑性」という数学の一分野で大きな発見がありました。「それって、ITの世界と何か関係があるの?」と感じる人も多いと思います。確かに直接的にはたいした関 […]

続きを読む
その他講演
はじめてのCoq

Coq Tutorial https://github.com/maruyama097/coq-tutorial 概要 https://coq-handson.peatix.com/ 目次 I. Hello Coq! C […]

続きを読む
人工知能
プログラムと論理

2019/10/10 マルレク・サブゼミ 概要:https://programlogic.peatix.com/ 資料ダウンロード:http://bit.ly/35iljUn 資料viewer 「はじめに」から 小論は、 […]

続きを読む
マルレク
ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界

2019/9/24 マルレク 概要:https://deep-spec.peatix.com/ 資料ダウンロード:http://bit.ly/2muEmcl 資料viewer 「はじめに」から 小論の目的は、ソフトウェア […]

続きを読む