逃げねばSGLセミナには新メンバーもやって参りました。学校的には後期スタートです。ディープげふんげふんラーニングなるものの勉強会に誘われて参加し始めました。炎上案件な気がしてなりません。実装はできるのでしょうか、乞うご期待です。世間では数学基礎論若手の会なるものが開催されたようですがぼくは参加しませんでした。修論のプレッシャーが刻々と近づいております。いや修論の80%くらいは3月の数学会の内容の書き写し見たいなもんですが。修論の証明に所々欠陥があってもうだめかと思った。ありがとう指導教員、acknowledgementにもちゃんと書くよ。あとはコミケ第2段でした。空回りっぽい感じでしたが発起人がうまくまとめてくれました。ありがとうございます。来年も生きていたらなんか書くかもしれません。練習ssreflect始めました.月別アーカイブはてなブログをはじめよう!srbsrbさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。