« 前のひとこと | トップページ | 次のひとこと »
記録保持実体 C in Γ、やりとりされたメッセージの集り Π、文 s として、C は s を(導出して)参照できるのを Γ,Π |- C |> s: String とかで表し、
JRF 2009年5月29日 (金) Tweet
トラックバックのポリシー
他サイトなどからこの記事に自薦された関連記事(トラックバック)はまだありません。
易とタロットの融合?社会シミュレーションの雛型?『易双六』無料公開中。
JRF が設計したタロットカードを使ったソリティアの一種。ブラウザゲームとして登場。