人工知能
機械と人間のインタラクション
2020/10/31* マルゼミ「機械と人間のInteraction」 機械と人間のInteraction」 ビデオ版 「対話」でわかること 盲人に色を教える -- 「対話」が広げる認識能力 人間の「視覚」の拡大を振り返 […]
量子コンピュータ入門
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 資料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 […]
人工知能と意味の形式的理論
2019/01/08 マルレク 「人工知能と意味の形式的理論」概要 セミナーへのお誘い 人工知能研究の大きな課題の一つに、意味の理解をどのように機械上で実現するかという問題があります。 講演では、まず、この分野で、現時点 […]