>>207
>>個人の感想ですが
>
>「素人の感想ですが」だろ
>
>＞文章表現部分は、コード化しやすい気がする
>
>「気がする」だけだろ
>
>＞問題は、圏論的に 矢印図で 文章表現部分になっていない部分
>＞例えば、”素数ストリップ D”とか
>＞ポンチ絵表現があったを言語化しないと、コード化できないだろう
>
>グラフがコード化できないと思うのは
>プログラム書けない素人だけ
>
>＞ここらが、IUTのコンピューター検証で 難しいところだと思っています
>
>高卒素人の感想だな