20/05/24 20:55:12 WD4sBPKv.net
NLPって、面白そうだね
IUTも、将来 これで検証されるかもね（＾＾
URLﾘﾝｸ(twitter.com)
math_jinさんがリツイート
theHigherGeometer
Source for quote: section 2b of URLﾘﾝｸ(jiggerwit.wordpress.com)
(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
URLﾘﾝｸ(jiggerwit.wordpress.com)
(deleted an unsolicited ad)