aboutme:101956
メッセージを受け取った上での情報拡大体 ￣(C) でも、s が「合法的」に参照できないのを Γ,Π |- ￢(￣(C) |> s: String) と表す。で、公開鍵をメッセージで渡してない限り、s の合法的参照はないとかいう論理系を構成できそうに思うけど。そういうのないのか？
JRF 2009年5月29日 (金)
宣伝: 『「シミュレーション仏教」の試み』(JRF 著)。Amazon Kindle で、または、少し高いですが、DRM フリー EPUB を BOOTH で、販売中！
技術系電子本。Python による仏教社会シミュレーション( https://github.com/JRF-2018/simbd )の哲学的解説です。
技術系電子本。Python による仏教社会シミュレーション( https://github.com/JRF-2018/simbd )の哲学的解説です。
