たまには正規言語の研究の話を．今年パリで証明した定理について紹介します． どのような定理かざっくりカジュアルに言うと 正規言語が「ほとんど全ての文字列を含む」または「ほとんど全ての文字列を含まない」⇔ を受理する代数構造が零元を持つ ⇔ を受理す…

フランスに来て9ヶ月が過ぎましたが．まだまだこの国がよく分からなくて面白いです． 法律で定められたセール期間 フランスでは夏と冬にそれぞれ5週間ほどバーゲンセール"Soldes"が行われます．なんでも，このSoldes期間外では店は大幅な値下げをしてモノを…

せっかくパリにいるんだし，ということで． 6/3の準々決勝「錦織 vs. ツォンガ」戦をエッフェル塔の特設スクリーンで，6/7の決勝「ジョコヴィッチ vs. ワウリンカ」戦を現地Roland-Garrosで観戦してきました． エッフェル塔特設スクリーン 自宅で中継みてる…

4月は研究議論や進学手続き等のため日本に一時帰国していて，5月頭パリに戻ってきました．日本一時帰国の内容も後日記事にしたいと思います． パリに戻ってくると，自宅近くのジョルジュ・マンデル通りの木々に花が咲き誇っていて，（100%妄想ですが）歓迎し…

正規表現の入門書を書きました． <a href="http://gihyo.jp/book/2015/978-4-7741-7270-5" data-mce-href="http://gihyo.jp/book/2015/978-4-7741-7270-5">正規表現技術入門 ――最新エンジン実装と理論的背景</a&gt…

クリスマス・シーズンから新年にかけてのパリの風景を適当に纏めてみました(年越しの瞬間の写真はまた別の記事でまとめます)．この時期は論文書きで忙しかったので写真は少なめだけれども，イベントシーズンだけあって普段とは違ったパリが楽しめました． パ…

先日パリの移民局(OFII)にてようやく学生ビザを有効化してもらったので，ビザ取得までのプロセスを簡単にまとめたいと思います． 留学手続きの流れは，それぞれの留学事情にそって人それぞれだと思います． 僕の場合は 学振持ち(DC2) パリのグランゼコール：…