2026.07.04
https://gyazo.com/358dc7c7434272fbf4650ae56a4159fe
ギャオオオオオオオオン
観た
ギャオオオオオオン
萌え怪獣現る
思った
λ計算のSコンビネータに対応する命題論理の$ →のみによる公理を様相論理的に解釈するとそれは様相論理の公理Kになるのだけどもし世界が上手くいっていたらそれはKコンビネータと名付いてほしかった 覚えやすかったので やった(やらせた)
https://gyazo.com/242d01ffa6fd0ff9fa7c1951902e5540
ずいぶん前にやろうとしてどう形式化すればいいんだと思って放棄してしまったPRをClaude Opusにネクローマンスさせて証明埋めてもらった すごすぎる