追記: 改良しました roodni.hatenablog.com JavaScriptにはWeb Speech APIとかいうものがあって、ブラウザを喋らせることができます。 Web Speech APIを利用してTweetDeckのホームタイムラインを読み上げさせるReadTweetDeckというChrome拡張があるんですが…

プログラミング言語の基礎概念(CoPL)という本があります。この本は操作的意味論と型システムの入門書なんですが、オンライン演習システムがあるのが特色で、演習問題を解くと正誤を自動でジャッジしてくれます。 導出規則にしたがって式の評価や型付けを行っ…