blockchain_CryptoSeminar

Size: px
Start display at page:

Download "blockchain_CryptoSeminar"

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

Microsoft PowerPoint - 02-ブロックチェーン報告書概要.pptx 平 成 27 年 度 我 が 国 経 済 社 会 の 情 報 化 サービス 化 に 係 る 基 盤 整 備 (ブロックチェーン 技 術 を 利 したサービスに 関 する 国 内 外 動 向 調 査 ) 報 告 書 概 要 資 料 平 成 28 年 4 28 商 務 情 報 政 策 局 情 報 経 済 課 1 本 調 査 の 趣 旨 背 景 ビットコイン 等 の 価 値 記 録 の 取 引 に 使 されているブロックチェーン

More information

本日の構成 平成 27 年度我が国経済社会の情報化 サービス化に係る基盤整備 ブロックチェーン技術を利用したサービスに関する国内外動向調査 についてのご紹介 Blockchain に関する私見 Blockchainを巡る動向調査後の動きについて Bitcoinへの幻想とBlockchainに対する過

本日の構成 平成 27 年度我が国経済社会の情報化 サービス化に係る基盤整備 ブロックチェーン技術を利用したサービスに関する国内外動向調査 についてのご紹介 Blockchain に関する私見 Blockchainを巡る動向調査後の動きについて Bitcoinへの幻想とBlockchainに対する過 資料 3 Blockchain に関する最近の動向 2016 年 6 月 3 日 楠正憲 1 本日の構成 平成 27 年度我が国経済社会の情報化 サービス化に係る基盤整備 ブロックチェーン技術を利用したサービスに関する国内外動向調査 についてのご紹介 Blockchain に関する私見 Blockchainを巡る動向調査後の動きについて Bitcoinへの幻想とBlockchainに対する過剰な期待

More information

本 日 の 議 論 第 一 回 で 提 示 した 論 点 の 概 要 論 点 1 自 律 分 散 協 調 戦 略 のアーキテクチャー 論 点 2 我 が 国 企 業 産 業 にとっての 戦 略 への 落 とし 込 み 論 点 3 先 を 見 据 えた 技 術 戦 略 論 点 4ブロックチェーンの 利

本 日 の 議 論 第 一 回 で 提 示 した 論 点 の 概 要 論 点 1 自 律 分 散 協 調 戦 略 のアーキテクチャー 論 点 2 我 が 国 企 業 産 業 にとっての 戦 略 への 落 とし 込 み 論 点 3 先 を 見 据 えた 技 術 戦 略 論 点 4ブロックチェーンの 利 参 考 資 料 1 産 業 構 造 審 議 会 情 報 経 済 小 委 員 会 分 散 戦 略 WG( 第 4 回 ) 事 務 局 資 料 ブロックチェーン 分 散 型 台 帳 シェアリングエコノミー を 活 用 した 新 たな 産 業 社 会 に 向 けて 平 成 28 年 6 月 3 日 経 済 産 業 省 商 務 情 報 政 策 局 1 本 日 の 議 論 第 一 回 で 提 示 した 論 点

More information

本日の議論 第一回で提示した論点の概要 論点 1 自律分散協調戦略のアーキテクチャー論点 2 我が国企業 産業にとっての戦略への落とし込み論点 3 先を見据えた技術戦略論点 4ブロックチェーンの利活用論点 5オープンなデータ流通構造に向けた環境整備論点 6 分散化時代のセキュリティ 人材育成論点 7

本日の議論 第一回で提示した論点の概要 論点 1 自律分散協調戦略のアーキテクチャー論点 2 我が国企業 産業にとっての戦略への落とし込み論点 3 先を見据えた技術戦略論点 4ブロックチェーンの利活用論点 5オープンなデータ流通構造に向けた環境整備論点 6 分散化時代のセキュリティ 人材育成論点 7 資料 2 産業構造審議会情報経済小委員会分散戦略 WG( 第 4 回 ) 事務局資料 ブロックチェーン 分散型台帳 シェアリングエコノミーを活用した新たな産業社会に向けて 平成 28 年 6 月 3 日経済産業省商務情報政策局 1 本日の議論 第一回で提示した論点の概要 論点 1 自律分散協調戦略のアーキテクチャー論点 2 我が国企業 産業にとっての戦略への落とし込み論点 3 先を見据えた技術戦略論点

