初めて言い出したのは 私の記憶では、ウィトゲンシュタイン（語ることが出来ない）をソフトウェア開発と絡めて言い出したのは、（初期の）（形而上）関数型プログラミングを信望していた人たちだったと思います。 関数型という事で、 プログラミングの中身は…

勿論、大学の先生なら 勿論、ある分野で、著者の名前が代名詞となる様な、世界的な教科書を書いてくれる様な大学の先生なら、背乗りでもなんでもして頂いて、全く問題無いと思いますが、 私と大差無い様な、あるいはそれより経験も足りなそうな人間が、自分…

どの様な話？ 前に、プログラミング言語の中での関数は、 「⚫︎ー⚪︎」をプログラミングだとして、 ⚫︎を呼ぶ側、⚪︎を呼ばれる側だとすると、 関数はーだと 書きましたが、 関数は「ー⚪︎（ただし⚪︎の中身は考えない）」 でも良いのでは、と思いました。 いずれ…

生活にあまねく関わっている関数 皆様全員が日常生活で、「関数」に関わっていると思います。 それは、 ブラウザ画面や、スマホアプリ です。あれらの実行（ボタン押下）の操作は、「関数」だと思います。 さらにブラウザやスマホアプリでは、 実行（サブミ…

でももしかすると、 関数型で手続き型（あるいはもっと複雑な型）を推しはかろう とするのと、 可視化（問題をある基準で分類し、重い順から管理する） のは同じ事を言っている（抽象化と称して、その実、ざる）可能性も有ります。 自動テストも決まって関数…

アイディア（仮説）の段階ですが、 アイディア（仮説）の段階ですが、関数型プログラミング何て「最弱」と言っていい様な、別の「約束された失敗」が有りました。（このブログで、私が前から断片的に言っていた事ですが。。。） それをすると、どんな大企業…

どの様な話？ 大抵のプログラム言語は、 関数（陽関数、陰関数を問わず）を基礎としている のは動かし難い事実だと思います。 では何で、それが関数”型”となるとしょぼくなるのでしょうか？ それを手続型プログラミングをベンチマークとして、公理型、論理型…

なんで「技術的負債」だったのか？ コストを掛けて（形而上的関数型なんてちゃちなものでは無く、金や地位や好ましく思えるパートナーやの提供で）、技術者としての背乗りに成功したとしましょう。 それだけのコストを掛けるとなると、乗っ取る先のシステム…

なんで「背乗り」だったのか？ ＞（時効とかも有り）金銭は望めなくとも、＞そういう事を言って、やっている人間の価値を具体的に落とした人の名誉は＞（没後でも構わない）剥奪すべきでは無いでしょうか？ とか書いた後、ふと思ったのです。 向こうが馬鹿で…

どの様な話？ 関数型プログラミングは学術的評価を受けているが、お前の言っているのは、感想に過ぎない と言われた時に「するべきだった事」が有ると思います。それについてクダクダと書き連ねたいと思います。なお、 MZ80C *1（大学に入って直ぐなので40年…

前にAIに 前にAIに「オススメのSIMはなんでしょうか？」と聞いた時、（色々有って、決められないとして）いくつか例を出して来たのですが、その時、 Y!モバイルはドコモ電波だ と明記して来ました。 Y!はソフトバンク電波に間違い無いと思いますが、 何でそ…

引数から入ってくれば、即副作用無しなのか？ 最近の言語ならば、初歩的なLISP言語でも無ければ、テープのみ複数本使った処理でも無い、もっと洗練されたやり方になると思います。 典型的には、 データベースの接続への参照 を引数から取り込んで、それを使…

進歩 私が初めにたずさわったシステムの中で、飛び抜けて古かった商品のシステムは、 全部磁気テープ（以下テープ）で行う マスター（元帳）もテープ 処理もテープ 初めから順に書くだけ、読むだけ。一度書いたら二度と変更はしない。 テープを替える専門家…

どの様な話？ 愛機だったMZ80Cのカセットテープで動く、LISP言語での経験しか無いですが、ほぼ動きませんでした。 まず前提として、そのLISP言語は、 readとかの機能が無い、副作用が無い データはリストで（全てを予め）渡す リストのcar部を使い、次の処理…

くだらないという証拠にしようとする （因果推論を含む調査分析有りの）プログラミング開発はくだらないという証拠にしようとする人間が上司だった場合、本当に困ります。 SIerだとか、多重下請けだとかは、単に、 そういう困った関係を正常化する為の擬制に…

