なので、プログラミングパラダイムもAIさんがプログラミングする時にAIさんが得意な分野(他のやり方で計算リソースを少なく出来ない分野)に特化させるって視点も、今後は重要になってくるんじゃないかと＞＜

この前Matz氏が「AIの時代に静的型付けってほんとに要るのかな？」みたいな方向の事を言ってたけど、計算リソース削減とAIの得意分野は何であるかの視点で考えると、静的型付けはもちろん、契約プログラミングや形式検証ツールも有用なんじゃね？＞＜