GORMOS - A high performance and scalable design for decentralized applications -

Twitterã®ã¿ã¤ã ã©ã¤ã³ããã¡ã«ã«ãªã«ãããç®å½ã¦ã®ã¢ã¤ãã ã®æ å ±ã¯ã©ãããæ¥ãã®ã§ãããããçãã¯ããµã¼ãã¼ã§ããã¤ã³ã¿ã¼ãããã«ã¯ãã¾ãã¾ãªæ å ±ããã¾ã£ã¦ãããµã¼ãã¼ã®åå¨ãä¸å¯æ¬ ã§ãã ãã¾ãã23å¹´åããã®ãµã¼ãã¼ã«é ãããã人ã«ãµã¼ãã¼ã貸ããã¬ã³ã¿ã«ãµã¼ãã¼ãããã¸ãã¹ã«ãããã¨èãã18æ³ããã¾ãããç¾å¨ãã¬ã³ã¿ã«ãµã¼ãã¼ã ãã§ãªããæ°å¤ãã®æ å ±éä¿¡ãæ¯ããã¤ã³ã¿ã¼ããããµã¼ãã¹ãæãããããããã¤ã³ã¿ã¼ããããã®ä»£è¡¨ãç°ä¸é¦è£ï¼ããªãã»ãã«ã²ãï¼ @kunihirotanaka ï¼ããã§ãã ç°ä¸ãããçã¿åºãããã¸ãã¹ã¯ãæ¥æ¬ã«ã¤ã³ã¿ã¼ããããå®çãã¦ããæµãã«ä¸¦èµ°ããè¯ããã¨ãæªããã¨ãå«ããç´ä½æ²æããã©ã£ã¦ãã¾ããããã®ä¸ã§ãç°ä¸ããã®ä»äºè¦³ã¯ã©ã®ããã«å¤åãã¦ããã®ã§ãããããç°ä¸ãããè¨å ¥ããããã£ãªã¢ã°ã©ããã¨ã¨ãã«ããèªèº«ã®å±¥æ´æ¸ãæ¯ãè¿ã£ã¦ããããæå
JavaScriptã«ãããã·ã£ãã¼ã³ãã¼(shallow copy)ã¨ãã£ã¼ãã³ãã¼(deep copy)ã«ã¤ãã¦ç°¡åã«ã¾ã¨ãã¾ããã shallowã¯æ¥æ¬èªã§ãæµ ããã¨ããæå³ã«ãªãã¾ãã ã·ã£ãã¼ã³ãã¼ ã·ã£ãã¼ã³ãã¼ã¯ãã£ããè¨ãã¨åç §å ã®ãªãã¸ã§ã¯ãã¨ã³ãã¼å ã®ãªãã¸ã§ã¯ãã©ã¡ããåãã¡ã¢ãªãåç §ãã¦ãããã¨ãããã¾ãã ç°¡åãªä¾ const obj = { name: "hoge", age: 24 } const obj2 = obj obj.name = "fuga"; console.log(obj2.name) // fuga console.log(obj.name) // fuga åãã¡ã¢ãªãåç §ãã¦ããã®ã§obj2ã®nameã夿´ããobjã®nameã夿´ããã¦ãã¾ãã¾ãã ãã£ã¼ãã³ãã¼ ãã£ã¼ãã³ãã¼ã¨ã¯ããªãã¸ã§ã¯ãã®ã¿ã®ã³ãã¼ã§ã¯ãªãããªãã¸ã§ã¯ãã¨ã¡ã¢
Abstract ãã¼ã¯ã¼ã ãããã¯ãã§ã¼ã³ãæå·é貨ãã³ã³ã»ã³ãµã¹ã¢ã«ã´ãªãºã ã忣ã·ã¹ãã ãã²ã¼ã çè«ã形弿æ³ãIsabelle/HOL ç»å£è 䏿é¾ç¢: æ±äº¬å¤§å¦ / æ ªå¼ä¼ç¤¾LayerX R&Dãã¼ã ç¾å¨ã¯Ethereumã®å°æ¥çãªã³ã³ã»ã³ãµã¹ãããã³ã«CBC Casperãç ç©¶ã (åè: 主èã®è«æ https://eprint.iacr.org/2019/415 Crypto Valley Conference 2019æ¡æ) ãã¼ã¯æ¦è¦ ã©ã®ããã«ãæ£ããããããªãã¯ãããã¯ãã§ã¼ã³ããã¶ã¤ã³ããã¹ããã«ã¤ãã¦è©±ãã¾ããå ·ä½çã«ã¯ã - ãããªãã¯ãããã¯ãã§ã¼ã³ã«æ±ããããæ§è½ï¼ããã©ã¼ãã³ã¹ãå®å ¨æ§ã忣æ§, etc.ï¼ã¯å³å¯ã«ä½ãªã®ã - 忣ã¢ã«ã´ãªãºã ãæå·ã使ã£ã¦ã©ããªãããã³ã«ãææ¡ããã¦ããã®ã - ã²ã¼ã çè«ã形弿æ³ã¨ãã£ããã¼ã«ãç¨ãããããã
TL; DR console.log()ã«å¤§ããªãªãã¸ã§ã¯ããé åãæ¸¡ãã¨ãconsole.log()ãå¼ã³åºããæç¹ã§ã®å¤ã§ã¯ãªããã³ã³ã½ã¼ã«ã§ãããã¯ãªãã¯å±éããæç¹ã§è©ä¾¡ããå¤ã表示ãããã ããå°ã詳ãã console.log()ã«å¤§ããªãªãã¸ã§ã¯ããæ¸¡ãã¨ã³ã³ã½ã¼ã«ä¸ã§çç¥ããã¦è¡¨ç¤ºããã¾ããããã®çç¥è¡¨ç¤ºãå±éããã¨ãconsole.log()ãå¼ã³åºãããæç¹ã®å¤ã§ã¯ãªããå±éãããã®æç¹ã§è©ä¾¡ããå¤ã表示ããã¾ãã ã¤ã¾ãä¾ãã°ãããªãã¸ã§ã¯ãã«æä½ãæ½ãåã«console.log()ãåã£ã¦ãã¦ããå®è¡çµäºå¾ã®ã³ã³ã½ã¼ã«ã«ã¯æä½ãæ½ããå¾ã®ãªãã¸ã§ã¯ãã表示ãããã¨ãããã¨ã§ãã è¦ã¯ãªãã¸ã§ã¯ãã¸ã®åç §ãä¿æãã¦ãããããªæåã§ãï¼åèï¼ã ä¾ ï¼ä»¥ä¸ã®ä¾ã§ã¯ããããããã®ãã常ã«çç¥è¡¨ç¤ºãããconsole.dirã使ã£ã¦ãã¾ãï¼ obj.aãã«å¤ãä»£å ¥ããåå¾ã§
ããã«ã¡ã¯ãå°æï¼@koba04ï¼ã§ãã æ¬è¨äºã§ã¯ãã·ã³ã°ã«ãã¼ã¸ã¢ããªã±ã¼ã·ã§ã³ï¼ä»¥ä¸ãSPAï¼ã«ãããç¶æ 管çã«ã¤ãã¦è§£èª¬ãã¾ãã GmailãTwitterã¯ãSPAã¨ãã¦æ§ç¯ããã¦ãã代表çãªWebã¢ããªã±ã¼ã·ã§ã³ã§ãããã¹ã ã¼ãºãªãã¼ã¸é·ç§»ãSPAã«ãã£ã¦å®ç¾ãã¦ãã¾ããã¾ãElectronãPWAï¼Progressive Web Appsï¼ã®ç»å ´ã«ãããè¤éãªã¢ããªã±ã¼ã·ã§ã³ãWebã®æè¡ã使ã£ã¦æ§ç¯ããå ´é¢ãå¢ãã¦ãã¾ããã ãããã®è¤éãªã¢ããªã±ã¼ã·ã§ã³ã«ããã¦ã¯ãæ¢åã®ãã¼ã¸åä½ã§ã®ç¶æ 管çã®èãæ¹ã§ã¯å¯¾å¿ãé£ãããªãã¾ãã ããã§ä»åã¯ãå ·ä½çãªãã¬ã¼ã ã¯ã¼ã¯ãåãä¸ããªãããWebããã³ãã¨ã³ãã«ãããç¶æ 管çã®ã¢ããã¼ãã«ã¤ãã¦ç´¹ä»ãã¾ãã ããã³ãã¨ã³ãã§ã®ç¶æ 管çã®è¤éå ãã¼ã¸ã®åä½ãè¶ ããç¶æ ã®ä¿æ ã¢ãã«ã¨ãã¥ã¼ã«ããå¦çã®åå² ã¤ãã³ãã®ç®¡çãè¤éã«ãª
11. DMM.comã©ã ã¤ã³ãã©ãã¼ã ã¹ãã«ãã¿ã¼ã³ ver.0.9 [è¯ãè³è³ª] é å¼·ãªä¾¡å¤è¦³ æºçãªå¥½å¥å¿ æ å ±ã¤ã³ãããã®ããã®åªå ç´ ç´ã§åãä»ããªã å¼·ã責任æ å¼·ãæ¹åæè å¿ã¨èº«ä½ã®å¥åº· ç¥èãèªåèªèº«ã®ãã®ã¨ãã åºæ¬çæè¡ãæ£ããçè§£ãã¦ãã æ¥åä¸å¿ è¦ãªæ å ±ãææ¡ãã¦ãã 飿¥åéã®ç¥èãæã£ã¦ã ç®æ¨ã¨ãªã人ããã æ´çãããããã¥ã¡ã³ãã®ä½æè½å ãã¸ã«ã«ãªæè ãã¡ã·ãªãã¼ã·ã§ã³æè¡ å¤å½èªãæã ãªã¯ã«ã¼ãã£ã³ã°ã§ããå [ãªã¼ãã¼ã®è³è³ª] ä¸ãå®ã楯ã¨ãªã é¨ä¸ã®æé·ãèãã å±äººåãé²ã é©åãªæ¨©éç§»è²ãè¡ãªã [ä»äºã«åãçµãå§¿å¢] æ éã«ä½æ¥ããã 失æãæããªã 失æãå ±æã対å¿ãè¡ãªã çå®ãæ¢ã ããããªããã¨ã¯èã é æ ®ããªã ä»äºãèªåã§è¦ä»ãããä»äºã奪ã èä¸ãè¦ããããã£ã¦è¦ãã¦èª¬æããã ç¥ã£ã¦ãããã¨ãçºä¿¡ãã ã¾ãã¯æãåãã
All slide content and descriptions are owned by their creators.
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}