>>366
JIMはプログラマーじゃないからプログラムは書けないよ
JIMが証明するのはまず不可能