623 followers
RT @metaphusika: 可読性に焦点を当てた研究は、その後Isabelle/Isar(ベースはIsabelle/HOL)として行われるようになりました: https://t.co/VYu7TUFkum https://t.co/lpIrNsBCgt 今はIsabell…
RT @metaphusika: 可読性に焦点を当てた研究は、その後Isabelle/Isar(ベースはIsabelle/HOL)として行われるようになりました: https://t.co/VYu7TUFkum https://t.co/lpIrNsBCgt 今はIsabell…
RT @georg_logic: Isarの後に出てきたNaprocheという研究もあるようで、少しだけ勉強しました。LaTeXとの親和性やできるだけ自然な言語を用いたいそうで、ForTheLという言語が採用されています。 https://t.co/dJje3xnUdu
RT @georg_logic: Isarの後に出てきたNaprocheという研究もあるようで、少しだけ勉強しました。LaTeXとの親和性やできるだけ自然な言語を用いたいそうで、ForTheLという言語が採用されています。 https://t.co/dJje3xnUdu
RT @metaphusika: 可読性に焦点を当てた研究は、その後Isabelle/Isar(ベースはIsabelle/HOL)として行われるようになりました: https://t.co/VYu7TUFkum https://t.co/lpIrNsBCgt 今はIsabell…