前から自覚はありますが，僕は全然本を読まない人です。どのくらい読まないか，という数字を具体的に書いたところで同程度に読まない人はきっとそこら中にいて面白くないので書かないでおきますが。*1専門書なんかもほとんど読んでいないので，専門に近い数…

CodeFest というイベントの一環として開催された MathMania というコンテストに参加しました。195 点満点中 145 点で 6 位になりました。思いの外上位に入れたし，問題を見た瞬間は半分も解けないかなと思っていたのが結局時間内に一応全問正解かそれに近い…

私的まとめ。 直観主義様相論理っぽい構造が最近の流行になっていたりいなかったりするらしい アスペクト思考って，プログラムにテキスト上の配置とは別の位相を入れることなんじゃないかな 線形論理の結合子を日常会話でも使うようにするといいと思うよ 後…