宣伝: 『「シミュレーション仏教」の試み』(JRF 著)。Amazon Kindle で販売中!
技術系電子本。Python による仏教社会シミュレーション( https://github.com/JRF-2018/simbd )の哲学的解説です。令和4年3月11日発売。

« 前のひとこと | トップページ | 次のひとこと »

aboutme:101956

メッセージを受け取った上での情報拡大体  ̄(C) でも、s が「合法的」に参照できないのを Γ,Π |- ¬( ̄(C) |> s: String) と表す。で、公開鍵をメッセージで渡してない限り、s の合法的参照はないとかいう論理系を構成できそうに思うけど。そういうのないのか?

JRF 2009年5月29日 (金)

« 前のひとこと | トップページ | 次のひとこと »

トラックバック


トラックバックのポリシー

他サイトなどからこの記事に自薦された関連記事(トラックバック)はまだありません。