どの様な話？ ラノベのコミカライズを読んでいると、 茸で肉が柔らかくなるが、牢固たる勢力に禁止された。しかし問題無かった。 という題材が有りました。しかし、べつの作品では、 白粉で赤ん坊が死ぬ。 という題材も有りました。 牢固たる態度を取る／取…

「因果ダイアグラム」の効用 「ゼロ情シス」となっている様なシステムでも、「因果ダイアグラム」が無くても、下記の様な質問ー回答が得られるAIが有れば十分です*1 。 Windowsで、Rust言語で、Hello World!!!を出すプログラムをデバッグしたい。 Rustツール…

どの様な話？ Youtubeで、 民主化した国で、財政規律の観点で有り得ない事をし、 非常に豊かになったが、財源は全て借金で、 次世代の人間ののり代が無くなった という話題について視聴しました。ポピュリズムです。 これの「技術的」版が有るのでは無いか？…

CAP定理のまね CAP定理（Wikipedia 日本語版）では、 分散コンピュータシステムのマシン間の情報複製に関する定理。 ノード間のデータ複製において、同時に次の3つの保証を提供することはできない 1. 一貫性・2. 可用性・3. 分断耐性 という定理が有るそうで…

どの様な話？ アジャイルソフトウェア宣言(The Agile Manifesto) で、 特に、 要求の変更はたとえ開発の後期であっても歓迎します。変化を味方につけることによって、お客様の競争力を引き上げます。 というのは虫が良すぎるのでは無いか？ という記事を見ま…

nullに対する好悪 「JavaScriptが大変 ３」で書きました通り、私にとって、 コボラーである私にとって、オブジェクト指向は正しく「進駐軍の文化」 でした。 ですので、「nullが無い方が普通の記述となるコンテキスト」で、最終的に置き換えようとする事に対…

NULLは圧倒的に有用な場合も有るのに、、、 昔、非常に大きいオブジェクトの配列に、少量だけオブジェクトを配置し、配置されているかを、なる早で判定する必要が有る事をしましたが、 Is Notingで判定するのでは無く、 全ての配列の要素を初期化し、そのオ…

別の「10億ドルの過ち」で有り、現在も続く技術的焚書 負債と、技術的負債の様に、｢ゴキブリは1匹いたら､恐らく他にもいる｣というのは、技術的分野でも有り得ると思います。 別の「10億ドルの過ち」は有り得ると思いますし、それが、現在も続く、典型的な技…

どの様な話？ ＮＯＩＳＥ 上 組織はなぜ判断を誤るのか？ [電子書籍版] 著者：ダニエル カーネマン, オリヴィエ シボニー, キャス Ｒ サンスティーン 早川書房 という本を読んでいるのですが、 第３章 一回限りの判断 という章で、 エボラ出血熱に対処するオ…

ウォーターフォールとアジャイル ウォーターフォールとアジャイルについても、建前を一切排除するなら、 インターフェースを変えないのがウォーターフォールで、 変えるのがアジャイル と言えるかも知れません。 建前を一切排除して考えるなら、 ウォーター…

どの様な話？ プログラミングの手法は、すべて、 出来る中で、なにかを制限する のだと思います。 制御の反転 Wikipedia 日本語版 の記事冒頭の最も目立つ所に、 「呼び出す側」と「呼び出される側」が、従来のプログラムとは逆になるようにする と有ります…

「焚書」に至る経緯（想像含む） 「焚書」という穏やかならぬ事態が実際に起きた経緯は有ると思います。 筆者の想像を含め、説明しますと、 科学畑の人間がやってきて、 プログラマー（私を含む）に、「お前らに、文書を作成する権限も、能力も無い」、「体…

第一原理の代わりに何を提示していたのか？ 技術的飛ばしです。それは、 自分たちの為にそれを組成し、 被害を被るのは他人 という特徴が有ります。 DevOps（Wikipedia 日本語版）という概念（開発担当者と運用担当者が連携して協力する）が出来たのも、 第…

第一原理と焚書 １ 惑星の運動に関する観測結果を地中に埋めたり、観測結果を持っていた人が火刑に処せられたりする本を見ました。 確かに、第一原理としての、 地球が中心 という事柄を否定しようとされたら、焚書も有り得るかとも思います。 第一原理 Wiki…

科学の不在？ 第一原理 Wikipedia 日本語版の、自然科学における第一原理 項に、 近似や経験的なパラメータ等を含まない最も根本となる基本法則をさし と有りますが、これが無いとモダンな科学とは言えないと思います。 何で技術的飛ばしの様な、事になった…

