効率的で信頼性のあるソフトウェアを書く力を与える言語