2007-01-19から1日間の記事一覧
『ついていったら、こうなった』(asin:488392520X;ココで言及)、拾い読みのつもりが結局全部読んでしまった。で、僕もキャッチセールスにひっかかってみたいという欲望がムラムラと湧き上がってきた。だが、現在、法律やら条令やらで、路上でのキャッチセ…
米田の補題は圏論の有名な定理、米田信夫さんはその発見者。なのに、 google:米田の補題 米田信夫 今日(2007-01-19)現在、事実上僕が書いたエントリーだけ。マイヒル/ネロード(Myhill/Nerode)の定理は、形式言語理論の有名な定理。だが、 google:マイヒ…