MENU
  • Home
  • セミナー
  • 講演資料集
    • マルレク
    • マルゼミ
    • マルラボ
    • クラウド研究会
    • 角川セミナー
    • 楽しい数学
    • その他の講演
  • 動画
  • お知らせ
  • MaruLaboについて
  • 協賛・学生会員
    • 学生会員
    • 協賛
    • 個人協賛会員
  • お問い合わせ

MaruLabo

  • Home
  • セミナー情報
  • 講演資料（テーマ別）
    • 量子コンピュータ
    • Deep Specification
    • 人工知能
    • ディープ・ラーニング
    • 言語理論
    • 数学
    • 哲学
    • クラウド
    • Android
  • 講演資料（セミナー別）
    • マルレク
    • マルゼミ
    • マルラボ
    • クラウド研究会
    • 角川セミナー
    • 楽しい数学
    • その他の講演
  • 動画
  • Facebook Page
    • マルレク＋MaruLabo
    • 丸山不二夫
  • About Us
    • MaruLaboについて
    • マルレク — これまでの取り組み

講演資料

  1. HOME
  2. 講演資料
  3. クラウド研究会

クラウド研究会

2016年4月4日 クラウド研究会

ニューラル・ネットと技術革新の展望 — TENSORFLOWとCNTK

4月4日　クラウド研究会第三回 テーマ： 「ニューラル・ネットと技術革新の展望 — TENSORF […]
2015年12月8日 クラウド研究会

クラウドとコンテナー技術

12月8日 クラウド研究会 第二回 テーマ：「 クラウドとコンテナー技術 」 概要：http://kokuch […]
2015年12月8日 クラウド研究会

クラウドOSとマイクロサービス

12月8日 クラウド研究会 第一回 テーマ：「 クラウドOSとマイクロサービス 」 概要：http://kok […]

セミナー開催情報

  • 丸山不二夫 x 山賀博之　対談企画　「科学と虚構の未来を語る」
  • 7/9セミナー「初めてディープラーニングを学ぶ人のための数学入門 — ニューラルネットで行列を理解する」
  • 7/6 ハンズオン「量子コンピュータで学ぶ量子プログラミング入門」
  • 6/21 「3時間で学ぶ Shorのアルゴリズム入門」
  • 次回のマルレクは、7月29日、富士通さんで開催です。 テーマは、”Yet Another AI” です

お知らせ

  • 過去の講演をオンライン・クラス化しました！ 2019年5月19日
  • マルレク 2019-2020 の開催について 2019年5月18日
  • Web サイトリニューアル 2018年11月29日
  • マルレク 2018-2019 の開催について 2018年3月1日

講演資料

  • IT技術とCoqの世界 – 証明 = プログラム = 計算の意味を考える
  • プログラムと論理
  • ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificationの世界
  • 型の理論入門
  • Yet Another AI — RPAは「推論エンジン」の夢を見るか

動画

  • 「はじめてのCoq」
  • 量子過程を図解する「String Diagram入門」
  • 「型の理論」入門
  • テンソルとは何か？ Tensor Network 入門
  • 「 量子コンピュータをやさしく理解する三つの方法 」
  • お問い合わせ
  • 協賛・学生会員
  • プライバシーポリシー

Copyright © MaruLabo All Rights Reserved.

Powered by WordPress with Lightning Theme & VK All in One Expansion Unit by Vektor,Inc. technology.