そういや、知り合いが「ならば」の話をしていたな、と思い出して、なにか公開されている資料がないか探したところ「様相論理の文脈意味論」というのを見つけた https://t.co/kXkMAqJrmc

去年 IPSJ PRO で発表した Safe Low-level Code Generation in Coq Using Monomorphization and Monadification という論文が論文誌 (Journal of Information Processing) に載った https://t.co/gaa6PcfaFL

なお、物理の数式の中の単位の取り扱いについてはいろいろ間違っていることが多いので、気になる人は例えば小牧さんの↓を読むべし。 https://t.co/UpnvVmkFfG

「ツイート」の「５年分くらい読み直し」を要求するなら、まず式の表示的意味論と操作的意味論と公理的意味論を学習してほしい。#いつもの https://t.co/dk3Nj2Yygj https://t.co/s8NlUSgnWh