nに対して、n-指標はn-セル＝n-項までを持つコンピュータッドとして定義される。n-指標はn-コンピュータッドだから、n-圏を生成する。このn-圏に、(n+1)-射の族を追加する役割が(n+1)-表明。n-指標と(n+1)-表明の組み合わせがn-仕様（(n+1)-仕様ではない）。…

src/services/transpile.tsあたりから読む。 コンパイラホスト（CompilerHost）というのがいて、OSファイルシステムを抽象化、便利化している。コンパイラはコンパイラホスト上で動き、コンパイラホストの実体はinterface CompilerHostを実装していれば何で…

まず、次を git clone でローカルに持ってくる。 https://github.com/Microsoft/TypeScript.git でかいリポジトリなので、それなりに時間とディスクは食う。vscodeでディレクトリを開く。どうなっているか知らんが、vscode自体がTypeScriptで実装されている…

nodistのディレクトリのなかに次のパスがあった。 "C:\Installed\nodist-master\bin\node_modules\harp\node_modules\download-github-repo\node_modules\download\node_modules\decompress\node_modules\rimraf\node_modules\glob\node_modules\minimatch\n…

システム共通： C:\Progiram Files\ C:\Progiram Files (x86)\ C:\ProgramData\ C:\ProgramData\Microsoft\Windows\Start Menu\ スタートメニューはシステムで持つ ユーザー： %USERPROFILE%\Desktop\ デスクトップはユーザーごと %USERPROFILE%\Documents\ …

普通のインストーラー： Additional icons/On thd desktop→ON、Associate .sh files to be run with Bash → ON Editorの設定がある、余計なお世話だ！ 選択肢が GNU nano, Vim, Notepad++、どれもないぞ！！ デフォルトがVimだからnanoに変えておく。 "Adjus…

等値的圏と同値的的圏 k-等値的圏〈k-equational category〉は、k≦n であるn-射がすべて恒等になってしまう圏。 0-等値的圏： 0-射がすべて恒等？ 対象がすべて恒等？ うーん？？ 空集合か単元集合のことだ。よって、0-等値的圏の全体はブール集合になる。 1…

うーんと、昔設定してそのまま使っている。設定方法は忘れた。 https://etc.miscmemo.com/digital/input-method-editor-shortcut-key/#Google-4 持っていければ持っていく。

コンパイラのソースを見ているが、 /src/compiler/types.ts の export const enum SyntaxKind に、構文範疇が列挙されている。機能性に直接影響しない構文範疇をトリビアと呼んでいる。 SingleLineCommentTrivia, MultiLineCommentTrivia, NewLineTrivia, Wh…