Personal Information
Beruf
Graduate Student
Branche
Technology / Software / Internet
Webseite
htttp://konn-san.com
Info
I'm studying Math at University of Tsukuba.
My main interests are mathematical logic, set theory, computability theory and type theroy. I'd love to write programs in Haskell. This slideshare account provides slides mainly about Haskell, functional programming and formal methods.
Tags
haskell
development
math
mathematical logic
functional programming
mathematics
descriptive set theory
measure theory
computational algebra
web
yesod
programming
template haskell
combinator calculus
combinatory logic
computation
lambda calculus
computability theory
sk-calculus
recursion theory
event handlers
extensible effects
ppl2016
monad
monad transformers
ppl
algebraic effects
effect system
foundations
analysis
記述集合論
set theory
測度論
数理論理学
集合論
確率論
数学
epub
pandoc
電子書籍
technology
groebner basis
computer science
algebraic dynamic programming
algorithm
method
dynamic programming
dp
pfiseminar
techtalk
type
ghc
形式手法
alloy analyzer
formal methods
seminar
intern
pfi
generic programming
syb
functional
instant-generics
programming th haskell functional
mystery arts crime
Mehr anzeigen
Präsentationen
(19)Gefällt mir
(3)A new technique for proving non regularity based on the measure of a language
Ryoma Sin'ya
•
Vor 8 Jahren
EPUBのナビゲーションを理解しよう
Hiroshi Takase
•
Vor 11 Jahren
パターン認識と機械学習入門
Momoko Hayamizu
•
Vor 11 Jahren
Personal Information
Beruf
Graduate Student
Branche
Technology / Software / Internet
Webseite
htttp://konn-san.com
Info
I'm studying Math at University of Tsukuba.
My main interests are mathematical logic, set theory, computability theory and type theroy. I'd love to write programs in Haskell. This slideshare account provides slides mainly about Haskell, functional programming and formal methods.
Tags
haskell
development
math
mathematical logic
functional programming
mathematics
descriptive set theory
measure theory
computational algebra
web
yesod
programming
template haskell
combinator calculus
combinatory logic
computation
lambda calculus
computability theory
sk-calculus
recursion theory
event handlers
extensible effects
ppl2016
monad
monad transformers
ppl
algebraic effects
effect system
foundations
analysis
記述集合論
set theory
測度論
数理論理学
集合論
確率論
数学
epub
pandoc
電子書籍
technology
groebner basis
computer science
algebraic dynamic programming
algorithm
method
dynamic programming
dp
pfiseminar
techtalk
type
ghc
形式手法
alloy analyzer
formal methods
seminar
intern
pfi
generic programming
syb
functional
instant-generics
programming th haskell functional
mystery arts crime
Mehr anzeigen