パスワードを忘れた? アカウント作成
15268724 journal
日記

dotkuwaの日記: CS版選択公理 3

日記 by dotkuwa

選択公理:X が互いに交わらないような空でない集合の集合であるとき、
X の各要素から一つずつ要素をとってきたような集合(選択集合)が存在する
(Wikipedia 日本語版 公理的集合論より)
という言い方が有り、人間が構成可能な数学的には0時間で実行可能だそうです。
 
しかし、CS的には違うと思います。
・集合の集合はたいていデータベースで実現される。
・必要な値を持ってくるのは0時間で出来ない。
・必要な値を持ってくることこそ、事務計算のプログラミングの要諦であり、
 計算はそれより楽だし、自動テストも容易で、何十年前から自動テストは
 実用化されている。
・必要な値を持ってくるのに副作用が必要な場合がある。
・「必要な値を持ってくる」をテストするのは困難で、データベースに追加された
 値しだいでは、追加のテストが必要になる(現在のテストのみではバグを検知
 出来ない場合が出る。)
  という悪い性質を持っています。

関数型プログラミングは、この点を等閑視しており、オブジェクト指向
プログラミングより真に出来る範囲が狭い
(その代わり、表現できる範囲では簡単でテストもしやすい)
し、
出来ない範囲に、ちょうど事務アプリが分類されてしまっている
(自分が仕事をしている社会では実用にならない)のだと思います。
 
関数型プログラミングがオブジェクト指向プログラミングと同等の能力を
持っていない事がそれの停滞
(試してみないと正しいかわからないのは事実だが、5年、10年経っても、
成果が0である場合、解呪すべきであり、ビジネス的にはファクトとして
『いんちき』と認定すべき)
の原因ではないでしょうか?

  • by Anonymous Coward on 2021年04月25日 18時19分 (#4020333)

    タイトル誤解

    ここに返信
    • 前にフォトグラファー向け優待PSとAIに入っていたら、
      絶対に解約出来なくなり、フルフルのCCに一旦、入らざるを得なく
      なって、大変な金額になってしまったことが
      あったので、CCはもういいです!
      サポートの人が何人も入れ替わりで、駄目だったので、
      マジでした。

      • 要するに、
        ・副作用は中ボス程度で、「副作用の無い関数型」というアイディア
         では、倒せる問題が限られる
        ・大ボスはコンピュータサイエンスにおける選択公理(比喩)で、
         要するに「屏風から虎を出してくれ」、「そうすれば何とかなる」
         という毎度の話
        という事でした。
         
        あと、事務計算の特異な点として、
        ・計算(特に割り算)を1回する毎に、指定された桁数の指定された
         やり方の丸めをする。
         (少数第2位で、(銀行方式でない)四捨五入をする、など)
        ので、
        ・計算方法をいろいろ切り替えて、そのデータの特性に応じて誤差を
         最小にする
        などの工夫が完全に不要な点もあります。多分ですが、手計算でも
        出来ることを、最重要の要件としたためだと思います。
         
        なので、計算は完全に一意に決まるので(そうなる様にしている)、
        比較すると軽く、値を持ってくるのは重いのです。
        テーブルを5回索いて、しかもキーで一意に決まらず、なめないと
        出ない料率表なんてのを扱った事があります。

typodupeerror

192.168.0.1は、私が使っている IPアドレスですので勝手に使わないでください --- ある通りすがり

読み込み中...