イントロダクション D進ゲームとは、 Thisnor氏による D進，それは苦しい という博士課程シミュレーションゲームのことである。このゲームは4つのコマンドをベースに博士学生を育て、D論提出を目標にするゲームである。 本記事では6/19終わり時点における、…

一つ前の記事と似てるような似てないような、なので書いておくを数列とする。任意のに対して (優加法性) を満たすならば、 を満たす 直感的には、とりあえずが(どこかから)非減少列であることを示せてしまえればよさそうに見える。 しかし、この方針では厳し…