オートマトン理論再考
オートマトンは最も単純な計算のモデルである．その単純さゆえに初学者にとっても理解しやすく，情報系の学部においては「計算理論」や「形式言語理論」などの講義はまずオートマトンから教え始めることが標準となっている．一方，その単純さゆえに理論的な深みやさらなる研究の余地がないと誤解されることもしばしばあり，また，講義や解説書においても応用的な需要からかより強力な計算モデルに重きが置かれることも多い． 本サーベイではオートマトン理論の基礎から始め，三話構成でオートマトン・形式言語理論の様々な定理を解説していく．解説する定理の中には，オートマトン理論における古典的な結果に別の視点を新たに与えるものもあれば，オートマトン・形式言語理論と関わりのなさそうな分野との意外な繋がりを見せるものもある．オートマトン理論に習熟している方にも楽しんでもらえるよう，最近の結果や話題についても内容に盛り込んだ．
Concurrency Control and Recovery in Database Systems - Microsoft Research
About I am a member of the Data Systems Group (opens in new tab) in Microsoft Research Redmond (opens in new tab). I work on various aspects database systems, mostly related to data integration and transaction processing. I’m currently working applications of disaggregated memory as a remote database cache. From 2012-2019, I worked on a distributed systems programming framework, called Orleans (op
So You Wanna Go Fast?
This document contains the transcript from a presentation titled "So You Wanna Go Fast?" by Tyler Treat. Some of the key topics discussed include measuring performance using tools like pprof, how different language features in Go like channels, interfaces, and memory management can impact performance, and techniques for writing concurrent and multi-core friendly code in Go like using read-write mu
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
