Shin Saito

2 Followers

1 SlideShare 2 Followers

corda hyperledger fabric ethereum bitcoin mathematical model blockchain

Activity
About

チュートリアル: ブロックチェーンの計算モデル

6 years ago • 3258 Views

Pythonによる黒魔術入門

大樹小倉 • 8 years ago

オントロジー工学に基づくセマンティック技術(2)ナレッジグラフ入門

Kouji Kozaki • 4 years ago

エンタープライズブロックチェーン基盤のひとつとしてのHyperledger Fabricの強みと課題

Hyperleger Tokyo Meetup • 3 years ago

Pythonと型チェッカー

Tetsuya Morimoto • 5 years ago

An introduction to property based testing

Scott Wlaschin • 8 years ago

Istioサービスメッシュ入門

Yoichi Kawasaki • 5 years ago

ブースティング入門

Retrieva inc. • 6 years ago

Dependent Types in Natural Language Semantics

Daisuke BEKKI • 8 years ago

【EXE Whitepaper】IOTAまとめ資料

blockchainexe • 6 years ago

普通の人でもわかる Paxos

tyonekura • 7 years ago

Paxos

Preferred Networks • 11 years ago

ホモトピー型理論入門

k h • 7 years ago

GoogleのSHA-1のはなし

MITSUNARI Shigeo • 7 years ago

プロフェッショナルSSL/TLS 7章

MITSUNARI Shigeo • 6 years ago

RSA鍵生成脆弱性ROCAの紹介

MITSUNARI Shigeo • 6 years ago

暗号通貨読書会 #7: Bitcoin NG

丈宮本 • 7 years ago

Bitcoinを技術的に理解する

Kenji Urushima • 9 years ago

実践Go ツールの作成から配布まで

Yusuke Miyake • 9 years ago

SAT/SMTソルバの仕組み

Masahiro Sakai • 8 years ago

はじめてのCouch db

Eiji Kuroda • 11 years ago

Go入門

Takuya Ueda • 7 years ago

今更聞けないOAuth2.0

Takahiro Sato • 9 years ago

Gossip & Key Value Store

Sajeev P • 8 years ago

Fantastic DSL in Python

kwatch • 11 years ago

良いコードとは

Nobuyuki Matsui • 8 years ago

再帰的正規表現JSON Validator

takesako • 12 years ago

レベルを上げて物理で殴れ、Fuzzing入門 #pyfes

Tokoroten Nakayama • 12 years ago

よくわかるCoqプログラミング

Real_analysis • 12 years ago

20150529 ja sst15東北基調講演web公開用

Adachi Kenji • 8 years ago

Coq Tutorial

tmiya • 13 years ago