神託機械のボトルネックは、神託機械が高度な出力をするために使う言語を人間が理解できないところにありそう なんか数学が言語の落とし所になりそう カッコいいしということで定理支援系を勉強するの面白い投資だな〜となってる 勉強するか、ポートレートにこういうのを含めるのが人生の醍醐味だしな