政府がお金を出して、より優れたOSを作る(法人を作る)ということをしてはいけないという法律はないよね