SlideShare a Scribd company logo
関数プログラミング, 定理証明, CTF,
MOOC (Coursera), …
ソフトウェア高信頼化系の研究と、
最近は少しデータ分析・機械学習系も
酒井 政裕
Twitter: @masahiro_sakai
GitHub: github.com/msakai/
G+: plus.google.com/+MasahiroSakai
自己紹介
興味・関心お仕事
プライベート
こんな本を共訳したりも
自己紹介
型システム入門
-プログラミング言語と型の理論-
抽象によるソフトウェア設計
-Alloyではじめる形式手法-
MOOC
って知って
いますか?
改めて…
MOOC =
Massive
Open
Online
Courses
一流大学の一流講師の講義が
オンラインで誰でも受講できる
(コースによっては数千人以上受講)
単に講義ビデオを観るだけでなく、
「クイズ」「プログラミング課
題」「レポート」などの
インタラクション
修了証
(無料受講で簡易なPDFの修了証、有料受
講で大学認定の修了証など、サービスや
コースによる)
MOOCサービスの例
詳しくは
『ルポ MOOC革命―
無料オンライン授業の衝撃』
金成 隆一. 岩波書店 (2013)
などを参照
自分の場合: 2013年頃からCourseraで色々と受講
• 好奇心
• スキルのポートフォリオ拡大
Computing for Data Analysis
Roger D. Peng @ ジョンホプキンス大
Data Analysis
Jeff Leek @ ジョンホプキンス大
Machine Learning
Andrew Ng @ スタンフォード大
Introduction to Recommender
Systems
Joseph A. Konstan 他 @ ミネソタ大
Process Mining: Data science in
Action
Wil van der Aalst
@アイントホーフェン工科大
データ分析・機械学習系
• Linear and Discrete Optimization
• Model Thinking
• Developing Innovative Ideas for
New Companies: The First Step in
Entrepreneurship
• Gamification
• Introduction to Computational
Finance and Financial Econometrics
• Introduction to Galois Theory
• …
その他にも色々
自分は技術系のコースが多いけれど
法律・会計・歴史・音楽など
多様なコースが存在
それで、メディアに取り上げられたり、
朝日新聞 2013.8.22 教育欄
「ネット講義 東大を世界に」
NHKクローズアップ現代
2013.09.17
「あなたもハーバード大へ
~広がる無料オンライン講座~」
『ルポ MOOC革命―
無料オンライン授業の衝撃』
金成 隆一. 岩波書店 (2013)
獲得したスキルを活用して
機械学習・データ分析系の仕事に挑戦したり
例) 川崎グランシティモール™
の推薦システム
川崎駅周辺の複数商業施設をク
ラウド上で仮想的に連携させ、
ユーザの嗜好に応じた情報をス
マートフォンアプリ上に配信し、
購買行動などの検証を行う実証
実験
「MOOCの受講」
「MOOCを活用したスキル
アップ・キャリアアップ」
「学習・教育のイノベー
ション」
などに関心のある人、
話しませんか?
自分は最近、あまり受講できていないですが……

More Related Content

PPTX
Enshu1
PDF
Cvpr2017事前読み会
PPTX
Java frameworkの昔と今
PPT
Enshu2012 1
PPTX
テンプレート・エンジンVelocity
PDF
SAT/SMT solving in Haskell
PDF
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
PDF
自然言語をラムダ式で解釈する体系PTQのHaskell実装
Enshu1
Cvpr2017事前読み会
Java frameworkの昔と今
Enshu2012 1
テンプレート・エンジンVelocity
SAT/SMT solving in Haskell
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
自然言語をラムダ式で解釈する体系PTQのHaskell実装

Similar to ゼロピッチ: MOOC (20)

PPTX
Moocsの利用
PDF
MapReduceによる大規模データを利用した機械学習
DOCX
プログラミング未経験者を対象としたインタラクティブシステムの演習授業の開発
PDF
データ解析技術2019
PDF
Rブートキャンプ
PPT
20150903 jasis2015 生島
PDF
広告ログの解析システム
PDF
Bjarne dont speaking
PDF
コース導入講義(荒木)
PPTX
プログラミング技法特論第1回
PPTX
山梨大学FD研修会
PPTX
The Recommendations for DX in Commercial Education
PDF
PBL as a Service
PPTX
大規模オンラインコースを考慮した学習支援システムの構築
PDF
オブジェクト指向開発におけるObject-Functional Programming
PPT
machine learning & apache mahout
PDF
高専カンファIn京都
PDF
Large Scale Data Mining of the Mobage Service - #PRMU 2011 #Mahout #Hadoop
PDF
JAWS FESTA 20191102
PDF
Introduction to programming competition [revised][PDF]
Moocsの利用
MapReduceによる大規模データを利用した機械学習
プログラミング未経験者を対象としたインタラクティブシステムの演習授業の開発
データ解析技術2019
Rブートキャンプ
20150903 jasis2015 生島
広告ログの解析システム
Bjarne dont speaking
コース導入講義(荒木)
プログラミング技法特論第1回
山梨大学FD研修会
The Recommendations for DX in Commercial Education
PBL as a Service
大規模オンラインコースを考慮した学習支援システムの構築
オブジェクト指向開発におけるObject-Functional Programming
machine learning & apache mahout
高専カンファIn京都
Large Scale Data Mining of the Mobage Service - #PRMU 2011 #Mahout #Hadoop
JAWS FESTA 20191102
Introduction to programming competition [revised][PDF]
Ad

More from Masahiro Sakai (20)

PDF
DeepXplore: Automated Whitebox Testing of Deep Learning
PDF
Towards formal verification of neural networks
PDF
関数プログラマから見たPythonと機械学習
PDF
Writing a SAT solver as a hobby project
PDF
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
PDF
SAT/SMTソルバの仕組み
PDF
Introduction to Max-SAT and Max-SAT Evaluation
PDF
Aluminum: Principled Scenario Exploration through Minimality
PDF
代数的実数とCADの実装紹介
KEY
How a CDCL SAT solver works
PDF
Omega test and beyond
PDF
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
PDF
自動定理証明の紹介
PDF
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
PDF
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
PDF
Relaxed Dependency Analysis
PDF
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
PDF
Whole Program Paths 等の紹介@PLDIr#3
PDF
Introduction to Categorical Programming (Revised)
PDF
Introduction to Categorical Programming
DeepXplore: Automated Whitebox Testing of Deep Learning
Towards formal verification of neural networks
関数プログラマから見たPythonと機械学習
Writing a SAT solver as a hobby project
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
SAT/SMTソルバの仕組み
Introduction to Max-SAT and Max-SAT Evaluation
Aluminum: Principled Scenario Exploration through Minimality
代数的実数とCADの実装紹介
How a CDCL SAT solver works
Omega test and beyond
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
自動定理証明の紹介
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Relaxed Dependency Analysis
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
Whole Program Paths 等の紹介@PLDIr#3
Introduction to Categorical Programming (Revised)
Introduction to Categorical Programming
Ad

ゼロピッチ: MOOC