それって疲労のせいじゃ無いですか？ それって疲労のせいじゃ無いかと思われるかも知れませんが、９割９分その通りだと思います。 ですので、『個人の感想です。多分ですが、その養分は欠乏する前に摂っても無意味だと思います。』と何度も書いています。 た…

何でこんな話題を思いついたか？ 考えてみて下さい。 上流こそが大事 超上流こそが大事 名前をきちんと付ければそれで解る 少なくとも（自分ら）上級の人間は とか、色々言って、因果推論から何で逃げたいのか？何で他人に押し付けたいのか？ それは、 因果…

どの様な話？ 自分の責で、サーバーの動作をおかしくしてしまった場合、 指摘の有った事象から因果推論をして、 原因にたどり着き、 修正範囲を確定して、 過不足無く、誤り無く、とにかく素早く修正する 事を1分でも2分でも早くやり切る必要が出ます。 そう…

どの様な話？ こちらはちっとも悪く無いのに、非難された（酷い目に遭った）話です。 前に持っていたクロスバイク*1で、何を思ったか輪行で霞1の近辺に行った時の話ですが、 快走路が急に、 田んぼを乾かした上に、 L字擁壁が左右に有り、その間に（多分）盛…

対抗軸 やはり、 分かりやすい、まともな名前 と 調査分析、因果推論 と言うのは、対抗軸になると思います。分かりやすい名前が有れば、調査分析や因果推論は不要だ、と言う立場と、そうで無い立場、です。 そうで無い立場 昔、物凄く古い（高価な）RHELで出…

分かりやすい名前？ 最近、割とよく、 機械的な連番の名前は生産性が劣り、分かりやすい名前は生産性が向上する とかの記事を見ます。 確かにCOBOLなんかだと、 ある日付：ABC001 ある日付の年、月、日：ABC0011、ABC0012、ABC0013 とかやっていました。半角…

走狗？ 何で「関数型プログラミングである ４」で執拗に、「学部生程度」の人間の事を揶揄したかというと、 その程度の歳の人間が、 ある（形而上的な）手法のみを成員全体に推す事を企図した人間の、 走狗（今風で言うと、ファンネル？）となって、具体的に…

学術的知見の伝え方 ビジネスはファクトに基づいている 関数型プログラミングは学術的評価を受けているが、お前の言っているのは、感想に過ぎない と言った上司の上司は、その時部長で、社長にもなった方で、もうお亡くなりになりましたが、なんでその様な"…

どの様な話？ 私は現在60歳ですが、50歳の頃から歯ぐきが下がりだし、物を食べると痛くなる様になりました。 それがどんどん悪化するのですが、原因として、 本当に痛い所は本当に痛いので、脳が歯ブラシを当てる事を拒否する その事を当人（私）は全く気づ…

根拠の無いイノベーションの主張の悪影響 根拠の無いイノベーションの主張、つまり ハードウェアの更新を伴わない、「ソフトウェアのイノベーション」 を求めるか否かで、 一人前のソフトウェア技術者の1/10 や 1/100 のパフォーマンスしか発揮出来ない技術…

どの様な話？ 関数は、 得やすい自然な値の入力 変換１ 責務（その世界の支配的な少数の前提）の実装 変換２ 欲しい自然な値の出力 と言う構成を取ると思います。 そうなると、 外から見た責務と実際の責務にずれが生じる 何を以て単一の責務というのか解ら…

もう放談、放言に徹しようと思います なら「公理的プログラミング」はどんなハードウェアによって裏付けられているのか、も、考えてみました。これ以降、完全な妄言です。 「公理的」というと、感覚的に言って、 その世界の支配的な少数の前提で、 大まかで…

関数型プログラミングを期成していた人たちのエピソード 関数型プログラミングを期成していた人たちのエピソードを書きます。 その１ その人は絶対にこちらのやっている事について、くだらないとか言わないだけ、良識が有ったとは思います。 ある日、その人…

仮説に仮説を重ねますが．．． 前回の「根拠の無いイノベーションの主張 ２」で言い忘れていましたが、 仮説として、 データを時系列順に処理するのは古く、分散処理で、非同期処理が新しい と言う主張こそが、私が言っている「形而上関数型プログラミング（…

全くの仮説 これから述べる事は、何の根拠も有りません。完全な空想的仮説です。 データを時系列順に処理するのは古く、分散処理で、非同期処理が新しい と言う主張は、 HPC（スーパーコンピュータ）が在る場所では、確かに「ハードウェアの更新を伴う、ガチ…