14/09/07 17:43:16.51
>>299、
たしかにMoon shineがまだ未解決だった。
あと欲しいのは、証明が本当に正しいか
チェックできる言語ソフトかな。
数論のVoevodskyがそういう研究をしているらしい。
14/09/07 17:43:16.51
>>299、
たしかにMoon shineがまだ未解決だった。
あと欲しいのは、証明が本当に正しいか
チェックできる言語ソフトかな。
数論のVoevodskyがそういう研究をしているらしい。
14/09/07 17:43:16.51
>>299、
たしかにMoon shineがまだ未解決だった。
あと欲しいのは、証明が本当に正しいか
チェックできる言語ソフトかな。
数論のVoevodskyがそういう研究をしているらしい。