Personal Information
Entreprise/Lieu de travail
Hiroshima-shi, Hiroshima, Japan Japan
Profession
Internship
À propos
C++とHaskellが大好きなアマチュアプログラマ。VCは敵かもしれないのでGCCと共同戦線を張る日々。
Mots-clés
db haskell persistent
能年玲奈
型 証明 proof
型 証明 proof coq
c++
monad haskell
coq
c++ template pimpl
c c++ tmp haskell brainfuck
c++ template tmp
Tout plus
Présentations
(13)J’aime
(6)C++でできる!OS自作入門
uchan_nos
•
il y a 10 ans
中3女子でもわかる constexpr
Genya Murakami
•
il y a 12 ans
中3女子が狂える本当に気持ちのいい constexpr
Genya Murakami
•
il y a 12 ans
Constexpr 中3女子テクニック
Genya Murakami
•
il y a 10 ans
すごい constexpr たのしくレイトレ!
Genya Murakami
•
il y a 10 ans
Template Meta Programming入門から応用まで
yoshihikoozaki5
•
il y a 10 ans
Personal Information
Entreprise/Lieu de travail
Hiroshima-shi, Hiroshima, Japan Japan
Profession
Internship
À propos
C++とHaskellが大好きなアマチュアプログラマ。VCは敵かもしれないのでGCCと共同戦線を張る日々。
Mots-clés
db haskell persistent
能年玲奈
型 証明 proof
型 証明 proof coq
c++
monad haskell
coq
c++ template pimpl
c c++ tmp haskell brainfuck
c++ template tmp
Tout plus