We present a denotational semantics of a common extension T^+ of T (Goedel) and PCF (Plotkin), operating over the Scott-Ershov partial continuous functionals. The base domains are taken to be non-flat data types, because we want the constr…

日差しの強い、汗ばむ日。新幹線で京都へ。売店で崎陽軒のシュウマイ弁当が売り切れていたのが非常に不満。 時間の30分前に大学に到着。案内メールには工学部8号館423号室と書いてあったので8号館へ行くが、いくら探しても423号室が見あたらない。4階にあっ…