Personal Information
Occupation
Graduate Student
Industry
Technology / Software / Internet
Website
htttp://konn-san.com
About
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
See more
Presentations
(19)Likes
(3)A new technique for proving non regularity based on the measure of a language
Ryoma Sin'ya
•
8 years ago
EPUBのナビゲーションを理解しよう
Hiroshi Takase
•
11 years ago
パターン認識と機械学習入門
Momoko Hayamizu
•
11 years ago
Personal Information
Occupation
Graduate Student
Industry
Technology / Software / Internet
Website
htttp://konn-san.com
About
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
See more