まぁ、データ活用の基本企画は決まった。まだ、どのプログラミング言語でどういうデータ構造にするかは悩んでる。

うーむ、空とかnullはφという記号を使うとして。不定ってのはなにかよく使われる記号ってあったっけ?普通に単一化みたいに考えてただの変数みたいに書いとけばいいのかな…。でもギリシア文字とか使った方がかっこいい、じゃなくて目立つから、見た目で分かり易いのだが。

空にεを使うのもふつうだな。 ψでも使うか。∃と∀はこの記号でいいや。

分野によっては不定なんとかをχを使うのもあるのか。それもいいなぁ。

直接は使わないけど、記号論理と述語論理を軽く読み直した方がいいかも。どっかに詰め込まれた本を探さないと。記号論理はどこにあるか分かっているけど。