哲学
型の理論入門 ( 論理学入門 III )
型の理論入門 概要 「型の理論」には、Russellの 'Ramified Type Theory' から Voevodsky の 'Homotopy Type Theory' までを数えれば、100年以上の歴史がありま […]
認識について考える 2 -- 認識の認識
2021/11/26 マルゼミ概要 今回のマルゼミは、前回のマルレク「認識について考える」の続編です。 前回は、主要に、自然認識とそれを可能とする条件の変化の歴史を振り返ったのですが、今回は、「認識の認識」という構造に注 […]
エンタングルする認識
2022年 10月29日 エンタングルメント・セミナーを開催します。 本セミナーは、録画されたコンテンツの配信で、生放送ではありません。この日のこの時間帯の都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、 […]
エンタングルする自然 —「逆理」から「原理」へ ver.1.0
2022年 10月29日 エンタングルメント・セミナーを開催します。 本セミナーは、録画されたコンテンツの配信で、生放送ではありません。この日のこの時間帯の都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、 […]
機械と人間のインタラクション
2020/10/31* マルゼミ「機械と人間のInteraction」 機械と人間のInteraction」 ビデオ版 「対話」でわかること 盲人に色を教える -- 「対話」が広げる認識能力 人間の「視覚」の拡大を振り返 […]
量子コンピュータ入門
2020/10/17 マルレク基礎 「量子コンピュータ入門」概要 量子コンピュータに対する関心は確実に広がっています。もっとも、量子コンピュータで今日・明日にも世界が変わるわけではありません。ただ、10年-20年のスパン […]
人工知能と計算科学 -- 計算複雑性入門
2020/09/18 マルレク「人工知能と計算科学」概要 今年、「計算複雑性」という数学の一分野で大きな発見がありました。「それって、ITの世界と何か関係があるの?」と感じる人も多いと思います。確かに直接的にはたいした関 […]