各提出後に不満を感じる

私は「トップ20」大学の3年生で、きめ細かい複雑さ（3-SUM、OV、および一般的な一般的な硬度の推測で遊ぶこと）に取り組んでいます。私はこの一年かそこらでかなり生産的であり、3論文が承認され、2論文が提出されました。私はかなり経験豊富な大学院生であり、これから説明しようとしていることは逸話ではありません。

提出するたびに、満足よりも不満が多くなります。問題の作業を開始する直前に、私とアドバイザーは、答える必要がある具体的な質問のリストを特定します。多くのことを考えた後、私たちは多くの幸福と満足感を与える非常に素晴らしい非自明な結果を持っています。すべての結果を書き始めると、必然的に、ポップアップが表示されますが、進行がはるかに困難になる、より興味深いバリエーションがいくつかあります。最初の多幸感ポイントの後、すべてが下り坂になっているように感じます。回答が必要なバリアントも非常に多く、明らかに問題が目前にありますが、私にはできません。私たちが論文を提出する頃には、その論文の結果がほとんど取るに足らないように思えてとてもがっかりしています。おそらくこれは単にトンネルのビジョンですが、私はすることができます

これは毎回発生しており、これが一般的な感情かどうか疑問に思っています。理論コミュニティの他の人々も同じように感じていますか？これが学界全体の気持ちなのかどうかはわかりません。他の分野からの私の仲間の大学院生は、すべての提出後に月を越えています（しかし、これは単なる逸話です）。

編集-フロントページに別のソフトの質問があることがわかります。別のものを追加して申し訳ありません。そのホリデーシーズンと（だけ？）いくつかの飲み物の後、人はこれらのものについて熟考し始めます！

はい、それは非常に一般的です。問題について何ヶ月も考えた後、私たちは関係が非常によく見えるようになるので、解決策は私たちにとって些細なように見えます。アカデミアに固有のものではありません。問題の解決策が得られると、問題が実際よりも簡単に見えるようになり、それを見ることを妨げていたすべての雲が消えました。

この気持ちに対処する方法は？私は自分自身を理解していませんが、役に立つかもしれないいくつかの観察：

あなたに自明であると思われることは、他の多くの人にとってはそうではないことを思い出してください。あなたの広い地域の何人が事前に解決策を見ましたか？

ほとんどの結果について（そして、ほとんどの結果は突破的結果ではありません）、私たちの分野の他の誰かが十分賢い人でも同様にそれを理解できたと思います。これは、結局それほど特別ではないと感じる効果もあります。まあ、私たちはそうではありません！十分に賢く、自我に対処し、謙虚になる他の人がいることを受け入れると、貢献に対してより高い満足度を持つ傾向があります。はい、X、Y、およびZも同様に実行できます。しかし、私たちは実際にそれをする努力をした人でした。

もう1つは、取り組むべき問題にもっと注意を払うことです。なぜ問題に取り組むのか、自分自身で非常に明確にしてください。面白くて難しい、または他の人が面白そうだと言っているからといって、そうしないでください。問題の解決策を知ることは、私たちの理解と世界にどのように影響しますか？そのことを明確にすれば、問題の解決策が単純に見えるという事実は私たちを悩ませることはなく、代わりに私たちを喜ばせます。これは難しいかもしれませんが、学生にとっては、意味のある解決可能な問題を選択する必要があります。適用面よりも純粋な領域ではより困難です。そして、多くの場合、本当の意味のある問題を解決するのではなく、その問題に向かって有意義な進歩を遂げます。それも大切だということを忘れないでください。失敗から得た洞察を他の人と共有できれば、失敗でさえ価値があります。

他の人が私たちの貢献を判断する方法もあります。理論のいくつかの分野では、いくつかの有意義な貢献よりも技術的な重荷を評価する問題があることが知られています。落胆させないでください。長期的には、これらの技術的な重荷のほとんどは忘れられ、ファサードが意味のある問題に取り組むことを思いとどまらせないでください。

若い研究者の多くは、自分自身を証明することに集中しています。代わりに、有意義な問題に取り組むために、他者との良好で有意義なコラボレーションを構築することに焦点を合わせます。それは長期的にははるかに重要です。運が良ければ、あなたは有意義な貢献をすることになります。

あなたは一人ではなく、理論的なCS、さらには数学、あるいはこの千年紀にさえユニークではありません。