More information

ブロックチェーン技術入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行当時のものです.

ブロックチェーン技術入門 サンプルページ この本の定価 判型などは, 以下の 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

今 回 の 位 置 づけ 過 去 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

スライド 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 information

TABLE OF CONTENTS 今 回 は 2015 年 12 月 ~2016 年 3 月 の 動 きを 中 心 に 整 理 1. 金 融 機 関 の 動 き 2. 金 融 系 スタートアップの 動 き 3. サプライチェーン 分 野 4. IoT 分 野 5. ライフスタイル 分 野 6. シ

TABLE 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 information

2. Activity-Based Micro-Pricing 2.1 Activity-Based Micro-Pricing Activity-Based Micro-Pricing Activity- Based Micro-Pricing Activity-Based Micro-Prici

2. 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]  暗号プロトコル理論 [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 information

Our Vision moldcoin

Our 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 information

Abstract Bitcoin P2P (Pear To Pear)

Abstract 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 information

Tangle 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

Tangle 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 information

Tangle 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

Tangle 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 information

24 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 information

O1-1 O1-2 O1-3 O1-4 O1-5 O1-6

O1-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 information

1 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 information

y = 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 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 information

1 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 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 information

Hyperledger Projectのセキュリティと方向性

Hyperledger Projectのセキュリティと方向性 Hyperledger Project のセキュリティと 向性 平成 28 年 8 23 本アイ ビー エム株式会社グローバル ビジネス サービス事業アソシエイトパートナー 隆 ブロックチェーンのセキュリティインシデント ハッキング等により相応の仮想通貨資産が流出 情報セキュリティの 3 要素 関連インシデント 機密性 許可されていない個 エンティティ はプロセスに対して 情報を使 させず また開

More information

Mathematical Logic I 12 Contents I Zorn

Mathematical 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 information

1.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›ð’Í

‚åŁÎ“·„´Šš‡ðŠ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 information

09 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/ (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 information

TOP URL 1

TOP URL   1 TOP URL http://amonphys.web.fc.com/ 3.............................. 3.............................. 4.3 4................... 5.4........................ 6.5........................ 8.6...........................7

More information

III ϵ-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 ϵ-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>

<4D6963726F736F667420576F7264202D2030332D8375838D8362834E83608346815B839395F18D908F912E646F6378> 平 成 27 年 度 我 が 国 経 済 社 会 の 情 報 化 サービス 化 に 係 る 基 盤 整 備 (ブロックチェーン 技 術 を 利 用 したサービスに 関 する 国 内 外 動 向 調 査 ) 報 告 書 平 成 28 年 3 月 株 式 会 社 野 村 総 合 研 究 所 目 次 1 本 調 査 の 背 景 と 目 的... 1 2 本 報 告 書 で 用 いる 用 語 と 略 語...

More information

: , 2.0, 3.0, 2.0, (%) ( 2.

: , 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 information

1 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 = 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 information

JKR Point loading of an elastic half-space 2 3 Pressure applied to a circular region Boussinesq, n =

JKR 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 I & II ii ii........... 22................. 25 12............... 28.................. 28.................... 31............. 32.................. 34 3 1 9.................... 1....................... 1............

More information

US US US a b SL Suica JR Edy nanacoi HD waon L&G SL RMT https : //secondlife. com/?lang=ja-jp accessed 168

US 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 information

Part () () Γ Part ,

Part () () Γ 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 information

04.™ƒ”R/’Ô”�/’Xfl©

04.™ƒ”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 information

cryptotopcoin slide 1-15

cryptotopcoin 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 からご覧いただけます.   このサンプルページの内容は, 第 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 information

1 1. データ 駆 動 型 社 会 の 到 来 2. 第 4 次 産 業 革 命 への 対 応 3. 先 進 的 IoT 産 業 モデルの 創 出 4. 自 律 分 散 協 調 型 のIoT 戦 略 - 自 律 分 散 協 調 を 巡 る 現 状 と 課 題 - 分 散 化 の 進 展 - 基 本

1 1. データ 駆 動 型 社 会 の 到 来 2. 第 4 次 産 業 革 命 への 対 応 3. 先 進 的 IoT 産 業 モデルの 創 出 4. 自 律 分 散 協 調 型 のIoT 戦 略 - 自 律 分 散 協 調 を 巡 る 現 状 と 課 題 - 分 散 化 の 進 展 - 基 本 IoT AI ビッグデータに 関 する 経 済 産 業 省 の 取 組 について 2016 年 5 月 24 日 経 済 産 業 省 1 1. データ 駆 動 型 社 会 の 到 来 2. 第 4 次 産 業 革 命 への 対 応 3. 先 進 的 IoT 産 業 モデルの 創 出 4. 自 律 分 散 協 調 型 のIoT 戦 略 - 自 律 分 散 協 調 を 巡 る 現 状 と 課 題 - 分

More information

ohpmain.dvi

ohpmain.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 information

19 σ = 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.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 information

IBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタン

IBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタン IBM Zero to One IBM IBM IBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタント ブロックチェーンコンサルタント 戦略コンサルタント

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

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 information

Chapter9 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

Chapter9 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 information

20 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 からご覧いただけます.   このサンプルページの内容は, 初版 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 information

Discussion Paper #

Discussion 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 information

zsj2017 (Toyama) program.pdf

zsj2017 (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 information

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 information

_170825_<52D5><7269><5B66><4F1A>_<6821><4E86><5F8C><4FEE><6B63>_<518A><5B50><4F53><FF08><5168><9801><FF09>.pdf

_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 information

1 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

1 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 information

2017 年 7 月 31 日 ビットコイン分裂と 盛行する ICO の最新動向 京都大学公共政策大学院教授岩下直行

2017 年 7 月 31 日 ビットコイン分裂と 盛行する ICO の最新動向 京都大学公共政策大学院教授岩下直行 2017 年 7 月 31 日 ビットコイン分裂と 盛行する ICO の最新動向 京都大学公共政策大学院教授岩下直行 金融機構局勉強会 1. ビットコインの分裂を巡って 2 ビットコインは分裂するのか 答えは Yes UAHF とも呼ばれる分岐が 日本時間の 8 月 1 日午後 9 時 20 分に実施予定 Bitcoin(BTC) は 1 従来型の Bitcoin (BTC) と 2Bitcoin

More information

25 3 4

25 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 information

201711grade1ouyou.pdf

201711grade1ouyou.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)

第86回日本感染症学会総会学術集会後抄録(I) κ κ κ κ κ κ μ μ β β β γ α α β β γ α β α α α γ α β β γ μ β β μ μ α ββ β β β β β β β β β β β β β β β β β β γ β μ μ μ μμ μ μ μ μ β β μ μ μ μ μ μ μ μ μ μ μ μ μ μ β

More information

(Basics of Proability Theory). (Probability Spacees ad Radom Variables,, (Ω, F, P ),, X,. (Ω, F, P ) (probability space) Ω ( ω Ω ) F ( 2 Ω ) Ω σ (σ-fi

(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 information

tokei01.dvi

tokei01.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 information

2

2 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 information

01.Œk’ì/“²fi¡*

01.Œ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 information

V(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

V(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,,.

,. 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 information

Hitchin-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

Hitchin-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.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 information

202

202 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 information

newmain.dvi

newmain.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 information

Hanbury-Brown Twiss (ver. 2.0) van Cittert - Zernike mutual coherence

Hanbury-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 information

Akito Tsuboi June 22, T ϕ T M M ϕ M M ϕ T ϕ 2 Definition 1 X, Y, Z,... 1

Akito 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 information

18 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 information

II ( ) (7/31) II ( [ (3.4)] Navier Stokes [ (6/29)] Navier Stokes 3 [ (6/19)] Re

II ( ) (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 した件数が

(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

数学概論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