TezosJapanTezos財団は、Tezosのスマートコントラクト開発エコシステムをさらに前進させるために、それぞれ日本の京都大学とフランスのEdukeraに助成金を発行したことを発表します。京都大学は日本で2番目に古い大学であり、18のノーベル賞受賞者を擁するアジア有数の研究機関の1つであり、この数はアジアの他のどの大学よりも優れています。この助成金により、京都大学は、Michelsonおよび高級なTezosスマートコントラクト言語の静的検証手法を開発するために、現在シンプルなMichelson型チェックの研究を行っています。京都大学は日本で2番目に古い大学であり、18のノーベル賞受賞者を擁するアジア有数の研究機関の1つであり、この数はアジアの他のどの大学よりも優れています。この助成金により、京都大学は、Michelsonおよび高級なTezosスマートコントラクト言語の静的検証手法を開発するために、現在シンプルなMichelson型チェックの研究を行っています。幸平博士が率いるチームは、これらの検証手法のための利用可能な開発ツールを作成し、日本およびアジア地域のTezosエコシステムの成長に貢献します。淳は、このプロジェクトで京都大学と協力しています。EEdukeraは、形式論理と数学を教えるためのオンラインアプリケーションです。Duhamelによって設立されたチームは、Coq証明アシスタントに基づいた学習ソリューションを一般に提供できる事を実証しました。Strubが率いるEdukeraチームは、いくつかのTezosスマートコントラクトのプロパティを形式的に検証し、新しいTezosスマートコントラクト言語であるArchetypeの開発を開始しました。Archetypeは、Tezosでスマートコントラクトを開発するためのドメイン特化言語であり、形式的検証をより簡単に促進させることに重点を置いています。よって作成されたプロジェクトに資金を提供することにより、財団は分散型開発と強力な参加を奨励しています。本稿は企業が広報のために発信するプレスリリースです。CoinPostの執筆記事ではありません。サービスのご利用・お問い合わせに関しては、直接サービス提供会社へご連絡ください。CoinPostは本稿で言及されたあらゆる内容について、またそれを参考・利用したことにより生じたいかなる損害や損失において、直接的・間接的な責任を負わないものとします。ユーザーの皆さまが本稿に関連した行動をとる際には、必ず事前にご自身で調査を行い、ご自身の責任において行動されるようお願いいたします。