このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

理系のための総合語学・リベラルアーツの視点から数学・物理・プログラミング・語学 (特に英語) の情報を発信しています. コンテンツアーカイブに見やすくまとめているのでぜひご覧ください.

正規言語と代数と論理の美しい対応をVariety Theoryの視点から紹介した資料を公開しました． 「正規言語と代数と論理の対応：An Introduction to Eilenberg's Variety Theorem」 http://t.co/WuBA23cRLp

— Ryoma Sin'ya (@sinya8282) 2014, 9月 14

正規言語, いわゆる正規表現のことか.
いまだに研究するべきことがあるとかいうあたりにまず驚く.
とりあえずメモ