Soumettre la recherche
Mettre en ligne
110617 lt
•
1 j'aime
•
315 vues
Y
yamadamasaki
Suivre
例によって時間が押してできなかったLightning Talksのネタを上げておきます. ま, 誰でも知っているようなつまらないネタですけど...
Lire moins
Lire la suite
Technologie
Divertissement et humour
Signaler
Partager
Signaler
Partager
1 sur 16
Télécharger maintenant
Télécharger pour lire hors ligne
Recommandé
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
တမန္ေတာ္ က်ဴးပါက်ဲ
Recommandé
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
Contenu connexe
Tendances
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
Tendances
(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
En vedette
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
En vedette
(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
Similaire à 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
Similaire à 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...
Dernier
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
Rustici Software
Apidays Singapore 2024 - Modernizing Securities Finance by Madhu Subbu
Apidays Singapore 2024 - Modernizing Securities Finance by Madhu Subbu
apidays
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
wesley chun
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
MadyBayot
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
sudhanshuwaghmare1
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Juan lago vázquez
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc
presentation ICT roal in 21st century education
presentation ICT roal in 21st century education
jfdjdjcjdnsjd
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Safe Software
Real Time Object Detection Using Open CV
Real Time Object Detection Using Open CV
Khem
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Miguel Araújo
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
Anna Loughnan Colquhoun
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
MIND CTI
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
Andrey Devyatkin
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Jeffrey Haguewood
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
Igalia
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Drew Madelung
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
sammart93
+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@
Dernier
(20)
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
Apidays Singapore 2024 - Modernizing Securities Finance by Madhu Subbu
Apidays Singapore 2024 - Modernizing Securities Finance by Madhu Subbu
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
presentation ICT roal in 21st century education
presentation ICT roal in 21st century education
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Real Time Object Detection Using Open CV
Real Time Object Detection Using Open CV
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
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
Télécharger maintenant