因果関係というのはそれ程、一般的では無い？ ヒュームと同時期の哲学者のエルンスト・マッハに関する本*1 を読んだのですが、 マッハは、 「原因」と「結果」の観念など は、持ち込むべきではない、と思っていたそうです。 同じ本でマッハの文体に「むかつ…

国による、得意分野の違い 哲学は歴史的に、その後、自然観察を元にした別のやり方によって、メタクソにおとしめられ、それは故無きことでもなかったので、定着して行ったのだと思います。 国による、得意分野の違いは、どうしても出ると思いますが、 何の思…

デイヴィッド・ヒュームに関する本 デイヴィッド・ヒュームに関する本*1 を読んだのですが、 「きっと起こる」と信じるような観念、すなわち「信念」こそが、 因果関係の本質だ とし、その主張で、 イマヌエル・カントをして「私の独断のまどろみを破り」 と…

「束構造（ラティス構造）のグラフ」 プログラミングの場合、 「束構造（ラティス構造）*1 のグラフ」になる とかは、昔読んだ雑誌（bit とか？）に書いて有っただけなのですが、 「束構造（ラティス構造）のグラフ」の因果ダイアログというのは、 良い構造 …

プログラムの原因なんて一目瞭然では無いのか？ 前に「常識が通じない １」で、 「非常識」とは、 多数の人間が体験するさまざまな可能性の中から、起こりにくい事 しかし全歴史の中で1回しか起きていないとかでは無く、もう少し頻度の高い事 とし、 このプ…

「負債」で無いもの 一つだけの関数の「実行」と、 その前後に有る「準備」と「確認」 からなる「テスト」は、まさか「負債」呼ばわりはされないと思います。 「負債」呼ばわりされるコードとは、それとは様相を異にする物でなければならないと、思います。 …

そのものズバリの記述 「単体テストの考え方/使い方」（Vladimir Khorikov (著), 須田智之 (訳)、マイナビ）という本に”そのものズバリ”の記述が有りました。 第4章 良い単体テストを構成する4本の柱 1本目の柱：退行(regression)に対する保護 に、 「悲しい…

どの様な話？ 「等べき」とは、 そのボタンを1回押しても複数回押しても同じ効果が得られることをいう。例えば、「一時停止」ボタンが冪等でない場合、押すたびに一時停止と実行再開を繰り返すだろう。一方、一時停止ボタンを何度押しても一時停止したままの…

コボラーと中間リーダー コボラーは、 月数百億円のハードウェア使用料の おまけとして、 プログラムを作っていたので、 それほど組織論にこだわっていなかったと思います。 その上、汎用機が出来ていた事（機能）は、現在と比べて千万分の一でしか無く、プ…

どの様な話？ SIerは嫌われており、内製は素晴らしいとされております。 ただ、 小規模でやっていたシステム開発が、 大規模になるとSIerの本質があらわになるだけで、 SIerの本質を忌避しつつ、 大規模なシステム開発を選ぶことは出来ない のでは無いかと思…

実際に因果推論をして見ると 仕事として手が動くプログラマーが全人口の1万人に1人だと想定すると ー（１） はじめにテストを書け、仕事として手が動くプログラマーは全人口の100万人に1人では無いかと推察します ー（２） もしそうなら、 （１）のプログラ…

どの様な話？ 逆に、 現行システムは「曲げられない」 どんなに理解し易くなっても！ だと思います。 保守フェーズ（「曲げられない」）で、曲げ（≡分かり易さ）が通じない のはそのせいだと思います。 そして、曲げられない場合に何をやるかというと、 因果…

想像ですが、教育のキモかも知れない 腕の付いたバイクのアニメまで持ち出して言いたかったのは、 実務畑の人間には思い付かない「教育のキモ」かも知れない、 世界情勢（プログラミング・システム開発の分野では例えば「次代に望まれる要求」など）を曲げて…

どの様な話？ 生徒が反事実を世に問うた場合、大抵の場合、非行となると思います。 何で非行がいけないかと言うと、 非常にしくじり易い しくじった場合にお金がかかる からだと思います。 さて、プログラミングの発達過程において、 イヤイヤ期が有っても全…

