https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @cstheory: Sad news: Zoltán Ésik passed away yesterday « Process Algebra Diary: https://t.co/hiPBtHvITN | |
| RT @ranha: 謹んで哀悼の意を表します． Top-downなTTの等価性判定を与えた人というイメージと，代数的な方向からのParikhの定理の証明（PDF:https://t.co/hIdz0Zvz7m）とかGNFの構成（https://t.co/gDpejrHdPW）… | |
| まじか |