数学
MIP*=RE References
Main Articles "MIP*=RE" Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen 2020/01 We show […]
2のn乗の話（Turingマシンについて）
セミナー概要 今回の「楽しい数学」のトピックは、2のn乗の話です。なにか簡単な話に見えますが、意外と広がりがあります。お楽しみに。いずれの話も、特別の数学的な前提知識は必要ではありません。皆さんのおこしをお待ちしています […]
論理学入門 II -- ラムダ計算と関数型言語
2020/03/27 マルゼミ「論理学 II」概要 「論理学 I」との関係について 前回の「論理学 I — 命題論理の演繹ルール」では、「推論する能力」の最も基本的な基礎である、論理的推論ルールにフォーカスしました。今回 […]
論理学入門 I -- 命題論理の演繹ルール
2020/01/28 マルゼミ「論理学入門 I」概要 なぜ今「論理学」を学ぶのか？ その理由は、人工知能技術の未来に関係しています。丸山は、人工知能技術の次の飛躍は、コンピュータの論理的に推論する能力が、現実の課題に広く […]
テンソルとは何か？ Tensor Network 入門
概要 Tensor Networkは、数学や物理学の分野で生まれた、複雑な計算をグラフで表現して見通しをよくしようというテクニックです。今回は、そのアイデアを、Deep LearningのCNNに応用してみました。 目次 […]
ソフトウェア・エンジニアリングの新しい潮流 -- 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://bit […]