動画 - 人工知能・AI

「量子コンピュータの現在　— 量子優越性のマイルストーンの達成 —」（後半）
Open 2020.06.30

「量子コンピュータの現在　— 量子優越性のマイルストーンの達成 —」（後半）

「量子コンピュータの現在　— 量子優越性のマイルストーンの達成 —」（前半）
Open 2020.06.30

「量子コンピュータの現在　— 量子優越性のマイルストーンの達成 —」（前半）

IT技術とCoqの世界 -- 「証明」＝「プログラム」＝「計算」の意味を考える （後半）
Open 2020.02.06

IT技術とCoqの世界 -- 「証明」＝「プログラム」＝「計算」の意味を考える （後半）

IT技術とCoqの世界 -- 「証明」＝「プログラム」＝「計算」の意味を考える （前半）
Open 2020.02.06

IT技術とCoqの世界 -- 「証明」＝「プログラム」＝「計算」の意味を考える （前半）

強化学習と逆強化学習を組み合わせた模倣学習
Open 2020.01.29

強化学習と逆強化学習を組み合わせた模倣学習

ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界（後半）
Open 2020.01.23

ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界（後半）

ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界（前半）
Open 2020.01.23

ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界（前半）

Yet Another AI — RPAは「推論エンジン」の夢を見るか (後半)
Open 2019.10.12

Yet Another AI — RPAは「推論エンジン」の夢を見るか (後半)