人工知能
量子コンピュータ入門
2020/10/17 マルレク基礎 「量子コンピュータ入門」概要 量子コンピュータに対する関心は確実に広がっています。もっとも、量子コンピュータで今日・明日にも世界が変わるわけではありません。ただ、10年-20年のスパン […]
人工知能と計算科学 — 計算複雑性入門
2020/09/18 マルレク「人工知能と計算科学」概要 今年、「計算複雑性」という数学の一分野で大きな発見がありました。「それって、ITの世界と何か関係があるの？」と感じる人も多いと思います。確かに直接的にはたいした関 […]
はじめてのCoq (サイレント version )
Coq Tutorial https://github.com/maruyama097/coq-tutorial 概要 https://coq-handson.peatix.com/ Hello Coq! Coqとのはじ […]
ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificationの世界
2019/9/24 マルレク 概要：https://deep-spec.peatix.com/資料ダウンロード：http://bit.ly/2muEmcl はじめに 小論の目的は、ソフトウェア・エンジニアリングの領域で起 […]
型の理論入門 (サイレント版)
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 […]
初めてディープラーニングを学ぶ人のための数学入門 — ニューラルネットで行列を理解する
7/9 角川セミナー 概要：https://lab-kadokawa83.peatix.com/ 資料1：「初めてディープラーニングを学ぶ人のための数学入門 — ニューラルネットで行列を理解する」 http: […]
人工知能と意味の形式的理論
2019/01/08 マルレク 「人工知能と意味の形式的理論」概要 セミナーへのお誘い 人工知能研究の大きな課題の一つに、意味の理解をどのように機械上で実現するかという問題があります。 講演では、まず、この分野で、現時点 […]
2018年講演総集編 人工知能技術の課題と展望
2018年講演総集編 人工知能技術の課題と展望 この間、人工知能について考えたこと ポスト・ディープラーニングの展望 自然言語理解をめぐって 数学的認識をめぐって 量子情報理論について 人工知能論につい […]