Civichat-lang
https://gyazo.com/d89147b8f3fac3cbea4d27de44994159
https://gyazo.com/a46b6f5bdb3a873bb3307b794a7b5f28
数学の証明は論理的である必要があるので、そこのGUIのツールをリサーチ 自然言語で記述された数学証明原文の論理構造をフローチャート様の論理構造図で表現するための規則及び作図ツールが開発された.今回は,論理構造図による理解を原文による理解へ転移させることを志向し,原文と論理構造図で表現した証明に含まれる各命題同士を対応付けて提示するためのインタフェースを開発,効果を検証する.
https://gyazo.com/a1b74a12ce5f25d551aef83bc930c341
https://gyazo.com/cf21683a1369db9cb6fd1ddd0b1cc559
https://gyazo.com/e9c8e651617b581aba5769509f5b7866
https://gyazo.com/bff4c0925c2f41f9ce9a3679098883d8
https://gyazo.com/fe3c994650a3c9f70dd0a3e7403b74ea