種別[statuses] aboutme:101955 セクションJRF のひとこと 日時2009年05月29日 元URLhttp://jrf.cocolog-nifty.com/statuses/2009/05/aboutme101955.html 記録保持実体 C in Γ、やりとりされたメッセージの集り Π、文 s… 記録保持実体 C in Γ、やりとりされたメッセージの集り Π、文 s として、C は s を(導出して)参照できるのを Γ,Π |- C |> s: String とかで表し、 JRF 2009年5月29日