SlideShare a Scribd company logo
  • Upload
  • Home
  • Explore
  • Login
  • Signup
SlideShare a Scribd company logo
  • Home
  • Explore
  • Upload
  • Login
  • Signup

We've updated our privacy policy. Click here to review the details. Tap here to review the details.

×
×
×
×
×
×
真一 北原

真一 北原

40 Followers
13 SlideShares 0 Clipboards 40 Followers 28 Followings
  • Unblock User Block User
13 SlideShares 0 Clipboards 40 Followers 28 Followings

Personal Information
Organization / Workplace
Hiroshima-shi, Hiroshima, Japan Japan
Occupation
Internship
About
C++とHaskellが大好きなアマチュアプログラマ。VCは敵かもしれないのでGCCと共同戦線を張る日々。
Contact Details
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)
See all
C++勉強会in広島プレゼン資料
9 years ago • 6699 Views
第2回 mix c++勉強会@tokyo 資料
8 years ago • 1228 Views
能年玲奈ちゃんのファンとして本気を出してみた
8 years ago • 2111 Views
型安全Printf作ってみた
8 years ago • 916 Views
Lt駆動開発03 サイト運営してみた結果
8 years ago • 675 Views
Lt駆動開発03 コンパイル時fizz buzzやってみた
8 years ago • 742 Views
すごいCoq入門
8 years ago • 3012 Views
すごいMonad入門
8 years ago • 2174 Views
templateを依存型っぽく使ってみる
8 years ago • 849 Views
型!
8 years ago • 1121 Views
型! 型!
8 years ago • 2122 Views
能年玲奈ちゃん駆動開発
8 years ago • 1353 Views
Database.persistentの話
8 years ago • 1310 Views
Likes (6)
See all
C++でできる!OS自作入門
uchan_nos • 9 years ago
中3女子でもわかる constexpr
Genya Murakami • 11 years ago
中3女子が狂える本当に気持ちのいい constexpr
Genya Murakami • 10 years ago
Constexpr 中3女子テクニック
Genya Murakami • 9 years ago
すごい constexpr たのしくレイトレ!
Genya Murakami • 9 years ago
Template Meta Programming入門から応用まで
yoshihikoozaki5 • 9 years ago
  • Activity
  • About

Presentations (13)
See all
C++勉強会in広島プレゼン資料
9 years ago • 6699 Views
第2回 mix c++勉強会@tokyo 資料
8 years ago • 1228 Views
能年玲奈ちゃんのファンとして本気を出してみた
8 years ago • 2111 Views
型安全Printf作ってみた
8 years ago • 916 Views
Lt駆動開発03 サイト運営してみた結果
8 years ago • 675 Views
Lt駆動開発03 コンパイル時fizz buzzやってみた
8 years ago • 742 Views
すごいCoq入門
8 years ago • 3012 Views
すごいMonad入門
8 years ago • 2174 Views
templateを依存型っぽく使ってみる
8 years ago • 849 Views
型!
8 years ago • 1121 Views
型! 型!
8 years ago • 2122 Views
能年玲奈ちゃん駆動開発
8 years ago • 1353 Views
Database.persistentの話
8 years ago • 1310 Views
Likes (6)
See all
C++でできる!OS自作入門
uchan_nos • 9 years ago
中3女子でもわかる constexpr
Genya Murakami • 11 years ago
中3女子が狂える本当に気持ちのいい constexpr
Genya Murakami • 10 years ago
Constexpr 中3女子テクニック
Genya Murakami • 9 years ago
すごい constexpr たのしくレイトレ!
Genya Murakami • 9 years ago
Template Meta Programming入門から応用まで
yoshihikoozaki5 • 9 years ago
Personal Information
Organization / Workplace
Hiroshima-shi, Hiroshima, Japan Japan
Occupation
Internship
About
C++とHaskellが大好きなアマチュアプログラマ。VCは敵かもしれないのでGCCと共同戦線を張る日々。
Contact Details
Tags
db haskell persistent 能年玲奈 型 証明 proof 型 証明 proof coq c++ monad haskell coq c++ template pimpl c c++ tmp haskell brainfuck c++ template tmp
See more

Modal header

  • About
  • Support
  • Terms
  • Privacy
  • Copyright
  • Cookie Preferences
  • Do not sell or share my personal information
English
Current Language: English
Español
Português
Français
Deutsch

© 2023 SlideShare from Scribd

We've updated our privacy policy.

We’ve updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.

You can read the details below. By accepting, you agree to the updated privacy policy.

Thank you!

View updated privacy policy
We've encountered a problem, please try again.