2023.08.04
https://gyazo.com/fc63fe7933da7d77f770d07e02b4fb24
前：
2023.08.03
後：
2023.08.05
#日報
読んだ
T. Kurahashi, "The provability logic of all provability predicates"
思った
"Provability (Predicate)"を「
証明可能性述語
」と訳しているのに"Provability Logic"を「
証明可能性論理
」と訳しているの普通に一貫性が無くて良くない気がしてきた
https://fedibird.com/@sno2wman/110829985895021419
証明可能性論理
という言い方はあるのだろうか？
思った
生徒会役員共＊ 第1話
オーマイガー
この延長線上に
アニメ『好きな子がメガネを忘れた』第1話「好きな子がメガネを忘れた」
があるの確かにと思う．
恐ろしきアニメ会社，
GoHands
メモ
λ計算
に
while
を追加したものは
様相論理GL
によって特徴づけられるみたいなポスターを何かで見た覚えがあるけど何だったか忘れた