NLPって、面白そうだね
IUTも、将来 これで検証されるかもね（＾＾

https://twitter.com/math_jin
math_jinさんがリツイート
theHigherGeometer
Source for quote: section 2b of https://jiggerwit.wordpress.com/2019/06/20/an-argument-for-controlled-natural-languages-in-mathematics/

(I think the idea promoted in this blog post would be cool application of
@math3ma's work in NLP, if anyone is interested)
An Argument for Controlled Natural Languages in Mathematics
What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a ca…
jiggerwit.wordpress.com

https://jiggerwit.wordpress.com/2019/06/20/an-argument-for-controlled-natural-languages-in-mathematics/
https://twitter.com/5chan_nel (5ch newer account)