ケヴィン・ハモンド Kevin Hammond

カルダノ用語集

IOGのテクノロジーマネージャー。関数型プログラミングでは35年の経験を持ち、グラスゴー大学で世界初のHaskellコンパイラを実装したことで知られ、その後も「グラスゴーHaskellコンパイラ」の設計と実装に携わる。
Haskell Committeeのメンバーであり、これまで130以上の研究論文を発表。関数型プログラミング、タイプ、リソース解析に関する研究で高い評価を得ている。元セント・アンドリュース大学教授。
2019年からIOHKに参画。フォーマルメソッドとCardanoの実装チームの主要メンバーとして活躍。毎月配信されるIOGのアップデートで技術担当として度々登場する。

👈一覧へ戻る

委任のご検討をお願いします☕️


本稿はカルダノステークプール「CoffeePool☕️」が作成しました。
COFFEの活動を応援いただける方はぜひ、委任(デリゲート)のご検討をお願いいたします😊
 TickerまたはPoolIDをクリック(タップ)するとコピーできます。
NAME:CoffeePool☕️
Ticker:COFFE
[COFFE] CoffeePool️
pool1r55hyfrd3tw6nzpkvf4rfceh2f04yph92fc462phnd0akp2s5r6

pool1r55hyfrd3tw6nzpkvf4rfceh2f04yph92fc462phnd0akp2s5r6

NAME:CardanoKissa☕️
Ticker:KISSA
[KISSA] CardanoKissa☕️
pool1lugxr82p89qm35spzwccle405t5dfdznhrasyrtr2cyv2vyfud6



参加者募集中!【カルダノキッサ】CoffeePool☕️が運営するチャットスペース

初心者でも長期ホルダーでも、楽しくカルダノ について語り合える discordスペースを作りました😊☕️
・なりすましやscam対策のためXアカウント認証で運営😊
・初心者ホルダーさん大歓迎!☕️
SPOも続々参加しています! ぜひお気軽にお立ち寄りください。
参加方法は☟
discord.gg/TNy7QNua7c