宣伝: 『宗教学雑考集 易理・始源論・神義論』アーリーアクセス版(JRF 著)。
Booth で、DRM フリー電子書籍(EPUB＆PDF)を販売中！宗教に関する哲学的な話題を雑多に集めた論考集です。(2024年1月5日発売)

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

aboutme:101953

暗号通信を記号論理で検証するってどこかに絶対あると思うんだけどなぁ。フォーマル・メソッドとかで検索したやつがそうなのかなぁ。

JRF 2009年5月29日 (金)

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

トラックバック


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

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