【概念】述語
- 2012.07.16 Monday
- 03:03
リスト内包表記の条件の事を述語というらしいです。前、Linq関連の投稿で「主語」がどうのこうのとコメントをいただいた事があります。これも述語を意識してのコメントだと勝手に思ってるのですが、まえまえから疑問なのが・・・この「述語」という言葉の出所は何かという事です。「これ述語です。」って言われれば、「あーそうですね。」って言うと思うんですが、「これ述語ですよね?」って聞かれると「わかりません。」ってなるくらい私の中ではモヤモヤしています。
そうそうMSDNにも、しれーっと「述語」という単語が出てきます。
実行時まで、where 句でソース要素に適用する必要のある述語の数がわからない場合があります。複数の述語フィルターを動的に指定する 1 つの方法は、次の例に示すように Contains メソッドを使用することです。この例は、2 つの方法で構築されています。まず、プログラム内で指定された値にフィルターをかけてプロジェクトを実行します。次に、実行時に指定された入力を使用してもう一度プロジェクトを実行します。
http://msdn.microsoft.com/ja-jp/library/bb513731.aspx
小学校とか中学校の国語で登場する「述語」でも何となく雰囲気で感じ取れる・・・勝手に察する・・・勝手に納得するという事はできるんですが、なんか違う気がするんですよね。分からない事を調べるのはググったりWikiを見回すぐらいしか手段を持ち合わせていないのが最近かなしいんですが、Wikiをみると
述語
http://ja.wikipedia.org/wiki/%E8%BF%B0%E8%AA%9E
言語学の述語が記述されていますが、ようはこれは国語の述語。なんか違う気がするんですね。
で、こっちの事かなって思うのが「一階述語論理」ってやつ
一階述語論理
http://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86
残念ながら私には基礎知識が足りなさすぎて理解不能なのですが、勝手な妄想でこれに関連してプログラミングで「述語」なんて言葉が出てきたのかな?
って勝手に推測してます。いや妄想。
------------
(追記)
もっと楽しむ! プログラミング言語 「豆」談義
http://gihyo.jp/dev/serial/01/enjoy-pg/0002
興味深い記事を見つけました。