2023.03.06
https://images-ext-1.discordapp.net/external/5P-KtaDVPyXenkk_cL2gJjbmDWVILrI8DMayR5KFsos/https/pbs.twimg.com/media/FqN5ALVaUAAQVgQ.jpg?width=468&height=660
Do It Yourself! おつかれ本
救いだ
前：2023.03.05
後：2023.03.07
#日報
読んだ
T. Kurahashi; "不完全性定理の数学的発展"
https://www.jstage.jst.go.jp/article/sugaku/73/1/73_0731060/_pdf/-char/ja
面白いんだけどやっぱり数学って箇条書きで書くべきな気がしてくる
2023.03.05#6404829913a1580000190243
これこっち薦めれば良かった　相変わらず平易かはさておき…
思った　
猫も杓子も圏論であることがわかる
行った
PPL2023
もしかして新潟大の工学部ってめっちゃプログラミング理論に力入ってる？
プラレールによるプログラミングの可能性
プラレールで加算器を作る試みとかがあるんだ
鉄道模型レイアウトによる論理回路の構成
間庭 彬仁; "ループのための様相演算子
nested sequent calculusに基づく様相論理GLの形式化を行うことでループとは可能性演算子のcut reductionであることを示す
R. Kashima; "Cut-free sequent calculi for some tense logics"
型付きλ計算をループで拡張すると破綻する
H.Nakano, "A modality for recursion"
様々な組合せ子のω-強頭部正規化可能性の反証
SnO2WMaN.icon知らなかったけど、コンビネータを組合せ子と書くこともあるんだ
と思ったが、調べてもコンビネータを組合せ子と書いている人はこの人しか見つからなかった
諸々のメモがあるが、面倒なのでまあまとめることは多分ないと思う
対面は疲れるので明日からは普通にオンライン参加にしよう（怠惰）