ブログ > 筆者 > Alejandro Garcia

Secure smart contracts with the Plutus ebook

Q&A with the IOHK Education team authors

2019年 7月 31日 Alejandro Garcia 6 分で読めます

Secure smart contracts with the Plutus ebook

The IOHK education team this month released the first edition of their new Plutus ebook: Plutus: Writing reliable smart contracts. Available on Amazon and LeanPub, it's a comprehensive introductory guide to Plutus, IOHK's Haskell-based smart contract language. Haskell is a functional programming language, which means it's easier to test and less prone to human error, so…

ワイオミングのBlockchain StampedeでCardano Day

ワイオミング大学がララミーの2024 Blockchain Stampedeでブロックチェーンイノベーションを先導

2024年 10月 21日 Alejandro Garcia 5 分で読めます

ワイオミングのBlockchain StampedeでCardano Day

2024年9月16~21日、ブロックチェーン愛好家、開発者、リーダーたちが一堂に会した知識の共有と革新の一週間、第7回年次Blockchain Stampedeが開催されました。これは、世界でも有数の魅力的な暗号会議です。

ワイオミング州はブロックチェーン規制の世界的リーダーであり、暗号通貨、デジタル資産、スマートコントラクトに関連する2,000を超える法律を議論し、可決してきました。このリーダーシップはこのStampedeでも際立っており、Chris Rothfuss上院議員、Chuck Gray国務長官、Mark Gordon知事などの重要人物が見識を披露しました。

Dardano Dayイベント

教育スペシャリストのJesse SmithとAntonio Ibarra、プロダクトマネージャーのAlejandro Garcia…

オンラインHaskellコース:2020年モンゴルのクラス

Haskell初の大規模なオンラインコース(MOOC)配信を振り返る

2020年 12月 21日 Alejandro Garcia 8 分で読めます

オンラインHaskellコース:2020年モンゴルのクラス

ここでは、今年初めてオンライン配信したHaskellコースへのフィードバックをご紹介したいと思います。

Covid-19パンデミックにより、世界中でさまざまな予定が変更を余儀なくされたことは誰もが口にすることですが、IOGの教育部門も例外ではありませんでした。しかし、予想外だったのは、2020年世界的なロックダウンにより素晴らしいオンラインのHaskellブートキャンプを配信するという新たな機会が訪れたことです。

IOGをご存知の方は、ソフトウェア開発におけるHaskellプログラミング言語と形式手法を用いたアプローチが当社に不可欠なものであることもご存知でしょう。これは、その名称「Input Output」に現れています。したがって、オープンソースプロジェクトへの貢献、開発者の助成、その他諸々、Haskell…

Secure smart contracts with the Plutus ebook

Q&A with the IOHK Education team authors

2019年 7月 31日 Alejandro Garcia 6 分で読めます

Secure smart contracts with the Plutus ebook

The IOHK education team this month released the first edition of their new Plutus ebook: Plutus: Writing reliable smart contracts. Available on Amazon and LeanPub, it's a comprehensive introductory guide to Plutus, IOHK's Haskell-based smart contract language. Haskell is a functional programming language, which means it's easier to test and less prone to human error, so…