どの様な話？ 今まで、このブログで、 束因果ダイアログの矢印の事を「射」になぞらえていました、 これは誤りだった と反省しています。 射 (圏論) Wikipedia 日本語版で、グラフの「分岐」、「合流」について、 可換図式 同じ事柄の別表現 を表すのに使っ…

「負債」と「飛ばし」の違い 「負債」は、 自分たちの為にそれを甘受し、 自分たちがいつかは解消する意思を持つ もので、「飛ばし」は、 自分たちの為にそれを組成し、 被害を被るのは他人 というものだと思います。つまり、「自分たち」かどうかがどちらの…

技術的飛ばし 技術的負債は、時には、或いは短期間なら、悪くない場合も有りましょうけれど、確実に不味いものとして、技術的飛ばしが有ると思います。 「飛ばし」という用語は、どこにも包括的な意味が書いていませんでしたが、 複雑なスキームを絡めて 訳…

モナドこそ、技術的負債の模式？ 𝑇(𝑓):𝑇(𝐴)→𝑇(𝐵) で、𝑇 を、いくら変化させても、実情に合ったシステムにならない場合、 負債がある と、定式化出来る、合わないモナドは負債である と言える可能性すら有ります。 結論 この文書に結論は有りません。

どの様な話？ 射（圏論） Wikipedia 日本語版 より 圏論における射はこのような概念を広く推し進め、しかしより抽象的に扱うものである。考える数学的対象は集合である必要はないし、それらの間の関係性である射は写像よりももっと一般の何ものかでありうる…

管理者用の手順書 私も63歳の半ばとなり、自分の業務の引き継ぎとして、管理者用の手順書を書く事になりました。 管理者用の手順書は、 （一般用の手順書と違い）細かい事を書いて良い、むしろ書け 読者は、対象となる開発環境について、中堅レベルの知識を…

本当に関数型プログラミングがやりたかった事【妄想】 よく、 関数型はlet とアロー関数だけだ と言うと、 違う。もっと本質的なものが有る と応え返される事が有りますが、 本質的なものとは何でしょうか？ 私は、 上限方向と下限方向の作りが対照的（なら…

どの様な話？ 多くの大企業が「IT棄民」状態に、SIerにも見捨てられ基幹システムは崩壊寸前 木村 岳史 日経クロステック／日経コンピュータ 2025.07.14 という記事で、 基幹システムは「恐怖のブラックボックス」 となるとの指摘がありましたが、 実際そうな…

たまたま見つけた番組 「現象学的観点 １」で私は、現象学について、 「主観 ｰ 客観」図式では無く、「内在 ｰ 超越」図式を用いる とか書きましたが、何だか分かりませんでした。 しかし、私は、 ソフトウェア開発と現象学 は親和性が有る、と前から直感的に…

特にV字モデルのシステムテスト付近で、 特にV字モデルのシステムテスト付近で、 仕様のみからテストを考える 事が言われていると思いますが、それって、 上限方向の作りと、下限方向の作りは対称か？ 上限方向の作りと下限方向の作りが対称である（かなり対…

「合流」を度外視する事 オブジェクトとは「合流」に備えた物だと思います。 それに対して、関数型は「合流」を（有るのに）見なかった事にする事で、（見かけ上）簡単に見えるので、（実効的に）簡単であるとする物だと思います。 関数による抽象 責務を担…

どの様な話？ 束論的束構造の因果ダイアグラムをAIで出してもらおうとしましたが、全然ダメでした。 少々甘すぎた様なので、 このブログでの 束論的束構造の因果ダイアグラム（以下、束因果ダイアログと言う）を 少し定義する 事から始めようと思います。 そ…

抽象という言葉 いつもは、Wikipedia 日本語版から、言葉の定義を採るのですが、 「関数型の誤解 ３」で、抽象という言葉に関しましては、AIから得ました。 Wikipedia 日本語版の「抽象化」は、 思考における手法のひとつで、対象から注目すべき要素を重点的…

「テストファースト」の成り立ち？ 「テストファースト」（テスト駆動開発 Wikipedia 日本語版）は余り聞かれなくなりましたが、これも（成り立ちの面で）関数型と軌を一にしていた様に思います。 狭義のソフトウェア開発と広義のそれが有り、プログラミング…

プログラミング言語に終始している AIも、 （狭義の）ソフトウェア開発での、（束論的）束構造の因果ダイアグラムも、 プログラミング言語「以外」に目を向けていて、成果を得ていると思います。 しかし、関数型の誤解として、 プログラミング言語に終始して…