土屋つかさの技術ブログは今か無しか土屋つかさの技術ブログは今か無しか読者になる土屋つかさの技術ブログは今か無しか土屋つかさが主にプログラミングについて語るブログです。今年後半は司エンジンを使ってゲームを一個作る予定で、次のuniq言語の記事はかなり先になりそうです。今回はメモも兼ねて、そもそもなんで冗長性の無い言語が必要なのかという話。コーディング法(仮称)第1回でも書きましたが、土屋はプログラマは国家認定制度を導入し、原発や銀行、病院など、国民の生命や財産に直結しうる環境で運用されるシステムを開発するプログラマは、免許なしには関われないようにすべきだと考えています。将来的にはAIの開発もこれに含まれるようになるでしょう。比較して遥かに厳しい物です。前提として、建築基準法のように、コーディングの記述方式に法的な束縛が設定されている必要があります。これを「コーディング法」と呼びましょう。国家試験では、このコーディング法に従ってコードが書けるかを判定します。コーディング法に則ったコードを書いている限りは、運用上の最低限の安定性が法律によって保証されます。コードが原因で何らかの障害が起き、損害が発生したとしても、エンジニアや開発会社は賠償を免責されます(というか、その程度の保証もないのに瑕疵担保責任が課されるとか無茶じゃね?>民法改正(http://www.techvan.co.jp/media/quality/civil-code))。して、コーディング法の制定と、国家認定プログラマ制度によって、システム開発の安定性が飛躍的に向上する未来が約束されるのです。コーディング法(仮称)が作れない理由。