15/07/21 01:18:01.54 aO/NK+0K.net
論理的に無理なんだと思うよ
「あらゆるプログラムを作るプログラムは存在するのか」
という命題
数学的に証明すれば存在しないという答えがでるんじゃないか
なぜ未だにプログラムの自動化がされてないかというと不可能だから
おそらく１００年後も人工知能のプログラムを書いてるのは人だろうし
あいかわらずデバッグ作業も人力でやってるだろう
15/07/21 01:18:01.54 aO/NK+0K.net
論理的に無理なんだと思うよ
「あらゆるプログラムを作るプログラムは存在するのか」
という命題
数学的に証明すれば存在しないという答えがでるんじゃないか
なぜ未だにプログラムの自動化がされてないかというと不可能だから
おそらく１００年後も人工知能のプログラムを書いてるのは人だろうし
あいかわらずデバッグ作業も人力でやってるだろう