鶏の議会で嘆いたチョーサー：

 The lif so short, the craft so long to lerne,
 Th’assay so sharp, so hard the conqueringe,
 The dredful joye alway that slit so yerne

 The life so short, the craft so long to learn
 The effort so sharp, so hard the mastery,
 The difficult joy always slips away so quickly

ヒポクラテス（はい、そのヒポクラテス）は、それをさらに鋭く言いました。

Ὁ βίος βραχύς,
ἡ δὲ τέχνη μακρή,
ὁ δὲ καιρὸς ὀξύς,
ἡ δὲ πεῖρα σφαλερή,
ἡ δὲ κρίσις χαλεπή.

Life is short,
and art long,
opportunity fleeting,
experimentations perilous,
and judgment difficult.

理論Bの人として言えば、複雑性理論の経験は、セマンティクスや型理論から得られる経験とは性格が異なるため、常に私を驚かせました。

私には、複雑さのすべての問題には真のアイデアが必要であるように思えたので、問題を少しでも修正した場合、まったく別の新しいアイデアが必要になります。対照的に、セマンティクスでは、解決策が明らかになるように、プレイ中の代数構造を特定することで問題を解決することが期待されます。解決しない方法はありません。（ベンジャミン・ピアスはかつて、すべての証明が退屈なとき、あなたは良い型システムを持っていることを知っていると言った。）

物事が順調に進んでいるとき、複雑さは数学そのものと創造的な会話をしているように感じます。何かを試してみると、これはあなたに新しいアイデアを提案し、それに対するあなたの応答はあなたにさらなるアイデアを与えます。しかし、物事がうまくいかないとき、あなたは他のことへの洞察を提供しないパズルの無限のシーケンスをしているように、あなたは閉じ込められていると感じます。

セマンティクスで物事が順調に進んでいるとき、数学の骨そのものを示すX線のように、世界のアーキテクチャに触れているように感じます。しかし、物事がうまくいかないときは、世界で最も退屈な納税申告書に記入しようとしているように、あなたも閉じ込められていると感じます。

私の提案は、いくつかの抽象的な代数を勉強する時間を見つけることです。それはあなたの一般的なジョーンズを満たす必要があり、それを学ぶことはあなたの研究にとってほぼ確実に有益です。

By the time we submit the paper, 
I am so dismayed that results in 
the paper seem almost trivial.

完了後に問題が些細に見えない場合、問題を解決できなかったと私は主張します！

科学の本質は、（新しい）真実の生成です。真実の本質は、誰でも再現可能である必要があるということです。

過去において、「誰でも」の典型的な例は、プラトンのメノの奴隷少年でした（1）。今日、最高水準の厳格さは、私たちのソリューションが（数学の選択された基礎から）導出可能であることを機械的証明アシスタント（2）に納得させることを必要とします。証明アシスタントは、少し擬人化して、本当に馬鹿げています。現代の数学および理論CSでは、人間のピアレビューを機械的検証可能性、すなわち真実の代用として取り上げますが、より機械的な証明のチェックに向けて取り組んでいます。例えば、（3、4、5）を参照 （確かに、長年の仕事を投資することなく、証明アシスタントのためにあなたの仕事を形式化できるとは思いません。）

解決策の各ステップが簡単ではない場合、厳密な科学を行うことに成功しなかったでしょう。

もちろん、これはあなたの悩みを取り払うには特に有用ではないので、多分あなたは尋ねる停止を自分で仕事が価値があったかどうか。代わりに、他の人に聞いてください！特に、同じ問題を解決しようとして失敗した他の人が何人いるかを自問してください。おそらく、あなたのCSのサブフィールドには有名な未解決の問題のリストがあります。なぜそれらの1つに挑戦してみませんか？（警告：有名な未解決の問題を追いかけることは博士号を取得するのに良い方法です...ですから、そのルートに行きたいのであれば、スーパーバイザーと議論することをお勧めします。）

 me and my advisor identify a list of concrete 
 questions that need to be answered.

おそらく、スーパーバイザーは、あなたが取り組む質問が十分に単純であるかどうかを慎重に検討し、博士課程の学生が数ヶ月の仕事でそれらを解くことができる（しかし、出版には十分に難しい）ことを考慮することがあります。

1. https://en.wikipedia.org/wiki/Meno%27s_slave

2. https://en.wikipedia.org/wiki/Proof_assistant

3. https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/

4. https://en.wikipedia.org/wiki/QED_manifesto

5. https://en.wikipedia.org/wiki/POPLmark_challenge