人工知能
型の理論入門 (サイレント版)
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://bit […]
人工知能と意味の形式的理論
2019/01/08 マルレク 「人工知能と意味の形式的理論」概要 セミナーへのお誘い 人工知能研究の大きな課題の一つに、意味の理解をどのように機械上で実現するかという問題があります。 講演では、まず、この分野で、現時点 […]
2018年講演総集編 人工知能技術の課題と展望
2018年講演総集編 人工知能技術の課題と展望 この間、人工知能について考えたこと ポスト・ディープラーニングの展望 自然言語理解をめぐって 数学的認識をめぐって 量子情報理論について 人工知能論につい […]
人工知能と量子コンピュータ
2018/11/19 「人工知能と量子コンピュータ -- NP-完全問題とその含意」概説 量子コンピュータが、人間の認識の「限界」をどのように拡大するかは、人工知能の未来を考える上で、重要な問題です。 BQP（量子コ […]
人工知能と複雑性理論
2018/09/27 角川連続ナイトセミナー「人工知能と計算複雑性」概要 小論は、人口知能研究の今後の発展の方向を、数学的・物理学的認識可能性の理論でもある「複雑性理論」の成立・発展を中軸にして考察したものである。 なぜ […]
自然言語とコンピュータ
8月27日 マルレク第三回 テーマ：「自然言語とコンピュータ」 概要：https://language1.peatix.com 資料：https://goo.gl/XePs2d 動画：https://crash.acad […]