今日は出社。朝はオフィスに人が少ないせいか寒い。

午前中は勉強会の準備。基本的に先日メモリモデルについて勉強したことをまとめただけだが、準備しているうちに理解できたこともいくつかあった。特にTSOの形式化においてストアバッファのbypassingがどうやって表現されているかは、今回具体例を計算してみてやっと分かった。

午後は勉強会で発表した。あまり仕事に関係ない話題のわりには4, 5人から質問をもらえて嬉しかった。いくつかの質問とその回答については明日加筆しようと思う。