IOHK Haskellコース卒業式！エチオピア政府と協力し開発者を養成

2019年3月25日 2022年8月16日

CoinPiace

Haskell(ハスケル)コースから多くの女性開発者が誕生!?

目次（タップで開く）

2019年3月22日、
エチオピアでIOHK Haskellコースの卒業式があった。

Last May, IOHK signed an MoU with the Ethiopian government to train and hire developers. We are excited to share that the graduation of this IOHK Haskell course was today! The graduates were joined by Dr. Ing.Getahun Mekuria, Minister of Innovation&Technology and the IOHK team! pic.twitter.com/pPJRXIusuU

— Cardano Community (@Cardano) March 22, 2019

昨年5月、IOHK はエチオピア政府と協力して開発者を養成し、雇用するための覚書を締結しました。私たちは、この IOHK Haskell コースの卒業が今日だったことを共有することを楽しみにしています!

Really great moments graduating the class. It was emotional and one of the greatest honors of my career. I'm excited for the future pic.twitter.com/wMQvHYpQqX

— Charles Hoskinson (@IOHK_Charles) March 22, 2019

クラスを卒業する本当に素晴らしい瞬間。それは感情的で、私のキャリアの最大の栄誉の一つでした。私は将来のために興奮している。

Wonderful final lecture given by Professor Wadler to close the class. All the girls graduated! Ceremony is tonight. Can't wait to see Plutus apps come out of this pic.twitter.com/pGTEzuDwAx

— Charles Hoskinson (@IOHK_Charles) March 22, 2019

当時教授が授業を終了するために与えた素晴らしい最終講義。

Great quote from tonight's IOHK graduation ceremony in Ethiopia from @IOHK_Charles: "Thank you for all you've done. You're all going to be great entrepreneurs and leaders. We could wake up one day and Ethiopia becomes the tech leader." pic.twitter.com/WsRu3mPoGv

— Cardano Community (@Cardano) March 22, 2019

「ありがとうございました。あなたのすべては偉大な起業家やリーダーになるだろう。いつか目を覚ますことができ、エチオピアはハイテクリーダーになりました。」

【報酬確定！】人気のステークプール

ティッカー：【　SPS　】 ⇒ SPS公式サイト

☆ブロック生成の実績☆

11,820を突破！

世界トップクラスの人気(タップして開く)

SPSは多くの実績を残しているプールの１つです。

・ステーキング開始直後よりブロック生成
・常に数千万ADA以上の委任数がある
・ブロック生成数も世界トップクラス
・ITN時代を含め4年以上の運営実績

報酬が得られるプール確定！！

<a href="https://cexplorer.io/pool/pool155cu3s06js3llfh07vnzepatfuvt3s5s7uwldt9rzz55wz7pugt">pool detail on cexplorer.io</a>
世界中のADAホルダー様からの人気があります。CoinPiace運営のプールは、安定したステーキングライフをご提供しております。

【PoolTool AwardsSPSの実績】

女性開発者の養成と雇用創出

'The ideas & solutions you develop here in Ethiopia will solve problems across the world' - @IOHK_Charles. It was great to spend time with the @InputOutputHK team this week & meet the amazing women developers who graduated from the #Haskell course last night. pic.twitter.com/vXm5bkkIzB

— Anna Chojnicka (@Anna_Choj) March 23, 2019

エチオピアで開発したアイデア＆ソリューションは、世界中の問題を解決します。

今回、コースを卒業した多くの女性開発者たちの
今後の活躍が期待される。

IOHK、EMURGOの取り組みに
「教育」が１つのテーマであり、
2019年に入り露出が増えてきている。

EMURGO Academyを設立！インド市場への参入を正式に発表！

2019.2.21

株式会社EMURGO(エマーゴ)はインドでEMURGO Academy(EMURGO Learning Solutions Private Limited)の設立と、インド市場への参入を正式に発表！インド政府関係者および企業からの支援あり！...

EMURGOブログ更新！アフリカにおけるカルダノの戦略とは？和訳文

2019.3.13

