MarriageTheoremのこと

_ （3/2記：投稿中の共著論文の採録通知をいただいた。めでたい。）

_ IACR ePrint 2016/229まで確認済み、ECCC 2003年分まで確認済み

_ （3/5記：桃の節句だったので帰りに駅前のお店で桜餅を探したのだが、時間が遅かったこともあって品切れであった。無念。）

_ （3/5記：先日Twitter上で某氏の味噌汁の作り方について「出汁をとらないとまずいのでは」「いや、出汁入りの味噌を使うから大丈夫」（←大意）みたいなやり取りが繰り広げられていたのだが、この日の職場の勉強会で私が味噌汁の作り方を説明する話の流れになったときにも出汁の存在をまるっと無視した説明をしたことに後から気が付いた。出汁入り味噌万歳。）

_ IACR ePrint 2016/245まで確認済み、ECCC 2003年分まで確認済み

_ （3/18記：週末。）

_ （3/18記：おしごとのためにス某ツを着るなどした。）

_ （3/18記：二日連続で（中略）なんか着てたまるか、と私服で某会議に臨んだ。とりあえず独りではなかった。）

_ （3/18記：週末の出張の分のお休み。）

_ （3/18記：共同研究の議論をがっつり行うなど。）

_ （3/18記：某C大ミーティング。人口密度が高い。）

_ （3/18記：とある会議のため出張。夕食を食べ損ねた。）

_ （3/18記：とある会議二日目。この日は無事夕食を食べられた。）

_ （3/18記：とある会議最終日。「白い恋人」のパクｒ…インスパイアであるところの恋人シリーズ、今回は「淡路の恋人」という品を見つけたのだが、「あわじ」って「逢わじ」に繋がるので「恋人」に前置するにはあまり適さないのではないかと心配になるなど。）

_ （3/18記：用事があって休めなかった。）

_ （3/18記：数学基礎論の勉強をしていて、基礎の論理体系に新たな記号を（いわゆる「定義による拡大」で）導入したときに本質的に新しい論理式が増えない（←雑すぎる説明だけど正確な記述は割愛）、という性質を真面目に証明するとえらく面倒なのだなぁと実感するなど。）

_ （3/18記：先日の出張の代休。無茶苦茶体調が悪かったので休めてよかった。）

_ 某所でパネルディスカッションの登壇者などという偉そうな大役を仰せつかるなど。他の登壇者が真面目枠っぽい人選だったので恐らく私は（中略）、と推測してアレコレ好き勝手に喋っていたら座長から「誤解のないように補足しておきますが、（後略）」とフォローが入るなどした。

_ IACR ePrint 2016/305まで確認済み、ECCC 2003年分まで確認済み

_ （4/15記：週末。日記の間が開きすぎて詳細を忘れてしまった。）

_ （4/15記：週末。）

_ （4/15記：祝日のため３連休だった。久々に妻とカラオケに行ったのはこの日だったかなぁ。）

_ （4/15記：年度末のため事務系の仕事が多い。）

_ （4/15記：職場で開催したワークショップで、最終発表者としてそれまでのプログラムで押しに押した時間を調整する大役を仰せつかるなど。と思ったら実際にはほぼ時間通りの進行で出番が回ってきたので、想定より長く喋ることになった。あと、発表２分前に着想した話の枕のネタは滑（以下略））

_ （4/15記：年末なので事務仕事（以下略））

_ （4/15記：某C大ミーティング。）

_ （4/15記：週末。歯医者へ。）

_ （4/15記：週末。忙しかった。）

_ （4/15記：年度末なので事（以下略））

_ （4/15記：年度末ということで、この日が最終勤務日となるRAの学生さん（就職のため）の今後の活躍を祈念するなどした。）

_ （4/15記：年度末なので（以下略））

_ （4/15記：年度最終日なのだが、職場のイベントで立て込んでいた。）