IOHKが提供するプログラミング言語学習

2019年4月14日と15日、
チャールズ・ホスキンソン氏（Charles Hoskinson）の
ツイートより、

Here's our free course on Marlowe- one of Cardano's programming languages https://t.co/5ml1IFzKQC

— Charles Hoskinson (@IOHK_Charles) April 14, 2019

And how about a Plutus course https://t.co/YVbrlq8976

— Charles Hoskinson (@IOHK_Charles) April 15, 2019

And would you look at that, a book is on the way https://t.co/Ez4zFjwMfp

— Charles Hoskinson (@IOHK_Charles) April 14, 2019

とツイートがあった。

現在、カルダノ(ADA)関係者は
IOHKサミット2019の為に続々とマイアミ入りしている。

無料で学べるプログラミング言語

公開されたのは、
・PLUTUS(プルータス)
・MARLOWE(マーロウ)

費用：無料
言語：英語

Marlowe programming language

Marloweプログラミング言語
誰でもコードできる金融スマートコントラクト。

URL：
https://www.udemy.com/marlowe-programming-language/

学習内容

・Marloweプログラミング言語を使ってスマートコントラクトをコーディングする。

・Meadowを使用します。これは、契約を簡単に作成および編集できるブラウザベースのグラフィカルインタフェースを提供するエミュレータです。

講座内容

Marloweは、金融商品をブロックチェーン上のスマートな契約としてモデル化するための新しい言語です。 それは経験豊富な開発者よりもむしろビジネスエンジニアまたは主題の専門家である人々のために設計されています。 それは表現力豊かな金融契約に組み立てることができる少数の強力な構成要素を含む単純なドメイン固有言語（DSL）です。 それは独自に確立されたエコシステムとテストフレームワークを持っているHaskell言語に埋め込まれています。 Marloweを使用するのにプログラミングの専門知識は必要ありません。また、ブラウザベースの契約エディタとシミュレータを使用して、Marloweの財務構成を調べることができます。

このコースの対象受講者：

金融専門家、ビジネスマン、会計士、弁護士、起業家、スマート契約に興味のあるプログラマー。

Marlowe programming language

Plutus programming language

Plutusプログラミング言語
信頼できるスマートコントラクト。

URL：
https://www.udemy.com/plutus-reliable-smart-contracts/

学習内容

・Plutusプログラミング言語で信頼できるスマートコントラクトを書く

受講における必要条件

ハスケルの知識

講座内容

このコースでは、IOHKのソフトウェア開発者であるAlejandro Garciaが、安全で信頼性の高いスマートコントラクトを作成するためにIOHKによって設計されたPlutusプログラミング言語の基本について説明します。

Plutusは、カルダノ決済層で実行される実行プラットフォームと関数型プログラミング言語を提供し、そしてかなりのセキュリティ上の利点を提供します。それはあなたのスマート契約が正しいことを示すためのより簡単でより堅牢な方法を提供し、以前のスマート契約言語設計で見つかった問題に遭遇しないでしょう。 Plutusを使用することで、あなたはあなたのスマート契約の正しい執行に自信を持つことができます。開発者、ビジネスエキスパート、学術界の3人を対象に設計されています。

PlutusはHaskellに組み込まれており、Haskellプログラマーにはよく知られていますが、Haskell自体よりも分析が容易です。

このコースの対象受講者：

ブロックチェーン開発者
Haskellプログラマー
関数型プログラマー

Plutus programming language

Amazonで購入可能な書籍

Plutus：信頼できるスマートコントラクト（英語版）

第3世代の仮想通貨カルダノ(ADA)スマートコントラクト技術PLUTUS

2019.1.6

新たなスマートコントラクト技術Plutus（プルータス）とは？元イーサリアムの共同創業者であるチャールズ・ホスキンソン氏が語るデジタル技術は金融業界にも影響を与え、2019年、Cardano ADA(カルダノ エイダ)は大きく飛躍する。...

スマートコントラクトツール Plutus＆Marloweのミートアップ開催

2019.3.5

2019年3月4日、Plutus＆Marlowe(プルータスとマーロウ)のSmart Contractツール(スマートコントラクト)を紹介するミートアップがイギリスのロンドンにて開催された。ライブ動画も公開。カルダノ(ADA)の普及プロセス...

PLUTUS(プルータス)とMARLOWE(マーロウ)テストフォーマット公開

2018.12.12

Cardano ADA(カルダノ エイダ)上のブロックチェーンを使用した強力なツール、Plutus(プルータス)とMarlowe(マーロウ)テストフォーマットが公開！カルダノロードマップに追記。メディア露出も増え、2019年に期待高まる。...