セミナー・リスト
- GPT-4 Technical Report を読む
- 「知識のハブ」の変化を考える
- E.Wittenの「ブラックホール熱力学入門」翻訳ページ
- AI とマインクラフトの世界
- ソフトウェア開発サイクルの変革とAI Agent の動向
- Surface code と Stabilizer 2
- Surface code と Stabilizer
- 量子エラー訂正技術の動向
- コンピュータと数学
- AIとグラフ
- ニューラル・ネットワークの数理 ?? Tropical代数入門
- マトリョーシカとトロピカル
- ChatGPTとOpenAIはどう変わろうとしているのか？
- ChatGPTはどう変わろうとしているのか？
- AIの利用とインターフェースを考える
- 大規模言語モデルの展開 ? マルチモーダルへ
- ニューラル・ネットワークの基礎
- 創発について考える
- GPT-4 との対話 ? プロンプトで遊ぶ ?
- はじめてのCoq
- 意味の分散表現論の系譜
- 並列・分散アルゴリズムの基礎
- 量子情報と通信技術 ? 「量子インターネット」という未来
- コンピュータ、数学の問題を解き始める
- 「同じ」を考える ? Univalence Axiom 入門
- 分散合意アルゴリズム (1) ? Paxos
- 型の理論入門 (サイレント版)
- 認識について考える 2 ? 認識の認識
- 認識について考える
- ペンローズの宇宙論
- エンタングルする認識
- チューリングマシンを学ぼう！
- 人工知能と計算科学 ? 計算複雑性入門
- ケット |k> で理解する量子の世界
- たとえ話で理解する量子の世界
- 19/08/01 丸山 x 山賀 対談 「科学と虚構の未来を語る」
- 初めてディープラーニングを学ぶ人のための数学入門 ? ニューラルネットで行列を理解する
- 2018年講演総集編 人工知能技術の課題と展望
- 計算理論入門 ? 「やさしい計算」と「むずかしい計算」
- 人工知能と複雑性理論
- 楽しい数学 ? 好奇心から広がる数理の世界
- ディープ・ラーニング 6時間集中講義
- ポスト・ディープラーニングの人工知能技術を展望する
- ディープラーニング：クラウド＋エッジ ハンズオン
- Amazon SageMakerクラウド・ハンズオン
- ポスト・ディープラーニングの人工知能技術を展望する
- ボイス・アシスタントから見るAIの未来
- 紙と鉛筆で学ぶ量子情報理論基礎演習（角川）
- ボイスアシスタント・システム?? 人間と機械のインターフェースの変化に備えよう
- エントロピーと情報理論 ? 量子情報理論入門
- 人工知能の歴史を振り返る
- ニューラル・コンピュータとは何か？
- Googleニューラル機械翻訳
- RNN と LSTMの基礎 ? Sequence to Sequence ?
- DNNとRNN ? ニューラルネットワークの二つの基本的なモデルについて
- ネットワークとハードウェアの技術動向
- モバイルとクラウドの向かう未来
- パーソナル・アシスタント・システムと人工知能
- Convolutional Neural Network入門
- ニューラル・ネットと技術革新の展望 + PROJECT ARAへの期待
- ニューラル・ネットワーク＋TENSORFLOW 入門講座
- 機械学習技術の現在 ２
- クラウドとコンテナー技術
- クラウドOSとマイクロサービス
- 機械学習技術の現在
- 大規模分散システムの現在 ? Twitter ?
- Facebook Parse の世界 ? モバイルアプリ開発とクラウド利用 ?
- Amazonのクラウド・データベース Amazon Aurora
- Project Araとものづくりの未来
- ハードウェア技術の動向 ? MS Bing 検索でのFPGAの利用 ?
- エンタープライズと機械学習技術２ ? Big Data と Deep Learning ?
- エンタープライズと機械学習技術１ ? Big Data と Deep Learning ?
- 人間の思考、機械の思考
- 人間の思考、機械の思考 ? IT技術者のための機械による知能研究入門
- Cyber-Physical Systemsと自立分散システム
- IoTとCyber-Physical Systems
- IoTを考える ? エンタープライズとビッグデータとウェアラブル
- スマホが変わる、スマホの作り方が変わる。 ? Project Araと新しいモノづくりのエコシステム
- 大規模グラフデータ処理
- Reactiveプログラミング
- 「型の理論」と証明支援システム
- クラウドとクラウド・デバイスの新時代
- マルチコアプログラミングの技法 ? OpenCLとWebCL
- JavaScriptの進化 ? TypeScriptとDart
- 大規模分散システムの現在 ? GFS, MapReduce, BigTableは、どう進化したか
- Packaged Web Appsについて ? AndroidとChromeの統合