blockchain_CryptoSeminar
|
|
- まな やがい
- 5 years ago
- Views:
Transcription
1
2 n 1980 David Chaum l n 2008 Satoshi Nakamoto Bitcoin n n 2013 Bitcoin 2
3 n Crypto-Currency Market Capitalizations 3
4 (Bitcoin) n Satoshi Nakamoto (2008) n l n 4
5 n l l l (permissionless) DATA1 DATA2 DATA3 5
6 Bitcoin n l l l Bitcoin ID AàB: 50 BTC AàC: 50 BTC DàE: 30 BTC BàD: 30 BTC CàD: 30 BTC AàC: 10 BTC DàE: 40 BTC BàE: 20 BTC 6
7 n l Proof-of-Work n 7
8 Proof-of-Work (PoW) n [Dwork, Naor 1992] l l Bitcoin PoW (mining) l Find n s.t. H( h, m, n ) < D 8
9 [Nakamoto 2008] n [Pass, Seeman, shelat 2017] h -1, m 0, n 0, h 0 h 0, m 1, n 1, h 1 h 1, m 2, n 2, h 2 i = 1, 2,, h i = H( h i-1, m i, n i ) < D h -1 = H(0, 0, ) l H l (h, m), Pr n [ H( h, m, n ) < D ] = p 9
10 n l n Bitcoin 6 DATA1 DATA1 DATA1 DATA1 DATA1 10
11 n PoW 10 1 D l 2016 n PoW l n PoW l 11
12 n l l l 12
13 n 融系 決済 (SETL FactoryBanking) 為替 送 貯蓄等 (Ripple Stellar) 証券取引 (Overstock Symbiont BitShares Mirror Hedgy) bitcoin 取引 (itbit Coinffeine) ソーシャルバンキング (ROSCA) 移 向け送 (Toast) 新興国向け送 (Bitpesa) イスラム向け送 / シャリア遵法 (Abra Blossoms) ポイント / リワード ギフトカード交換 (GyftBlock) アーティスト向けリワード (PopChest) プリペイドカード (BuyAnyCoin) リワードトークン (Ribbit Rewards) 資 調達 アーティストエクイティ取引 (PeerTracks) クラウドファンディング (Swarm) コミュニケーション SNS (Synereo Reveal) メッセンジャー 取引 (Getgems Sendchat) 資産管理 bitcoin による資産管理 (Uphold( 旧 Bitreserve) 地登記等の公証 (Factom) ストレージ データの保管 (Stroj BigchainDB) 認証 デジタル ID (ShoCard OneName) アート作品所有権 / 真贋証明 (Ascribe/VeriSart) 薬品の真贋証明 (Block Verify) シェアリング ライドシェアリング (LaʼZooZ) 商流管理 サプライチェーン (Skuchain) トラッキング管理 (Provenance) マーケットプレイス (OpenBazaar) 保管 (Bitgold) ダイヤモンドの所有権 (Everledger) デジタルアセット管理 移転 (Colu) コンテンツ ストリーミング (Streamium) ゲーム (Spells of Genesis Voxelnauts) 将来予測 未来予測 市場予測 (Augur) 公共 市政予算の可視化 (Mayors Chain) 投票 (Neutral Voting Bloc) バーチャル国家 / 宇宙開発 (BitNation/Spacechain) ベーシックインカム (GroupCurrency) 医療 医療情報 (BitHealth) IoT IoT (Adept Filament) マイニング電球 (BitFury) マイニングチップ (21 Inc,) ( ) 7
14 27 14 ( )
15 Hyperledger n Linux Foundation l IBM, Intel, Fujitsu, Hitachi, NTT Data, NEC n l Fabric (IBM), Swatooth Lake (Intel), Iroha ( ) n l Byzantine fault-tolerant n 15
16 (1/3) n 51% l l n n l Proof of Useful Work l Proof of Stake, Proof of Space 16
17 (2/3) n l l n l n l l Zerocoin, Zerocash 17
18 (3/3) n l l l n l 800 l 18
19
20 n Nakamoto l Garay, Kiayias, Leonardos (Eurocrypt 2015) l Pass, Seeman, shelat (Eurocrypt 2017) l Bentov, Pass, Shi (eprint 2016) n l Pass, Shi (eprint 2016) n l (responsivness) : Pass, Shi (eprint 2016) l (fairness) : Pass, Shi (PODC 2017) n l Schrijvers, Bonneau, Boneh, Roughgarden (FC 16) 20
21 Garay, Kiayias, Leonardos (Eurocrypt 2015) n The Bitcoin Backbone Protocol: Analysis and Applications n l (1) common prefix (2) chain quality l (1) persistency (2) liveness n Nakamoto l ρ < 1/2 l 21
22 Pass, Seeman, shelat (Eurocrypt 2017) n Analysis of Blockchain Protocol in Asynchronous Networks n Nakamoto l n Nakamoto l ρ n l (1) consistency (2) chain quality (3) chain growth l (1),(2),(3) 22
23 Bentov, Pass, Shi (eprint 2016) n The Sleepy Model of Concensus n offline l offline = n Sleepy l = state machine replication l l l l online permissioned weakly-synchronized clock, PKI, CRS (common reference string), CRH (collision-resistant hash) l Nakamoto PoW 23
24 n Pass, Shi (eprint 2016) l Proof-of-Work n l (consistency) l (liveness) n l Z A l l Proof-of-Work l A (delayed corruption) 24
25 [PS16] Z n Z l ρ n n i l 1 l LOG i LOG i i 25
26 [PS16] Z n Z n A A n A l l id Δ 26
27 n (consistency) l (common prefix) i j t, t LOG, LOG à LOG LOG LOG LOG LOG tx1 tx2 LOG tx 1 tx 2 tx 3 LOG tx 1 tx 2 LOG tx1 tx2 tx3 l (self-consistency) i t, t (t < t ) LOG, LOG à LOG LOG t LOG tx1 tx2 t LOG tx1 tx2 tx3 27
28 n (liveness) t T warmup tx à t t + T confirm tx LOG i tx j LOG tx1 tx2 LOG tx1 tx2 tx 28
29 n ρ > 1/2 l [,,, (2017)] n l [Pass, Shi (2016)] n ρ > 1/3 l (responsive) T confirm l [Pass, Shi (2016)] 29
30 > 1/2 tx A Z Z tx Z tx A tx 30
31 > 1/2 i tx A Z Z tx tx LOG tx LOG 31
32 > 1/2 n l n/2 tx l n/2 tx l l l l tx/tx l l 1/2 tx 32
33 i tx Z Z tx A tx LOG tx LOG tx A 33
34 n l tx l l A tx l l l A l tx/tx à 1/2 34
35 > 1/3 n (responsive) ó T confirm Δ δ n l n/3 A, B, C l l A corrupt, B, C honest 1/3- à l A B C l PoW A B, C l B-C l A-B tx, A-C tx à 35
36 Pass, Shi (eprint 2016) n Hybrid consensus: Efficient Consensus in the Permissionless Model n (responsivness) n ρ < 1/3 l byzantine fault tolerance (BFT) l BFT l Nakamoto 3/4-honest Fruitchain [PS2017] 2/3-honest n 36
37 (selfish-mining) n Nakamoto l à l à n l ρ T ρt (1 ρ)t ρ/(1 ρ) l ρ 1/2 à 37
38 Pass, Shi (PODC 2017) n Fruitchains: A Fair Blockchain n l β à β l n n n/2- l n l 38
39 Fruitchain n (à ) n Nakamoto l 2-for-1 trick [GKL15] l à 39
40 n l 25 BTC = 6,000 USD, l l n l n l 40
41 Schrijvers, Bonneau, Boneh, Roughgarden (FC 16) n Incentive Compatibility of Bitcoin Mining Pool Reward Functions n l l l (Incentive Compatibility) l,, pay-per-last-n-shares (PPLNS) 41
42 n n 5 n i α 3, 367 α 3 = 1 n = α 3 l 1/α 3 l 1/D
43 n R: H [0,1] 5 l a , 367 a 3 = 1 n b = (b 7,, b 5 ) Ν 5 l i b 3 l n σ l R σ(r) l σ R = max M l lim P Q V UWX R S (T U ) P t : i, T : t, b Z : j
44 n R ó σ R l n R ó i E T R 3 b = α 3 l f n R γ, δ - 5 ó b, γ 367 R 3 b δ l γ < 1
45 n d n t i b P l d (1) E T b.p. T X 6d R 3 b P + b = f Pr [b]r 3 b P + b T b.p. T X 6d l (2) d R 3 b P + d E T R 3 b = R 3 b P + d E T b D E T R 3 b 7 l (1) (2) R
46 n (proportional) R 3 klmk b = T S T X l n (pay-per-share) R 3 kkb b = T S n l 1/D, -
47 n n R 3 3p b, s = T S rst T X,n + I i = s 1 T X rst T X,n l l b 7 D 2 0 b 7 < D T S n l 1,1 - l 63% ( 1 e -1 ) l ß
48 n N (pay-per-last-n-shares) n R 3 kkx5b s = # b U b U b b U 63 } l l α 3 < 1 n } l N D
49 n n n n l Carlsten, Kalodner, Weinberg, Narayanan, On the Instability of Bitcoin Without the Block Reward (CCS 2016) Proof of Stake l Daian, Pass, Shi, Snow white: Provably secure proofs of stake (eprint 2016) l Kiayias, Russell, David, Oliynykov, Ouroboros: A provably secure proof-ofstake blockchain protocol (Crypto 2017) Proof of Work l Garay, Kiayias, Leonardos, The Bitcoin Backbone Protocol with Chains of Variable Difficulty (Crypto 2017) l Badertscher, Maurer, Tschudi, Zikas, Bitcoin as a Transaction Ledger: A Composable Treatment (Crypto 2017) n Proof of Useful Work l Ball, Rosen, Sabin, Vasudevan, Proofs of Useful Work (epring 2017) l Ball, Rosen, Sabin, Vasudevan, Average-Case Fine-Grained Hardness (STOC 2017) 49
50 Carlsten, Kalodner, Weinberg, Narayanan (CCS 2016) n On the Instability of Bitcoin Without the Block Reward n l l = n l 100 BTC 5 BTC (1) 5 BTC 0 BTC (2) 105 BTC 55 BTC 50 BTC l l 50
Microsoft PowerPoint - 02-ブロックチェーン報告書概要.pptx
平 成 27 年 度 我 が 国 経 済 社 会 の 情 報 化 サービス 化 に 係 る 基 盤 整 備 (ブロックチェーン 技 術 を 利 したサービスに 関 する 国 内 外 動 向 調 査 ) 報 告 書 概 要 資 料 平 成 28 年 4 28 商 務 情 報 政 策 局 情 報 経 済 課 1 本 調 査 の 趣 旨 背 景 ビットコイン 等 の 価 値 記 録 の 取 引 に 使 されているブロックチェーン
More information本日の構成 平成 27 年度我が国経済社会の情報化 サービス化に係る基盤整備 ブロックチェーン技術を利用したサービスに関する国内外動向調査 についてのご紹介 Blockchain に関する私見 Blockchainを巡る動向調査後の動きについて Bitcoinへの幻想とBlockchainに対する過
資料 3 Blockchain に関する最近の動向 2016 年 6 月 3 日 楠正憲 1 本日の構成 平成 27 年度我が国経済社会の情報化 サービス化に係る基盤整備 ブロックチェーン技術を利用したサービスに関する国内外動向調査 についてのご紹介 Blockchain に関する私見 Blockchainを巡る動向調査後の動きについて Bitcoinへの幻想とBlockchainに対する過剰な期待
More information本 日 の 議 論 第 一 回 で 提 示 した 論 点 の 概 要 論 点 1 自 律 分 散 協 調 戦 略 のアーキテクチャー 論 点 2 我 が 国 企 業 産 業 にとっての 戦 略 への 落 とし 込 み 論 点 3 先 を 見 据 えた 技 術 戦 略 論 点 4ブロックチェーンの 利
参 考 資 料 1 産 業 構 造 審 議 会 情 報 経 済 小 委 員 会 分 散 戦 略 WG( 第 4 回 ) 事 務 局 資 料 ブロックチェーン 分 散 型 台 帳 シェアリングエコノミー を 活 用 した 新 たな 産 業 社 会 に 向 けて 平 成 28 年 6 月 3 日 経 済 産 業 省 商 務 情 報 政 策 局 1 本 日 の 議 論 第 一 回 で 提 示 した 論 点
More information本日の議論 第一回で提示した論点の概要 論点 1 自律分散協調戦略のアーキテクチャー論点 2 我が国企業 産業にとっての戦略への落とし込み論点 3 先を見据えた技術戦略論点 4ブロックチェーンの利活用論点 5オープンなデータ流通構造に向けた環境整備論点 6 分散化時代のセキュリティ 人材育成論点 7
資料 2 産業構造審議会情報経済小委員会分散戦略 WG( 第 4 回 ) 事務局資料 ブロックチェーン 分散型台帳 シェアリングエコノミーを活用した新たな産業社会に向けて 平成 28 年 6 月 3 日経済産業省商務情報政策局 1 本日の議論 第一回で提示した論点の概要 論点 1 自律分散協調戦略のアーキテクチャー論点 2 我が国企業 産業にとっての戦略への落とし込み論点 3 先を見据えた技術戦略論点
More informationブロックチェーン技術入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行当時のものです.
ブロックチェーン技術入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/087171 このサンプルページの内容は, 初版 1 刷発行当時のものです. i 2015 12 1 2008 The Cryptography Mailing List 2 Mastering Bitcoin 3 1
More information今 回 の 位 置 づけ 過 去 3 回 (+ 臨 時 1 回 )にわたり ブロックチェーン 応 用 事 例 トピックを 整 理 2014 年 10 月 2014 年 7 月 ~9 月 の 動 きを 整 理 wp-content/uplo
BLOCKCHAIN2.0 概 況 0 2015.08.14 by SATO Bitcoin2.0 概 況 から 改 題 今 回 の 位 置 づけ 過 去 3 回 (+ 臨 時 1 回 )にわたり ブロックチェーン 応 用 事 例 トピックを 整 理 2014 年 10 月 2014 年 7 月 ~9 月 の 動 きを 整 理 http://www.digitalmoney.or.jp/ wp-content/uploads/2014/10/20141003_btc2.0.pdf
More informationスライド 1
BLOCKCHAIN2.0 概況 0 2015.08.14 by SATO Bitcoin2.0 概況 から改題 今回の位置づけ 過去3回 臨時1回 にわたり ブロックチェーン応用事例トピックを整理 2014年10月 2014年7月 9月の動きを整理 http://www.digitalmoney.or.jp/ wp-content/uploads/2014/10/20141003_btc2.0.pdf
More informationTABLE OF CONTENTS 今 回 は 2015 年 12 月 ~2016 年 3 月 の 動 きを 中 心 に 整 理 1. 金 融 機 関 の 動 き 2. 金 融 系 スタートアップの 動 き 3. サプライチェーン 分 野 4. IoT 分 野 5. ライフスタイル 分 野 6. シ
BLOCKCHAIN2.0 概 況 0 2016.4 by SATO Bitcoin2.0 概 況 から 改 題 TABLE OF CONTENTS 今 回 は 2015 年 12 月 ~2016 年 3 月 の 動 きを 中 心 に 整 理 1. 金 融 機 関 の 動 き 2. 金 融 系 スタートアップの 動 き 3. サプライチェーン 分 野 4. IoT 分 野 5. ライフスタイル 分
More information2. Activity-Based Micro-Pricing 2.1 Activity-Based Micro-Pricing Activity-Based Micro-Pricing Activity- Based Micro-Pricing Activity-Based Micro-Prici
マルチメディア, 分散, 協調とモバイル (DICOMO2016) シンポジウム 平成 28 年 7 月 Blockchain-LI: Activity-Based Micro-Pricing 1 1 Activity-Based Micro-Pricing / Bitcoin Blockchain-LI Activity-Based Micro-Pricing Blockchian-LI Blockchain-LI:
More information[I486S] 暗号プロトコル理論
[I486S] 2018 5 1 (JAIST) 2018 5 1 1 / 22 : I486S I URL:https://wwwjaistacjp/~fujisaki/i486S (Tuesdays) 5 17:10 18:50 4/17, 4/24, 5/1, 5/15, 5/22, 5/29, 6/5, 6/19, 6/26, 7/3, 7/10, 7/17, 7/24, 7/31 (JAIST)
More informationOur Vision moldcoin
MOLD Whitepaper The Decentralized Game Platform for The Next Generation MOLD Team May 1st 2018 Edition 1.0 MOLD MOLD chain MOLD MOLD P2P 1 1 4 1.1 Our Vision........................................ 4 1.2..........................
More informationAbstract Bitcoin P2P (Pear To Pear)
Bitcoin 2014 4 19 IS Report No. 2014041902 Report Medical Information System Labratry Abstract Bitcoin P2P (Pear To Pear) 1............................ 2 2 Bitcoin.......................... 3 3 Bitcoin........................
More informationTangle iota Tangle Tangle DAG Tangle Tangle 2 2 A B A B 2 A X B A B 2 Tangle Tangle Tangle Tangle 3 4 k 2 k
The Tangle Serguei Popov October, 207. Version.3 IOTA IoT Tangle DAG Tangle M2M MCMC Tangle 6 Bitcoin IoT 2 Bitcoin IoT iota[] a.k.a. mthcl; author s contact information: e.monetki@gmail.com Tangle iota
More informationTangle iota Tangle Tangle DAG Tangle Tangle 2 2 A B A B 2 A X B A B 2 Tangle Tangle Tangle Tangle 3 4 k 2 k
The Tangle Serguei Popov November 27, 207. Version.4. IOTA IoT Tangle DAG Tangle M2M MCMC Tangle 6 Bitcoin IoT 2 Bitcoin IoT iota[] a.k.a. mthcl; author s contact information: e.monetki@gmail.com Tangle
More information24 201170068 1 4 2 6 2.1....................... 6 2.1.1................... 6 2.1.2................... 7 2.1.3................... 8 2.2..................... 8 2.3................. 9 2.3.1........... 12
More informationO1-1 O1-2 O1-3 O1-4 O1-5 O1-6
O1-1 O1-2 O1-3 O1-4 O1-5 O1-6 O1-7 O1-8 O1-9 O1-10 O1-11 O1-12 O1-13 O1-14 O1-15 O1-16 O1-17 O1-18 O1-19 O1-20 O1-21 O1-22 O1-23 O1-24 O1-25 O1-26 O1-27 O1-28 O1-29 O1-30 O1-31 O1-32 O1-33 O1-34 O1-35
More information1 911 9001030 9:00 A B C D E F G H I J K L M 1A0900 1B0900 1C0900 1D0900 1E0900 1F0900 1G0900 1H0900 1I0900 1J0900 1K0900 1L0900 1M0900 9:15 1A0915 1B0915 1C0915 1D0915 1E0915 1F0915 1G0915 1H0915 1I0915
More informationy = x x R = 0. 9, R = σ $ = y x w = x y x x w = x y α ε = + β + x x x y α ε = + β + γ x + x x x x' = / x y' = y/ x y' =
y x = α + β + ε =,, ε V( ε) = E( ε ) = σ α $ $ β w ( 0) σ = w σ σ y α x ε = + β + w w w w ε / w ( w y x α β ) = α$ $ W = yw βwxw $β = W ( W) ( W)( W) w x x w x x y y = = x W y W x y x y xw = y W = w w
More informationビットコイン・ブロックチェーンの資金貸借市場への応用可能性
ビットコイン ブロックチェーンの 資 貸借市場への応 可能性 PoC experiment for a lending market on Bitcoin Blockchain 2017 年 2 28 第 3 回 FinTech フォーラム 東京短資株式会社仲宗根豊 株式会社ハウインターナショナル取締役 CTO 橋剛 1 Background info.who? Founded 1909 Interbank
More information1 1.1 Excel Excel Excel log 1, log 2, log 3,, log 10 e = ln 10 log cm 1mm 1 10 =0.1mm = f(x) f(x) = n
1 1.1 Excel Excel Excel log 1, log, log,, log e.7188188 ln log 1. 5cm 1mm 1 0.1mm 0.1 4 4 1 4.1 fx) fx) n0 f n) 0) x n n! n + 1 R n+1 x) fx) f0) + f 0) 1! x + f 0)! x + + f n) 0) x n + R n+1 x) n! 1 .
More informationHyperledger Projectのセキュリティと方向性
Hyperledger Project のセキュリティと 向性 平成 28 年 8 23 本アイ ビー エム株式会社グローバル ビジネス サービス事業アソシエイトパートナー 隆 ブロックチェーンのセキュリティインシデント ハッキング等により相応の仮想通貨資産が流出 情報セキュリティの 3 要素 関連インシデント 機密性 許可されていない個 エンティティ はプロセスに対して 情報を使 させず また開
More informationMathematical Logic I 12 Contents I Zorn
Mathematical Logic I 12 Contents I 2 1 3 1.1............................. 3 1.2.......................... 5 1.3 Zorn.................. 5 2 6 2.1.............................. 6 2.2..............................
More information1.0% 53.7% 45.3% 70 20.4% 0.9% 20 9.9% 30 15.9% 60 20.0% 40 19.2% 50 13.7% 21.0% 1.1% 3.0% 5.2% 16.1% 35.3% 0.9% 17.3% 10.6% 13.3% 1.2% 4.8% 20.3% 49.8% 1.2% 12.6% 9.6% 13.4% 28.8% 14.5% 19.8% 1.0% 1 2.7%
More information‚åŁÎ“·„´Šš‡ðŠp‡¢‡½‹âfi`fiI…A…‰…S…−…Y…•‡ÌMarkovŸA“½fiI›ð’Í
Markov 2009 10 2 Markov 2009 10 2 1 / 25 1 (GA) 2 GA 3 4 Markov 2009 10 2 2 / 25 (GA) (GA) L ( 1) I := {0, 1} L f : I (0, ) M( 2) S := I M GA (GA) f (i) i I Markov 2009 10 2 3 / 25 (GA) ρ(i, j), i, j I
More information09 II 09/12/ (3D ) f(, y) = 2 + y 2 3D- 1 f(0, 0) = 2 f(1, 0) = 3 f(0, 1) = 4 f(1, 1) = 5 f( 1, 2) = 6 f(0, 1) = z y (3D ) f(, y) = 2 + y
09 II 09/12/21 1 1 7 1.1 I 2D II 3D f() = 3 6 2 + 9 2 f(, y) = 2 2 + 2y + y 2 6 4y f(1) = 1 3 6 1 2 9 1 2 = 2 y = f() f(3, 2) = 2 3 2 + 2 3 2 + 2 2 6 3 4 2 = 8 z = f(, y) y 2 1 z 8 3 2 y 1 ( y ) 1 (0,
More informationTOP URL 1
TOP URL http://amonphys.web.fc.com/ 3.............................. 3.............................. 4.3 4................... 5.4........................ 6.5........................ 8.6...........................7
More informationIII ϵ-n ϵ-n lim n a n = α n a n α 1 lim a n = 0 1 n a k n n k= ϵ-n 1.1
III http://www2.mth.kyushu-u.c.jp/~hr/lectures/lectures-j.html 1 1 1.1 ϵ-n ϵ-n lim n = α n n α 1 lim n = 0 1 n k n k=1 0 1.1.7 ϵ-n 1.1.1 n α n n α lim n = α ϵ Nϵ n > Nϵ n α < ϵ 1.1.1 ϵ n > Nϵ n α < ϵ 1.1.2
More information<4D6963726F736F667420576F7264202D2030332D8375838D8362834E83608346815B839395F18D908F912E646F6378>
平 成 27 年 度 我 が 国 経 済 社 会 の 情 報 化 サービス 化 に 係 る 基 盤 整 備 (ブロックチェーン 技 術 を 利 用 したサービスに 関 する 国 内 外 動 向 調 査 ) 報 告 書 平 成 28 年 3 月 株 式 会 社 野 村 総 合 研 究 所 目 次 1 本 調 査 の 背 景 と 目 的... 1 2 本 報 告 書 で 用 いる 用 語 と 略 語...
More information: , 2.0, 3.0, 2.0, (%) ( 2.
2017 1 2 1.1...................................... 2 1.2......................................... 4 1.3........................................... 10 1.4................................. 14 1.5..........................................
More information1 1.1 ( ). z = a + bi, a, b R 0 a, b 0 a 2 + b 2 0 z = a + bi = ( ) a 2 + b 2 a a 2 + b + b 2 a 2 + b i 2 r = a 2 + b 2 θ cos θ = a a 2 + b 2, sin θ =
1 1.1 ( ). z = + bi,, b R 0, b 0 2 + b 2 0 z = + bi = ( ) 2 + b 2 2 + b + b 2 2 + b i 2 r = 2 + b 2 θ cos θ = 2 + b 2, sin θ = b 2 + b 2 2π z = r(cos θ + i sin θ) 1.2 (, ). 1. < 2. > 3. ±,, 1.3 ( ). A
More informationJKR Point loading of an elastic half-space 2 3 Pressure applied to a circular region Boussinesq, n =
JKR 17 9 15 1 Point loading of an elastic half-space Pressure applied to a circular region 4.1 Boussinesq, n = 1.............................. 4. Hertz, n = 1.................................. 6 4 Hertz
More information基礎数学I
I & II ii ii........... 22................. 25 12............... 28.................. 28.................... 31............. 32.................. 34 3 1 9.................... 1....................... 1............
More informationUS US US a b SL Suica JR Edy nanacoi HD waon L&G SL RMT https : //secondlife. com/?lang=ja-jp accessed 168
Economic Bulletin of Senshu University Vol. 52, No. 3, 167-182, 2018 JEL AEFFGG 167 US US US a b SL Suica JR Edy nanacoi HD waon L&G SL RMT https : //secondlife. com/?lang=ja-jp accessed 168 SL US SL P
More informationPart () () Γ Part ,
Contents a 6 6 6 6 6 6 6 7 7. 8.. 8.. 8.3. 8 Part. 9. 9.. 9.. 3. 3.. 3.. 3 4. 5 4.. 5 4.. 9 4.3. 3 Part. 6 5. () 6 5.. () 7 5.. 9 5.3. Γ 3 6. 3 6.. 3 6.. 3 6.3. 33 Part 3. 34 7. 34 7.. 34 7.. 34 8. 35
More information04.™ƒ”R/’Ô”�/’Xfl©
Digicashecash PC IC AI LicenseCoin License Pk A L Pk A W Rc C Coin License Okamoto and Ohta Okamoto and Ohta IC Digicashecash TTP Trusted Third Party TTP TTP TTP TTP: Trusted Third Party TTPTTP TTP TTP
More information証券ポストトレードへのブロックチェーン技術検証と今後の課題
2017 年 2 月 28 日 株式会社みずほ銀行富士通株式会社 0 本プレゼンテーションには 出願中の特許 (2 件 ) の内容が含まれております 目次 1. これまでの取組み 証券ポストトレードでのフェイルを低減 証券ポストトレードの実証実験の流れ 2. 今回の取組み Bitcoin と Hyperledger Fabric の違い アプリケーション開発における課題 参加者管理 認証局における課題
More informationcryptotopcoin slide 1-15
CRYPTO TOP COIN CRYPTOCURRENCY Cryptocurrency Cryptocurrency Cryptocurrency Cryptocurrency CRYPTOCURRENCY CRYPTOCURRENCY CRYPTOCURRENCY BITCOIN (BTC) QASH CRYPTOCURRENCY SHA-256 algorithm (Bitcoin and
More information研修コーナー
l l l l l l l l l l l α α β l µ l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l
More informationブロックチェーン適用が向いている業務エリア 複数の事業者間で情報を共有するニーズがあるか? ブロックチェーンは共有台帳 複数の事業者間で情報を共有することで 耐改ざん性を提供可能となる 共有された情報が 改ざんされていない ( 信頼できる ) ことを第三者に証明することに価値はあるか? ブロックチェ
ブロックチェーンの利点と不向きなこと : システム目線 ブロックチェーンの利点 ブロックチェーンに不向きなこと 1 分散台帳 処理により中央機関を必要としないことで 低コストにシステムが構築 運用できることが期待される 1 分散台帳をコンセンサスをとりながら更新していくため パフォーマンス ( 高 TPS 高レスポンス ) は出にくい 2 一部のノードが停止していても処理が継続できるため 1 台あたりは低コストで信頼性が低い基盤でも構築できる
More information医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 第 2 版 1 刷発行時のものです.
医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/009192 このサンプルページの内容は, 第 2 版 1 刷発行時のものです. i 2 t 1. 2. 3 2 3. 6 4. 7 5. n 2 ν 6. 2 7. 2003 ii 2 2013 10 iii 1987
More information1 1. データ 駆 動 型 社 会 の 到 来 2. 第 4 次 産 業 革 命 への 対 応 3. 先 進 的 IoT 産 業 モデルの 創 出 4. 自 律 分 散 協 調 型 のIoT 戦 略 - 自 律 分 散 協 調 を 巡 る 現 状 と 課 題 - 分 散 化 の 進 展 - 基 本
IoT AI ビッグデータに 関 する 経 済 産 業 省 の 取 組 について 2016 年 5 月 24 日 経 済 産 業 省 1 1. データ 駆 動 型 社 会 の 到 来 2. 第 4 次 産 業 革 命 への 対 応 3. 先 進 的 IoT 産 業 モデルの 創 出 4. 自 律 分 散 協 調 型 のIoT 戦 略 - 自 律 分 散 協 調 を 巡 る 現 状 と 課 題 - 分
More informationohpmain.dvi
fujisawa@ism.ac.jp 1 Contents 1. 2. 3. 4. γ- 2 1. 3 10 5.6, 5.7, 5.4, 5.5, 5.8, 5.5, 5.3, 5.6, 5.4, 5.2. 5.5 5.6 +5.7 +5.4 +5.5 +5.8 +5.5 +5.3 +5.6 +5.4 +5.2 =5.5. 10 outlier 5 5.6, 5.7, 5.4, 5.5, 5.8,
More information19 σ = P/A o σ B Maximum tensile strength σ % 0.2% proof stress σ EL Elastic limit Work hardening coefficient failure necking σ PL Proportional
19 σ = P/A o σ B Maximum tensile strength σ 0. 0.% 0.% proof stress σ EL Elastic limit Work hardening coefficient failure necking σ PL Proportional limit ε p = 0.% ε e = σ 0. /E plastic strain ε = ε e
More informationIBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタン
IBM Zero to One IBM IBM IBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタント ブロックチェーンコンサルタント 戦略コンサルタント
More information_0212_68<5A66><4EBA><79D1>_<6821><4E86><FF08><30C8><30F3><30DC><306A><3057><FF09>.pdf
More information
n 2 + π2 6 x [10 n x] x = lim n 10 n n 10 k x 1.1. a 1, a 2,, a n, (a n ) n=1 {a n } n=1 1.2 ( ). {a n } n=1 Q ε > 0 N N m, n N a m
1 1 1 + 1 4 + + 1 n 2 + π2 6 x [10 n x] x = lim n 10 n n 10 k x 1.1. a 1, a 2,, a n, (a n ) n=1 {a n } n=1 1.2 ( ). {a n } n=1 Q ε > 0 N N m, n N a m a n < ε 1 1. ε = 10 1 N m, n N a m a n < ε = 10 1 N
More informationChapter9 9 LDPC sum-product LDPC 9.1 ( ) 9.2 c 1, c 2, {0, 1, } SUM, PROD : {0, 1, } {0, 1, } SUM(c 1, c 2,, c n ) := { c1 + + c n (c n0 (1 n
9 LDPC sum-product 9.1 9.2 LDPC 9.1 ( ) 9.2 c 1, c 2, {0, 1, } SUM, PROD : {0, 1, } {0, 1, } SUM(c 1, c 2,, c n ) := { c1 + + c n (c n0 (1 n 0 n)) ( ) 0 (N(0 c) > N(1 c)) PROD(c 1, c 2,, c n ) := 1 (N(0
More information分散台帳技術におけるインテグリティとプライバシー保護に関する考察
BCIC Blockchain Innovation Center IBM Research - Tokyo 分散台帳技術におけるインテグリティとプライバシー保護に関する考察 2018 年 2 7 本アイ ビー エム株式会社吉濱佐知 東京基礎研究所 Sachiko Yoshihama IBM Research Tokyo 本資料の内容は個 の 解であり 所属企業の 解を代表するものではありません 分散台帳技術にまつわる疑問
More information20 9 19 1 3 11 1 3 111 3 112 1 4 12 6 121 6 122 7 13 7 131 8 132 10 133 10 134 12 14 13 141 13 142 13 143 15 144 16 145 17 15 19 151 1 19 152 20 2 21 21 21 211 21 212 1 23 213 1 23 214 25 215 31 22 33
More information微分積分 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
微分積分 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. ttp://www.morikita.co.jp/books/mid/00571 このサンプルページの内容は, 初版 1 刷発行時のものです. i ii 014 10 iii [note] 1 3 iv 4 5 3 6 4 x 0 sin x x 1 5 6 z = f(x, y) 1 y = f(x)
More informationDiscussion Paper #
Title 年金制度と生活保護制度 Author(s) 山重, 慎二 ; 高畑, 純一郎 Citation Issue 2009-06 Date Type Technical Report Text Version publisher URL http://hdl.handle.net/10086/17428 Right Hitotsubashi University Repository Discussion
More informationzsj2017 (Toyama) program.pdf
88 th Annual Meeting of the Zoological Society of Japan Abstracts 88 th Annual Meeting of the Zoological Society of Japan Abstracts 88 th Annual Meeting of the Zoological Society of Japan Abstracts 88
More information88 th Annual Meeting of the Zoological Society of Japan Abstracts 88 th Annual Meeting of the Zoological Society of Japan Abstracts 88 th Annual Meeting of the Zoological Society of Japan Abstracts 88
More information_170825_<52D5><7269><5B66><4F1A>_<6821><4E86><5F8C><4FEE><6B63>_<518A><5B50><4F53><FF08><5168><9801><FF09>.pdf
88 th Annual Meeting of the Zoological Society of Japan Abstracts 88 th Annual Meeting of the Zoological Society of Japan Abstracts 88 th Annual Meeting of the Zoological Society of Japan Abstracts 88
More information1 DHT Fig. 1 Example of DHT 2 Successor Fig. 2 Example of Successor 2.1 Distributed Hash Table key key value O(1) DHT DHT 1 DHT 1 ID key ID IP value D
P2P 1,a) 1 1 Peer-to-Peer P2P P2P P2P Chord P2P Chord Consideration for Efficient Construction of Distributed Hash Trees on P2P Systems Taihei Higuchi 1,a) Masakazu Soshi 1 Tomoyuki Asaeda 1 Abstract:
More information2017 年 7 月 31 日 ビットコイン分裂と 盛行する ICO の最新動向 京都大学公共政策大学院教授岩下直行
2017 年 7 月 31 日 ビットコイン分裂と 盛行する ICO の最新動向 京都大学公共政策大学院教授岩下直行 金融機構局勉強会 1. ビットコインの分裂を巡って 2 ビットコインは分裂するのか 答えは Yes UAHF とも呼ばれる分岐が 日本時間の 8 月 1 日午後 9 時 20 分に実施予定 Bitcoin(BTC) は 1 従来型の Bitcoin (BTC) と 2Bitcoin
More information25 3 4
25 3 4 1 µ e + ν e +ν µ µ + e + +ν e + ν µ e e + TAC START STOP START veto START (2.04 ± 0.18)µs 1/2 STOP (2.09 ± 0.11)µs 1/8 G F /( c) 3 (1.21±0.09) 5 /GeV 2 (1.19±0.05) 5 /GeV 2 Weinberg θ W sin θ W
More information201711grade1ouyou.pdf
2017 11 26 1 2 52 3 12 13 22 23 32 33 42 3 5 3 4 90 5 6 A 1 2 Web Web 3 4 1 2... 5 6 7 7 44 8 9 1 2 3 1 p p >2 2 A 1 2 0.6 0.4 0.52... (a) 0.6 0.4...... B 1 2 0.8-0.2 0.52..... (b) 0.6 0.52.... 1 A B 2
More information第86回日本感染症学会総会学術集会後抄録(I)
κ κ κ κ κ κ μ μ β β β γ α α β β γ α β α α α γ α β β γ μ β β μ μ α ββ β β β β β β β β β β β β β β β β β β γ β μ μ μ μμ μ μ μ μ β β μ μ μ μ μ μ μ μ μ μ μ μ μ μ β
More information(Basics of Proability Theory). (Probability Spacees ad Radom Variables,, (Ω, F, P ),, X,. (Ω, F, P ) (probability space) Ω ( ω Ω ) F ( 2 Ω ) Ω σ (σ-fi
I (Basics of Probability Theory ad Radom Walks) 25 4 5 ( 4 ) (Preface),.,,,.,,,...,,.,.,,.,,. (,.) (Basics of Proability Theory). (Probability Spacees ad Radom Variables...............2, (Expectatios,
More informationtokei01.dvi
2. :,,,. :.... Apr. - Jul., 26FY Dept. of Mechanical Engineering, Saga Univ., JAPAN 4 3. (probability),, 1. : : n, α A, A a/n. :, p, p Apr. - Jul., 26FY Dept. of Mechanical Engineering, Saga Univ., JAPAN
More information2
1 2 2005 15 17 21 22 24 25 67 95 3 1 2 3 4 17 4 5 6 7 8 9 PR PR PR 10 11 12 PR 419 844 1,490 950 590 20 12 50 13 12/20 2/28 3/30 14 17 349 666 15 59 6 11 15 17 14 15 15 17 3,525,992 15 59 15 17 18 910
More information01.Œk’ì/“²fi¡*
AIC AIC y n r n = logy n = logy n logy n ARCHEngle r n = σ n w n logσ n 2 = α + β w n 2 () r n = σ n w n logσ n 2 = α + β logσ n 2 + v n (2) w n r n logr n 2 = logσ n 2 + logw n 2 logσ n 2 = α +β logσ
More informationV(x) m e V 0 cos x π x π V(x) = x < π, x > π V 0 (i) x = 0 (V(x) V 0 (1 x 2 /2)) n n d 2 f dξ 2ξ d f 2 dξ + 2n f = 0 H n (ξ) (ii) H
199 1 1 199 1 1. Vx) m e V cos x π x π Vx) = x < π, x > π V i) x = Vx) V 1 x /)) n n d f dξ ξ d f dξ + n f = H n ξ) ii) H n ξ) = 1) n expξ ) dn dξ n exp ξ )) H n ξ)h m ξ) exp ξ )dξ = π n n!δ n,m x = Vx)
More information,. Black-Scholes u t t, x c u 0 t, x x u t t, x c u t, x x u t t, x + σ x u t, x + rx ut, x rux, t 0 x x,,.,. Step 3, 7,,, Step 6., Step 4,. Step 5,,.
9 α ν β Ξ ξ Γ γ o δ Π π ε ρ ζ Σ σ η τ Θ θ Υ υ ι Φ φ κ χ Λ λ Ψ ψ µ Ω ω Def, Prop, Th, Lem, Note, Remark, Ex,, Proof, R, N, Q, C [a, b {x R : a x b} : a, b {x R : a < x < b} : [a, b {x R : a x < b} : a,
More informationHitchin-Chatterjee T. (U, (g α0 α 1 )): U = {U α } α A, (M ) g αβ : U αβ T, (U αβ ) g αβ g βγ = g αγ. (U αβγ ) T T, T g αβ : U αβ T P αβ U αβ, Hitchin
Gerbes, II : Hitchin-Chatterjee Murray gerbe. Hitchin-Chatterjee Murray 1 Hitchin-Chatterjee T. (U, (g α0 α 1 )): U = {U α } α A, (M ) g αβ : U αβ T, (U αβ ) g αβ g βγ = g αγ. (U αβγ ) T T, T g αβ : U
More information(1.2) T D = 0 T = D = 30 kn 1.2 (1.4) 2F W = 0 F = W/2 = 300 kn/2 = 150 kn 1.3 (1.9) R = W 1 + W 2 = = 1100 N. (1.9) W 2 b W 1 a = 0
1 1 1.1 1.) T D = T = D = kn 1. 1.4) F W = F = W/ = kn/ = 15 kn 1. 1.9) R = W 1 + W = 6 + 5 = 11 N. 1.9) W b W 1 a = a = W /W 1 )b = 5/6) = 5 cm 1.4 AB AC P 1, P x, y x, y y x 1.4.) P sin 6 + P 1 sin 45
More information202
202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 DS =+α log (Spread )+ β DSRate +γlend +δ DEx DS t Spread t 1 DSRate t Lend t DEx DS DEx Spread DS
More informationnewmain.dvi
数論 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/008142 このサンプルページの内容は, 第 2 版 1 刷発行当時のものです. Daniel DUVERNEY: THÉORIE DES NOMBRES c Dunod, Paris, 1998, This book is published
More informationHanbury-Brown Twiss (ver. 2.0) van Cittert - Zernike mutual coherence
Hanbury-Brown Twiss (ver. 2.) 25 4 4 1 2 2 2 2.1 van Cittert - Zernike..................................... 2 2.2 mutual coherence................................. 4 3 Hanbury-Brown Twiss ( ) 5 3.1............................................
More informationAkito Tsuboi June 22, T ϕ T M M ϕ M M ϕ T ϕ 2 Definition 1 X, Y, Z,... 1
Akito Tsuboi June 22, 2006 1 T ϕ T M M ϕ M M ϕ T ϕ 2 Definition 1 X, Y, Z,... 1 1. X, Y, Z,... 2. A, B (A), (A) (B), (A) (B), (A) (B) Exercise 2 1. (X) (Y ) 2. ((X) (Y )) (Z) 3. (((X) (Y )) (Z)) Exercise
More information( )
) ( ( ) 3 15m t / 1.9 3 m t / 0.64 3 m ( ) ( ) 3 15m 3 1.9m / t 0.64m 3 / t ) ( β1 β 2 β 3 y ( ) = αx1 X 2 X 3 ( ) ) ( ( ) 3 15m t / 1.9 3 m 3 90m t / 0.64 3 m ( ) : r : ) 30 ( 10 0.0164
More information18 2 20 W/C W/C W/C 4-4-1 0.05 1.0 1000 1. 1 1.1 1 1.2 3 2. 4 2.1 4 (1) 4 (2) 4 2.2 5 (1) 5 (2) 5 2.3 7 3. 8 3.1 8 3.2 ( ) 11 3.3 11 (1) 12 (2) 12 4. 14 4.1 14 4.2 14 (1) 15 (2) 16 (3) 17 4.3 17 5. 19
More informationII ( ) (7/31) II ( [ (3.4)] Navier Stokes [ (6/29)] Navier Stokes 3 [ (6/19)] Re
II 29 7 29-7-27 ( ) (7/31) II (http://www.damp.tottori-u.ac.jp/~ooshida/edu/fluid/) [ (3.4)] Navier Stokes [ (6/29)] Navier Stokes 3 [ (6/19)] Reynolds [ (4.6), (45.8)] [ p.186] Navier Stokes I Euler Navier
More information日米通信摩擦の再検証
52 Re-examination on US-Japan Economy Frictions and Lessons to the Cases of China-US and China-Japan... 1... 2...2 4.... 3.... 5.... 6.... 7 6... 8... 9... 13... 17... 18... 24... 26 1 2 1 197090 90 NTT
More information(2) 数値目標 (3) 当該事業を担当する部門 (4) 当該事業の開始のために特別に支出する金額及び内容 当面の目標としては 平成 31 年以降で 年間 10 件 ( ) 受託し 年間売上高 40 億円 営業利益 10 億円を目指します 平成 29 年において日本企業が海外で ICO した件数が
各 位 平成 30 年 8 月 6 日会社名パス株式会社代表者名代表取締役 CEO 中原信一郎 ( コード番号 3840 東証二部 ) 問合せ先執行役員管理本部長梶川量由 (TEL.03-6823-6664) ブロックチェーン事業計画についてのお知らせ 平成 30 年 7 月 20 日に公表した BGL 社及び Blockshine 社との日本国内におけるブロックチェーン事業の共同事業展開に関する包括的業務提携契約の締結についてのお知らせ
More information数学概論I
{a n } M >0 s.t. a n 5 M for n =1, 2,... lim n a n = α ε =1 N s.t. a n α < 1 for n > N. n > N a n 5 a n α + α < 1+ α. M := max{ a 1,..., a N, 1+ α } a n 5 M ( n) 1 α α 1+ α t a 1 a N+1 a N+2 a 2 1 a n
More information