先週のHarmonic PRを振り返ってみましょう。 1. アリストテレスはエルデシュの問題のほとんどを解決したと主張したが、実際にはソフトウェアは既存の人間の解決策の問題の形式化を支援した。 2. パトナムを先に獲得したと主張したが、実際にはそうではなかった 3. 証明が長いので、IMOの方がパトナムより難しいと主張した。ソーシャルメディアマネージャーが技術的な知識を持っているかどうかはわからないので、許容範囲とする。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。