Personal Information
Organization / Workplace
Hiroshima-shi, Hiroshima, Japan Japan
Occupation
Internship
About
C++とHaskellが大好きなアマチュアプログラマ。VCは敵かもしれないのでGCCと共同戦線を張る日々。
Tags
db haskell persistent
能年玲奈
型 証明 proof
型 証明 proof coq
c++
monad haskell
coq
c++ template pimpl
c c++ tmp haskell brainfuck
c++ template tmp
See more
Presentations
(13)Likes
(6)C++でできる!OS自作入門
uchan_nos
•
10 years ago
中3女子でもわかる constexpr
Genya Murakami
•
12 years ago
中3女子が狂える本当に気持ちのいい constexpr
Genya Murakami
•
12 years ago
Constexpr 中3女子テクニック
Genya Murakami
•
10 years ago
すごい constexpr たのしくレイトレ!
Genya Murakami
•
10 years ago
Template Meta Programming入門から応用まで
yoshihikoozaki5
•
10 years ago
Personal Information
Organization / Workplace
Hiroshima-shi, Hiroshima, Japan Japan
Occupation
Internship
About
C++とHaskellが大好きなアマチュアプログラマ。VCは敵かもしれないのでGCCと共同戦線を張る日々。
Tags
db haskell persistent
能年玲奈
型 証明 proof
型 証明 proof coq
c++
monad haskell
coq
c++ template pimpl
c c++ tmp haskell brainfuck
c++ template tmp
See more