Submit Search
Upload
110617 lt
•
1 like
•
315 views
Y
yamadamasaki
Follow
例によって時間が押してできなかったLightning Talksのネタを上げておきます. ま, 誰でも知っているようなつまらないネタですけど...
Read less
Read more
Technology
Entertainment & Humor
Report
Share
Report
Share
1 of 16
Download now
Download to read offline
Recommended
MATHS SYMBOLS - #2 - EXPONENTIALS and LOGARITHMS
MATHS SYMBOLS - #2 - EXPONENTIALS and LOGARITHMS
Ist. Superiore Marini-Gioia - Enzo Exposyto
Algebra 2 Lesson 5-6
Algebra 2 Lesson 5-6
Kate Nowak
The Big Three
The Big Three
Roman Okolovich
MATHS SYMBOLS - #6 - LOGARITHMS, LOG of a POWER, LOG of a ROOT - PROOFS
MATHS SYMBOLS - #6 - LOGARITHMS, LOG of a POWER, LOG of a ROOT - PROOFS
Ist. Superiore Marini-Gioia - Enzo Exposyto
2010 jan 12
2010 jan 12
leroy walker
Quinto Punto Parte B
Quinto Punto Parte B
gustavo206
PAIP 第1章 Lisp入門
PAIP 第1章 Lisp入門
yadokari electric
File Handling Program
File Handling Program
တမန္ေတာ္ က်ဴးပါက်ဲ
Recommended
MATHS SYMBOLS - #2 - EXPONENTIALS and LOGARITHMS
MATHS SYMBOLS - #2 - EXPONENTIALS and LOGARITHMS
Ist. Superiore Marini-Gioia - Enzo Exposyto
Algebra 2 Lesson 5-6
Algebra 2 Lesson 5-6
Kate Nowak
The Big Three
The Big Three
Roman Okolovich
MATHS SYMBOLS - #6 - LOGARITHMS, LOG of a POWER, LOG of a ROOT - PROOFS
MATHS SYMBOLS - #6 - LOGARITHMS, LOG of a POWER, LOG of a ROOT - PROOFS
Ist. Superiore Marini-Gioia - Enzo Exposyto
2010 jan 12
2010 jan 12
leroy walker
Quinto Punto Parte B
Quinto Punto Parte B
gustavo206
PAIP 第1章 Lisp入門
PAIP 第1章 Lisp入門
yadokari electric
File Handling Program
File Handling Program
တမန္ေတာ္ က်ဴးပါက်ဲ
Img082
Img082
klorofila
プログラミングHaskell 13章 問題7
プログラミングHaskell 13章 問題7
Kiwamu Okabe
MessagePack - An efficient binary serialization format
MessagePack - An efficient binary serialization format
Larry Nung
Mathcad - modified secant method 2
Mathcad - modified secant method 2
สมต๋อง มข.
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)
Hiroki Mizuno
ARM 7 LPC 2148 lecture
ARM 7 LPC 2148 lecture
anishgoel
2008 june 10
2008 june 10
leroy walker
LLVM Workshop Osaka Umeda, Japan
LLVM Workshop Osaka Umeda, Japan
ujihisa
Presentation about arrays
Presentation about arrays
slave of Allah
QB_DCE_Anuj part 2
QB_DCE_Anuj part 2
Gaganjeet Singh
OOP in Rust
OOP in Rust
KENZ_gelsoft
Pratikum 2 urai wira s
Pratikum 2 urai wira s
Wirha Sykerz
Pratikum 1 hardiansyah
Pratikum 1 hardiansyah
Wirha Sykerz
FOSS4G Europe 2015: OL3-Cesium (3D for OpenLayers)
FOSS4G Europe 2015: OL3-Cesium (3D for OpenLayers)
Camptocamp
Introduction to rust
Introduction to rust
mysangle
All I know about rsc.io/c2go
All I know about rsc.io/c2go
Moriyoshi Koizumi
Exercise #22
Exercise #22
Kelly Scallion
Bab 2
Bab 2
Zinoa
Exercise #8 notes
Exercise #8 notes
Kelly Scallion
Python opcodes
Python opcodes
alexgolec
Brighton Hospital Presentation
Brighton Hospital Presentation
Knoll Larkin
No uml
No uml
yamadamasaki
More Related Content
What's hot
Img082
Img082
klorofila
プログラミングHaskell 13章 問題7
プログラミングHaskell 13章 問題7
Kiwamu Okabe
MessagePack - An efficient binary serialization format
MessagePack - An efficient binary serialization format
Larry Nung
Mathcad - modified secant method 2
Mathcad - modified secant method 2
สมต๋อง มข.
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)
Hiroki Mizuno
ARM 7 LPC 2148 lecture
ARM 7 LPC 2148 lecture
anishgoel
2008 june 10
2008 june 10
leroy walker
LLVM Workshop Osaka Umeda, Japan
LLVM Workshop Osaka Umeda, Japan
ujihisa
Presentation about arrays
Presentation about arrays
slave of Allah
QB_DCE_Anuj part 2
QB_DCE_Anuj part 2
Gaganjeet Singh
OOP in Rust
OOP in Rust
KENZ_gelsoft
Pratikum 2 urai wira s
Pratikum 2 urai wira s
Wirha Sykerz
Pratikum 1 hardiansyah
Pratikum 1 hardiansyah
Wirha Sykerz
FOSS4G Europe 2015: OL3-Cesium (3D for OpenLayers)
FOSS4G Europe 2015: OL3-Cesium (3D for OpenLayers)
Camptocamp
Introduction to rust
Introduction to rust
mysangle
All I know about rsc.io/c2go
All I know about rsc.io/c2go
Moriyoshi Koizumi
Exercise #22
Exercise #22
Kelly Scallion
Bab 2
Bab 2
Zinoa
Exercise #8 notes
Exercise #8 notes
Kelly Scallion
Python opcodes
Python opcodes
alexgolec
What's hot
(20)
Img082
Img082
プログラミングHaskell 13章 問題7
プログラミングHaskell 13章 問題7
MessagePack - An efficient binary serialization format
MessagePack - An efficient binary serialization format
Mathcad - modified secant method 2
Mathcad - modified secant method 2
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)
ARM 7 LPC 2148 lecture
ARM 7 LPC 2148 lecture
2008 june 10
2008 june 10
LLVM Workshop Osaka Umeda, Japan
LLVM Workshop Osaka Umeda, Japan
Presentation about arrays
Presentation about arrays
QB_DCE_Anuj part 2
QB_DCE_Anuj part 2
OOP in Rust
OOP in Rust
Pratikum 2 urai wira s
Pratikum 2 urai wira s
Pratikum 1 hardiansyah
Pratikum 1 hardiansyah
FOSS4G Europe 2015: OL3-Cesium (3D for OpenLayers)
FOSS4G Europe 2015: OL3-Cesium (3D for OpenLayers)
Introduction to rust
Introduction to rust
All I know about rsc.io/c2go
All I know about rsc.io/c2go
Exercise #22
Exercise #22
Bab 2
Bab 2
Exercise #8 notes
Exercise #8 notes
Python opcodes
Python opcodes
Viewers also liked
Brighton Hospital Presentation
Brighton Hospital Presentation
Knoll Larkin
No uml
No uml
yamadamasaki
2016 1003 GIGAPP Accion de innovacion HackINTEF
2016 1003 GIGAPP Accion de innovacion HackINTEF
Felix Serrano Delgado
Social Studies Review Final Benchmark Td
Social Studies Review Final Benchmark Td
Brice Cave
WSU Pharm 2008 Presentation
WSU Pharm 2008 Presentation
Knoll Larkin
Turning Point Presentation 5.18.07
Turning Point Presentation 5.18.07
Knoll Larkin
Teknopreneurship program
Teknopreneurship program
patuari
32 Ways a Digital Marketing Consultant Can Help Grow Your Business
32 Ways a Digital Marketing Consultant Can Help Grow Your Business
Barry Feldman
Viewers also liked
(8)
Brighton Hospital Presentation
Brighton Hospital Presentation
No uml
No uml
2016 1003 GIGAPP Accion de innovacion HackINTEF
2016 1003 GIGAPP Accion de innovacion HackINTEF
Social Studies Review Final Benchmark Td
Social Studies Review Final Benchmark Td
WSU Pharm 2008 Presentation
WSU Pharm 2008 Presentation
Turning Point Presentation 5.18.07
Turning Point Presentation 5.18.07
Teknopreneurship program
Teknopreneurship program
32 Ways a Digital Marketing Consultant Can Help Grow Your Business
32 Ways a Digital Marketing Consultant Can Help Grow Your Business
Similar to 110617 lt
Tugasmatematikakelompok 150715235527-lva1-app6892
Tugasmatematikakelompok 150715235527-lva1-app6892
drayertaurus
OSDC.fr 2012 :: Cascalog : progammation logique pour Hadoop
OSDC.fr 2012 :: Cascalog : progammation logique pour Hadoop
Publicis Sapient Engineering
Andrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshop
Andries Rusu
Tugas matematika kelompok
Tugas matematika kelompok
achmadtrybuana
Tugasmatematikakelompok
Tugasmatematikakelompok
gundul28
2. Definite Int. Theory Module-5.pdf
2. Definite Int. Theory Module-5.pdf
RajuSingh806014
ASFWS 2012 - Obfuscator, ou comment durcir un code source ou un binaire contr...
ASFWS 2012 - Obfuscator, ou comment durcir un code source ou un binaire contr...
Cyber Security Alliance
Deep generative model.pdf
Deep generative model.pdf
Hyungjoo Cho
Christian Gill ''Functional programming for the people''
Christian Gill ''Functional programming for the people''
OdessaJS Conf
Fast parallelizable scenario-based stochastic optimization
Fast parallelizable scenario-based stochastic optimization
Pantelis Sopasakis
functions limits and continuity
functions limits and continuity
Pume Ananda
lesson10-thechainrule034slides-091006133832-phpapp01.pptx
lesson10-thechainrule034slides-091006133832-phpapp01.pptx
JohnReyManzano2
Clojure night
Clojure night
Aria Haghighi
Ex algebra (5)
Ex algebra (5)
Andrei Bastos
Computer Aided Assessment (CAA) for mathematics
Computer Aided Assessment (CAA) for mathematics
telss09
Group theory notes
Group theory notes
mkumaresan
24 modelling
24 modelling
Hadley Wickham
Error control coding bch, reed-solomon etc..
Error control coding bch, reed-solomon etc..
Madhumita Tamhane
19 trig substitutions-x
19 trig substitutions-x
math266
MUMS Opening Workshop - An Overview of Reduced-Order Models and Emulators (ED...
MUMS Opening Workshop - An Overview of Reduced-Order Models and Emulators (ED...
The Statistical and Applied Mathematical Sciences Institute
Similar to 110617 lt
(20)
Tugasmatematikakelompok 150715235527-lva1-app6892
Tugasmatematikakelompok 150715235527-lva1-app6892
OSDC.fr 2012 :: Cascalog : progammation logique pour Hadoop
OSDC.fr 2012 :: Cascalog : progammation logique pour Hadoop
Andrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshop
Tugas matematika kelompok
Tugas matematika kelompok
Tugasmatematikakelompok
Tugasmatematikakelompok
2. Definite Int. Theory Module-5.pdf
2. Definite Int. Theory Module-5.pdf
ASFWS 2012 - Obfuscator, ou comment durcir un code source ou un binaire contr...
ASFWS 2012 - Obfuscator, ou comment durcir un code source ou un binaire contr...
Deep generative model.pdf
Deep generative model.pdf
Christian Gill ''Functional programming for the people''
Christian Gill ''Functional programming for the people''
Fast parallelizable scenario-based stochastic optimization
Fast parallelizable scenario-based stochastic optimization
functions limits and continuity
functions limits and continuity
lesson10-thechainrule034slides-091006133832-phpapp01.pptx
lesson10-thechainrule034slides-091006133832-phpapp01.pptx
Clojure night
Clojure night
Ex algebra (5)
Ex algebra (5)
Computer Aided Assessment (CAA) for mathematics
Computer Aided Assessment (CAA) for mathematics
Group theory notes
Group theory notes
24 modelling
24 modelling
Error control coding bch, reed-solomon etc..
Error control coding bch, reed-solomon etc..
19 trig substitutions-x
19 trig substitutions-x
MUMS Opening Workshop - An Overview of Reduced-Order Models and Emulators (ED...
MUMS Opening Workshop - An Overview of Reduced-Order Models and Emulators (ED...
Recently uploaded
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
The Digital Insurer
Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Victor Rentea
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
danishmna97
Elevate Developer Efficiency & build GenAI Application with Amazon Q
Elevate Developer Efficiency & build GenAI Application with Amazon Q
Bhuvaneswari Subramani
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
apidays
WSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering Developers
WSO2
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
?#DUbAI#??##{{(☎️+971_581248768%)**%*]'#abortion pills for sale in dubai@
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
Andrey Devyatkin
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Orbitshub
Architecting Cloud Native Applications
Architecting Cloud Native Applications
WSO2
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Safe Software
Platformless Horizons for Digital Adaptability
Platformless Horizons for Digital Adaptability
WSO2
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
Product Anonymous
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
Rustici Software
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
UiPathCommunity
presentation ICT roal in 21st century education
presentation ICT roal in 21st century education
jfdjdjcjdnsjd
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
Nanddeep Nachan
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Orbitshub
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
DianaGray10
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Juan lago vázquez
Recently uploaded
(20)
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
Elevate Developer Efficiency & build GenAI Application with Amazon Q
Elevate Developer Efficiency & build GenAI Application with Amazon Q
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
WSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering Developers
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Architecting Cloud Native Applications
Architecting Cloud Native Applications
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Platformless Horizons for Digital Adaptability
Platformless Horizons for Digital Adaptability
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
presentation ICT roal in 21st century education
presentation ICT roal in 21st century education
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
110617 lt
1.
MONAD ON GROOVY
== MANADOLOGIE masaki@metabolics.co.jp 2011.06.17 1
2.
monad?
Haskell monoid continuation ...... 2
3.
monad!
( ) Haskell Maybe Monad Groovy (2009/8/30, Gr ) 3
4.
example 1
2 S = {2x|x ∈ N, x > 3} (comprehension) x 3 ,2 *x 4
5.
groovy way def s(n)
{ ((0..n) .findAll { it**2 > 3 }) .collect { it*2 } } Groovy , 5
6.
example 2 import static
hr.helix.monadologie.MonadComprehension.foreach def s(n) { foreach { x = takeFrom { 0..n } guard { x**2 > 3 } yield { 2*x } } } 6
7.
example 3 def pythags(n)
{ foreach { z = takeFrom { 1..n } x = takeFrom { 1..z } y = takeFrom { x..z } guard { x**2 + y**2 == z**2 } yield { [x, y, z] } } } assert pythags(12) == [[3, 4, 5], [6, 8, 10]] 7
8.
monadologie https://github.com/dsrkoc/monadologie by
Dinko Srkoc 8
9.
what’s the point monadologie
? => Collection , 9
10.
interface Monad<M> {
M unit(Object a) M bind(Closure f) } 10
11.
List
(!) (List<X> X ) List<X> (X a) = { [a] } // List<Y> (List<X> m, f) = { m.inject([]) { r, e -> r + f(e) } } // // where f s.t. List<Y> f(X x) // f apply [] 11
12.
unit, bind bind(m, unit)
== m bind(unit(m), f) == f(m) // bind(bind(m, f), g) == bind(m, { bind(f(it), g) }) // 12
13.
Groovy
? => List (Collection) , ( ) ... 13
14.
Option -
(e.g. null) Maybe Groovy safe reference “?.” Either - Reader - Closure Writer - State - STM - memoize, , AST 14
15.
,
? ( ) ...:-) 15
16.
LT
16
Download now