TypeScript の「型安全」を担保するために知っておきたかったこと - OITA: Oika's Information Technological Activities

2021/12/01 95 users TypeScript 前提 勘所 最初 最後

タイムリープTypeScript 〜TypeScript始めたてのあの頃に知っておきたかったこと〜 アドベントカレンダー1日目の記事になります。 よろしくお願いします。 3行で TypeScript で安全に型を扱う勘所は以下2点だと思いました。 最初から最後まで型が壊れていないことを保証する 型が壊れる可能性があるものは壊れている前提... 続きを読む

無限のべき乗a^a^a^...の収束と発散との境目が気になる - アジマティクス

2018/12/01 353 users アジマティクス 収束 境目 実数 発散

一般に、境目は大事です。どこまでが友人で、どこからが恋人なのか、とか。 この記事は「好きな証明」アドベントカレンダー1日目の記事です。 上記の式のことを考えます。今回はは正の実数とします。そのが無限に乗じられているわけです。一見面食らってしまう見た目をしていますが、という列の極限として捉えられる、と... 続きを読む