【概念】述語

  • 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

興味深い記事を見つけました。

コメント
コメントする








    
この記事のトラックバックURL
トラックバック

calendar

S M T W T F S
      1
2345678
9101112131415
16171819202122
23242526272829
30      
<< September 2018 >>

あわせて読みたい

あわせて読みたいブログパーツ

selected entries

categories

archives

recent comment

  • 【キーボード】6年前のRealForceを復活させることはできる!?その3
    art55 (05/22)
  • 【キーボード】6年前のRealForceを復活させることはできる!?その3
    分解大好き (05/18)
  • 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
    art55 (02/04)
  • 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
    Gen (02/04)
  • 【キーボード】RealForce が壊れて帰ってきた。
    art55 (04/29)
  • 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
    art55 (02/23)
  • 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
    かるあ (02/22)
  • 【C#】Dictionaryの実装・データ構造・アルゴリズムを観察する。
    art55 (01/16)
  • 【C#】Dictionaryの実装・データ構造・アルゴリズムを観察する。
    karuakun (01/16)
  • 【NetOffice】【Excel】死なないExcelプロセスをKillする。
    art55 (12/05)

recent trackback

recommend

recommend

recommend

C#プログラマのための.NETアプリケーション最適化技法 (Programmer's SELECTION)
C#プログラマのための.NETアプリケーション最適化技法 (Programmer's SELECTION) (JUGEMレビュー »)
Sasha Goldshtein,Dima Zurbalev,Ido Flatow,サシャ・ゴルドシュタイン,ディマ・ズルバレフ,イド・フラトー

recommend

ろんりと集合
ろんりと集合 (JUGEMレビュー »)
中内 伸光
とてもわかりやすいです。

recommend

recommend

シャノン・ノイマン・ディジタル世界
シャノン・ノイマン・ディジタル世界 (JUGEMレビュー »)
市川 忠男
4章がリレーショナルデータベースな内容になってます。ページ数があまりありませんが、ポイントがものすごく的確にまとまっていて、感動します。

recommend

recommend

東プレ Realforce91UBK-S 静音キーボード 静電容量無接点方式 変荷重 ブラック NG01BS
東プレ Realforce91UBK-S 静音キーボード 静電容量無接点方式 変荷重 ブラック NG01BS (JUGEMレビュー »)

テンキーレス、静音のRealForce91UBK-S。スコスコ感がたまらなく気持ちいいです。家と会社で2台持ってます。

recommend

recommend

プログラミング.NET Framework 第4版 (プログラミングシリーズ)
プログラミング.NET Framework 第4版 (プログラミングシリーズ) (JUGEMレビュー »)
Jeffrey Richter
発売予定美 2013年10月10日。.NET Frameworkとお付き合いする人のバイブルですね。

recommend

recommend

キャット・シッターの君に。
キャット・シッターの君に。 (JUGEMレビュー »)
喜多嶋 隆
私のイラストレータデビュー本です。

recommend

Essential .NET ― 共通言語ランタイムの本質
Essential .NET ― 共通言語ランタイムの本質 (JUGEMレビュー »)
ドン・ボックス,クリス・セルズ,Don Box,Chris Sells,吉松 史彰

links

profile

search this site.

others

mobile

qrcode

powered

無料ブログ作成サービス JUGEM