■

リーマン予想とはなにか 全ての素数を表す式は可能か (ブルーバックス)

昨日は Atiyah がリーマン予想を解決したという話で盛り上がったが、すっかり鎮火。　
NKZW さんに来てもらうも、真ん中のエアコンがそんなに臭くはならない。。
昼は大庄水産で海鮮丼。650円。
２時過ぎに SETN さんやってくる。近況報告とニューロ系をどう攻めるかについて。
４時からリトライ試験。ここも若干エアコンが匂うきも。。
jcp の proof がやってくる。４８時間で直さんといかん。
PLoS ONE も一人のレビュアーはやってくれた。IINO さんからの提案書が来たので上げる。
５時半ごろ出て、ミアボッカ。いろいろ飲む。ウニの包み焼きというのも注文してしまう。。