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

MaruLabo

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

講演資料

  1. HOME
  2. 講演資料
  3. マルゼミ

マルゼミ

2019年9月2日 マルゼミ

型の理論入門

2019/09/03 マルレク・サブゼミ 概要:https://type-theory.peatix.com/ […]

2014年12月4日 マルゼミ

エンタープライズと機械学習技術2 — Big Data と Deep Learning —

12月4日 マルゼミ 第四回 テーマ:「 エンタープライズと機械学習技術2 — Big Data […]

2014年10月3日 マルゼミ

人間の思考、機械の思考

10月3日 マルゼミ 第三回 テーマ:「 人間の思考、機械の思考 」 概要:http://kokucheese […]

2014年8月1日 マルゼミ

3Dププリンターとロボットの世界

8月1日 マルゼミ 第二回 テーマ:「 3Dププリンターとロボットの世界 」 概要:http://kokuch […]

2014年6月20日 マルゼミ

IoTとCyber-Physical Systems

6月20日 マルゼミ 第一回 テーマ:「 IoTとCyber-Physical Systems」 概要:htt […]

セミナー開催情報

  • 丸山不二夫 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.