論理しか通用しないコンピュータちゃんにプログラミングして理論通りに動かないこの世界