人工知能
はじめての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 資料viewer 「はじめに」から 小論の目的は、ソフトウェア […]
型の理論入門 (サイレント版)
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年講演総集編 人工知能技術の課題と展望 この間、人工知能について考えたこと ポスト・ディープラーニングの展望 自然言語理解をめぐって 数学的認識をめぐって 量子情報理論について 人工知能論につい […]
人工知能と量子コンピュータ
2018/11/19 「人工知能と量子コンピュータ — NP-完全問題とその含意」概説 量子コンピュータが、人間の認識の「限界」をどのように拡大するかは、人工知能の未来を考える上で、重要な問題です。 BQ […]