以前バグハン合宿は2回参加したし, kinugawamasatoさんもラボユースで担当したことがあるので参加した. 歴代の人たちのLTが面白かった.
以前バグハン合宿は2回参加したし, kinugawamasatoさんもラボユースで担当したことがあるので参加した. 歴代の人たちのLTが面白かった.
Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rustは面白そうだったので余裕ができたときに調べてみよう.
『暗号理論による秘密計算からプライバシー保護データ解析へ』(縫田光司 大畑幸矢 菊池亮)
まだ少ししか読んでないけど縫田さん節がよい感じ.
母と吉野の金峰山寺に行ってから吉野本葛餅と本葛切りを食べた. 目の前で解説しながら作ってくれる. たいみんぐよく入れてよかった.
初めて友達と一緒にやった. おもしろかった. よくできてるな. 夜は別の友達と夕食. リーガロイヤルホテル京都が京都駅構内だと思い込んでいて時間に間に合わないかと焦った.
が届いた. 全然読めない. まえがきの部分だけスマホの翻訳で見てみた.
今年が設立20周年なのでリニューアルしたいと初めて半年以上, ようやく公開できた.
今年が設立20周年なのでリニューアルしたいと初めて半年以上, ようやく公開できた.
ようやく共通鍵暗号系が終わってDH鍵共有に入った. 数学的な説明が増えるから按配が難しい.
眉山と鳴門大橋
朝は徳島城跡の周りを6kmほど歩いて朝食. 午前はとりあえず眉山をぐるっと登る. 金刀比羅神社の急な階段をスタート, 頂上に着いて下りもすごい急. 神武天皇象を通って滝の焼き餅を食べて駅まで16kmぐらいかな. まだ昼前なのでどうしようかと迷ったが, せっかくだしと鳴門公園前に行ってみる. また揺れるバスで70分ぐらい. 渦の道の橋は強風で寒いぐらい. ところどころのガラス床は足がすくむ. 安全と分かってても怖いもんだ. 空港までのバスが無いので鳴門駅までで乗り換えて到着.
久しぶりの旅行らしい旅行でまあよかった.
徳島空港からバス. すごい揺れた. 交通機関が基本現金だった. 美術館に入ったらまず41mのエレベーターで登ったら地下3階というのに驚いた. 教科書に載ってる有名なのがたくさん実物大で展示されている. 圧巻. 自由に写真も撮れるし近くで見られるのもいい. 4時間ちょいでぐるっと回る. 徳島駅までまたバス. 混んでいて2時間ぐらい掛かった? 流石に疲れた.
旅行
唐突にどこか行ってみたくなって候補を探す. 北にするか西にするか迷ってて, 以前淡路島の美術館がすごいらしいというのを思い出してそちらにする. とりあえず航空券と徳島駅の近場のホテルを予約してみる.