dotkuwaの日記： 学界と産業界

学界では、
・公理系は永久にムービングゴールポストが好ましい。
　その方が代々の人間が関与でき、論文のネタになる。
　論文のネタを提供するのが、商材だからである。
・もし使いたかったら、公理依存な自動テストを作って
　使う側が対処しろ。
・ムービングゴールポストしない処理系を古いと非難
　出来る。
・自分が教える人間だけに特別に入門的な知識を授ける
　ことが出来る。そうでないならgithubを丹念に追え。
で、
産業界では、
・ムービングゴールポストに対処するのはお金がかかる。
　ムービングゴールポストを長期間しないでもらうにも
　お金がかかる。
　後者なら出せる。
・公理自由な自動テストなら（知る限り）30年前から有るが、
　公理依存な自動テストは、作ろうとした時点で思考が
　固まる。
・ムービングゴールポストを長期間しない処理系は、
　古いと非難を受ける。
・ムービングゴールポストな処理系は入門書（往年の、
　猿でもとか、256倍とか）が書けない、書いた段階で
　古くなる。
　その意味でもムービングゴールポストを長期間しない
　方が好ましい。
という対立が有ると思います。
　
その点から読み解くと、
DXとかで内製に近い形での作成を産業界でする場合、
・古い
という非難は無視する、あるいは
・古いという非難こそ、産業界にマッチしている
　判定基準になる
という割り切りが必要なのかも知れません。
　
社会の分断が有利な場合である一例かも知れません。