株式会社EMURGO(エマーゴ)がブログ更新！を公開した。アフリカにおけるカルダノの戦略、アフリカのデジタルフォーカス、サプライチェーンのためのブロックチェーンの利点など和訳してまとめております。英文が読める方は公式ブログをご覧ください。...

エチオピア政府との取り組みも意味があり、
世界中での問題点を解決するユースケースを
生み出す可能性が高い。

アフリカ大陸進出!カルダノプロジェクトエチオピア政府との契約

2018.5.3

カルダノ(ADA)の価値は、
関わる人たちにより上昇していく。

今回、卒業された方、
「ご卒業おめでとうございます。」

Haskell(ハスケル)とは？

改めてカルダノ(ADA)ホルダーの皆さんも
おさらいしましょう。

なぜカルダノを構築するのか

全体を読む　コチラ

カルダノでは、OcamlとHaskellどちらかを選ぶことにしました。Ocamlは、素晴らしいコミュニティ、優れたツール、十分な開発経験、そしてCoqによる正式な検証に関する素晴らしい資産を持つ言語です。では我々はなぜ Haskell を選んだのでしょうか。

なぜカルダノを構築するのか

Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。

Haskell(ハスケル)

なぜHaskellなのか

カルダノを構成するプロトコルは暗号学によって配布、バンドルされるため高度なフォールトトレランスを必要とします。最も好調な日でも、ビザンチンアクターが出現したり、不正な形式のメッセージが発信されたり、誤ったクライアントが意図せずにネットワーク上に何らかの騒ぎを起こしたりするかもしれません。

まず、Quickcheckなどや、Refinement Typesのような、より洗練された技術を容易に使用できる強力な型システムを採用でき、フォールトトレランスにある程度期待ができる言語を使いたいと考えました。HaskellとOcaml等が前者を満足させるのに対し、ErlangスタイルのOTPモデルは後者を満たします。

Cloud Haskellを導入したことで、Haskell独自の機能を維持しつつ、Erlangの利点の多くを獲得することができました。さらに、Haskellのモジュール性と合成性により、Time Warpというカルダノ専用の軽量ライブラリを使用することができました。

次に、Haskellのライブラリは、Galois、FP Complete、Well-Typedなどの商業用エンティティの広範な開発によって、ここ数年で大幅な進化を遂げました。結果として、Haskellを使用して本番レベルのアプリケーションを書くことができるようになりました。

さらに、PureScriptの急速な進化は、ClojurecriptがClojureに与えたように、HaskellとJavaScriptの間の必要不可欠な架け橋となっています。カルダノのブラウザ上での動作、またモバイルウォレットの開発には、PureScriptが特に重要になると考えています。

加えて、依存関係の解消に関して言えば、Haskellは、過去数年間、FP Completeから強力な援助を受けて作り出され、容易に利用できるStackageを通して、Michael Snoymanのような技術者が達成した重要な社会的、技術的成果から恩恵を受けています。

また、適切に依存性を解決した上で、我々はソフトウェアのビルドを再現可能にすることを目指しています。つまり、同じ構成値と依存バージョンであれば、まったく同じ成果物が作成されるということです。Stackageを通して、我々はNixOpsを利用し、その再現性を獲得することができました。

最後に、Haskellに特化した才能ある開発者の人口は、他の言語と比較してもかなり大きく、彼らは学術的にも、業界的にも十分に訓練されています。また熟練のHaskell開発者の中にコンピューターサイエンスに関する豊富な知識を持っていない者はほとんどいないため、Haskellは優秀な人材を確保するためのフィルターとしても機能します。

なぜHaskellなのか

全体を読む　コチラ

【人気】スチールウォレットをチェック

この記事を書いた人

CoinPiace

Cardano ADAコインを応援中！長期的に残ると確信。技術面も世界トップクラス。Cardano ADA(カルダノエイダ)を広める為に特化したまとめ記事を、出来るだけ早く皆様に届けられる様に心掛けております。カルダノエコシステムが世界中に広がる事に第三者メディアとして貢献出来ればと思います。CoinPiace(コインピアーチェ）イタリア語です。ジェロラモ・カルダーノに敬意を表して。