
ミートアップでPlutus&Marloweを紹介
2019年3月4日、
イギリスのロンドンにて
Plutus&Marlowe(プルータスとマーロウ)の
Smart Contractツール(スマートコントラクト)を
紹介するミートアップが開催された。
主催:Coinscrum
ミートアップ内容
和訳文章 まとめ
※Google翻訳 全文
スマホユーザー向けに
まとめております。
多少の誤変換にはご了承ください。
一部抜粋
3月4日、Coinscrumは最近発売されたPlutus&Marlowe Smart Contractツールを紹介するためにCardanoをステージに歓迎します。
Plutusプラットフォームは、Cardanoなどの第3世代ブロックチェーン用の汎用関数型プログラミング環境です。
Plutusは現代の言語研究から、Haskell、主要な純粋に機能的なプログラミング言語に基づく、安全で完全なスタックのプログラミング環境を提供するために引き出します。
Marloweは、機能契約の分野の専門家にアクセス可能な分野固有の環境を提供する、分野固有の言語です。
Cardanoのチームは、PlutusとMarloweを世界に紹介することを誇りにしており、幅広い開発コミュニティと議論し、それらをプロジェクトの将来の開発に参加させ、アイデアを共有し、協力することに熱心です。
夜は、Cardonの主な研究開発部門であるIOHKのSimon Thompson教授とMichael Peyton-Jonesの2人の講演者を歓迎します。
/// Michael Peyton-Jones - IOHK機能コンパイラエンジニア
マイケルは、誰かが彼にコンパイラを投げるまで、最大の抽象化のポイントに向かって執拗に引き寄せられることによってプログラミング言語設計に入りました。彼は、プログラミング言語を美しく数学的にするだけでなく、人間工学的で使いやすくすることにも関心を持っています。 Michaelはオックスフォード大学で数学と哲学の一流の学位を取得しています。
マイケルは観客にPlutus Playgroundのデモを紹介します。
/// Simon Thompson - 論理計算学教授
Simon Thompsonは、ケント大学の論理学と計算の研究者、著者、そして教師です。彼の関数型プログラミングの研究は、Erlang、HaskellおよびOCamlの検証、ツール構築およびテストをカバーしています。
彼は型理論に関する本、HaskellとErlangの著者であり、FutureLearnのためにErlangに関するMoocを運営しています。
彼は、Cardanoのドメイン固有の言語についてIOHKと協力しています。
SimonがMarloweの紹介をして、ブロックチェーンの金融契約を作成します。
-----
私たちのグループスポンサーのeToro
eToroは、900万を超える顧客に株式、指数、ETF、通貨、および暗号通貨を提供するグローバル投資プラットフォームです。
世界最大の暗号通貨プラットフォームの1つとして、eToroはクライアントが3つの異なる方法で投資することを可能にします。まず、手動でBitcoin、Ethereum、Litecoin、XRP、Bitcoin Cash、Stellar、NEO、Dashを購入できます。第二に、経験や時間が足りない人のために、顧客はeToroの最も成功した専門家の取引を自動的にコピーすることができます。最後に、選択した暗号に投資したい人のために、これは時価総額に基づく暗号を含むeToroのCrypto CopyFundによって可能になります。
ライブ映像
※現時点で字幕はありません
ミートアップについてのツイート
Simon Thompson, Senior Research Fellow at IOHK, starts off the evening with an introduction on Marlowe. Marlowe provides a way for professionals in the finance industry who have no programming background to generate code and create software products. #Coinscrum #CardanoCommunity pic.twitter.com/LxKQPf0JPb
— Cardano Community (@Cardano) March 4, 2019
Professor Simon Thompson @thompson_si shares his insight on domain-specific languages with tonight’s meetup attendees. He talks about why DSL’s are beneficial and how to apply them to the blockchain space within the scope of financial contracts. #Marlowe #cardanoCommunity pic.twitter.com/m3YqJ7nFds
— Cardano Community (@Cardano) March 4, 2019
When writing a financial contract, it is easy to make mistakes - costly mistakes that are usually irreversible on a blockchain. #Marlowe is a DSL designed to make it easy to write contracts that can be deployed on blockchains and avoid many of the common known mistakes! pic.twitter.com/Ow1L9fBlIg
— Cardano Community (@Cardano) March 4, 2019
The second speaker tonight is Michael Peyton-Jones, functional compilers engineer at IOHK! He’ll be introducing #Plutus, which is is a general-purpose functional programming environment for Cardano. But first, a quick lesson on UTxO models!
Watch here: https://t.co/yDru7AHCIZ pic.twitter.com/TM9Vr63ZRZ— Cardano Community (@Cardano) March 4, 2019
“For the future, we’ll be deploying #Marlowe on the Cardano blockchain, developing a full set of templates, putting Meadow in the cloud, and think about how the language will evolve as we do this work,” says Professor Simon Thompson pic.twitter.com/haV7FUnwZ4
— Input Output (@InputOutputHK) March 4, 2019
If you’re interested in playing with Plutus, there is the Plutus Playground, which is a web-based environment where you can easily write and deploy your contracts. Attendees at tonight’s meetup were in for a treat as Michael showed a demo. Learn more here: https://t.co/bHbJsycvjj pic.twitter.com/emyKzVcX4i
— Cardano Community (@Cardano) March 4, 2019
If you enjoyed tonight’s presentations then you should come to the IOHK Summit! It’s happening on April 17-18 in Miami and it's the first time that the Summit is open to the public. There will be interesting talks, workshops and more! Find details here: https://t.co/BHVgqjS8ZG pic.twitter.com/dQ1cxW4nsL
— Cardano Community (@Cardano) March 4, 2019