医療保険請求の自動化のためのスマートコントラクトの生成

知識グラフを使ってスマートコントラクトのロジックを宣言的に表現し、それを自動的にブロックチェーン上のスマートコントラクトコードに変換することで、分散環境における信頼できる意思決定を実現する。