https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @john_229 おすすめです | |
| @sinya8282 うむーすみません僕はよく知らないです。例の位相の論文の前からIRPを連続と呼ぶ文化はずっとあって（http://www.sciencedirect.com/science/article/pii/S0304397505008807?via=ihub とか、逆像が何かを保つのは確かに連続ぽい）ただ僕の読んだことのある論文は基本的にモノイドとオートマトンで殴っていた | |
| POPL 2014 の論文チェックしてなかった。http://bentnib.org/conservation-laws.html 古典力学に対する多相型システムを定義して、その型システムからFree Theoremで対称性がどんどん出てくるようにする | |
| 自然変換になってるものを見たらとりあえず記述言語を作って多相型をつけてみれば面白くなるよということでいいのかな |