技術的負債返済における「イヤイヤ期」 少し長めの引用ですが、 陰伏的な関数関係が(中略)与えられていて、陽な関数関係 y = f(x) が(中略) F(x, f(x)) = 0 を満たすなら、この陽関数 y = f(x) は D 上で関係式 F(x, y) = 0 から陰伏的に得られるという。(中…

仕様における確率 仕様における確率に関連して、最近、多様性が望まれるのは自明だと思います。 しかし、みずほでも、マイナンバーでの住民票でも、全銀ネットでも（主に日経の）公開記事を見た限りでは、 仕様（確率）に多様性を持たせる（手法を強く定めな…

変数を書き換え不能に 最近の流行として、ローカル変数で、 基本はconstで変数宣言をして必要な場合にのみ、letを使う と言うのが有りますが、「因果と確率」（特に因果）の観点からは、 今一歩、踏み込み不足 な様な気がしてなりません。 何が踏み込み不足…

どの様な話？ プログラミングにおいて因果とは、 他のプログラムの部分で出来た値などを参照したり、 他のプログラムの部分を呼んだり、 して発生します。そして因果はグラフで表されます。 それに対して、仕様において確率とは、 して欲しい事自体が曖昧で…

プロジェクトの成功率 「4年前と変わったか？プロジェクト成功率の実態」（日経 xTECH アーカイブス 2018.09.19 日経クロステック） 「10年前からプロジェクトの成功率がさっぱり上がらない理由」（谷島の情識 2023.11.30 日経クロステック） といった様に、…

事態はより深刻かも知れない 「プログラミング的逆問題に絡み被害担当をさせられる １」で私は、 「プログラミング的」（逆問題）とした場合、 仕様からプログラムや利用感を得るのが順問題で、プログラムや利用感から仕様を得るのが逆問題 だと思います。 …

どの様な話？ 以前、「藁の混じった議論 ３」で、 新技術（具体的にはReact）を試してみたい（会社で言うPoC（実証実験））が、 最近のフレームワークは環境構築が難しく、 二の足を踏んでいた とし、プログラミングスクールがいいのでは無いか、とか思って…

最後の敵を味方にする？ 最後の敵は「複数の見方」で 人間はその代弁者として振る舞う為、最後の敵が人間に見える と言いますが、味方に出来る「複数の見方」も有るかも知れません。 ユニットテストに関する私見 ユニットテストに関する私見ですが、 プログ…

「追放もの」的？ 「なろう系」（Wikipedia 日本語版）と言う記事の、「累計」→「細分化されたジャンル」に、「追放もの」という項目が有ります。*1 そこには、 最初から主人公が冷遇されている場合も目立ち、そこから成り上がって自分を迫害したり追い出し…

どの様な話？ お話の世界ではよく、 最後の敵は人間だ 一番怖いのは人間だ とされる事があります。 しかし技術の世界では、それを言っちゃお終い、的な風潮もあります。 では、 最後の敵は「複数の見方」で 人間はその代弁者として振る舞う為、最後の敵が人…

フェルマーの最終定理 「フェルマーの最終定理 サイモン・シン 青木 薫訳 新潮社」と言う本を読んだのですが、それにあやかって、 「手続き型よりも形而下関数型よりもオブジェクト指向よりも優れていて、 しかもプログラミングの中身を見なくても良い、と言…

技術的負債 技術的負債とは、 技術的負債（英語: technical debt）、または設計負債、コード負債とは、ソフトウェア開発における概念であり、時間がかかるより良いアプローチを使用する代わりに、今すぐ簡単な（限定的な）解決策を選択することで生じる追加…

どの様な話？ 前に、「調査分析（因果推論）」について、 大切だ キモだ 出来たら一人前だ とか言いましたが、もしかしたらそれを「教示する」事も、 専門職の似た分野に関する手抜き かも知れないと思う様になりました。 プログラミングの実務家（私）が、…

ナラティブ⁉️ 騎士物語がいくつも書かれたのは、 実際にはその様な良い状況では無かった からだと聞いた事があります。 「"詭道"」で有るアジャイルでは無く、オーソドックスであるウォーターフォールモデルを望む人も、騎士物語の読者の様な感じかも知れま…

アジャイルなど アジャイルなど、ウォーターフローモデルに比べて利点が有ると言うのですが、 試行錯誤を繰り返して価値を高めていく と言うのが一番の利点だと思いますが、 試行錯誤を繰り返して藁を取り除いていく と言うのも大きいのでは無いでしょうか？…

どの様な話？ なんでこのブログでやっている様な話をずっと（現役の間は）出来なかったのかというと、 若手が「藁の混じった議論」をして来ると、古手は必敗になる なぜかというと、その議論に乗ると、若手は（藁が混じっている、言ってみれば形而上の議論に…