http://www.google.com/intl/ja/help/features.html 「映画検索」によると： 上映中の映画をエリアから探したり、そのレビューを見るには、Google 検索ボックスに「映画」、「上映」または上映中の映画の題名を入力します。前回の検索で既に場所情報を保存し…

最近、メイヤー代数／メイヤーオートマトンの話をしました。（メイヤーオートマトンとメイヤー加群は同義語です。） メイヤー先生からモナド類似構造へ メイヤー代数、メイヤー指標、メイヤーオートマトン メイヤー代数／メイヤー加群の圏 メイヤー代数／メ…