2017-12-21から1日間の記事一覧
*1 *1:記事 https://v1.vuejs.org/guide/overview.html#Reactive-Data-Binding画像 https://v1.vuejs.org/images/mvvm.png
ユグドラシル・エクスプローラー - 檜山正幸のキマイラ飼育記 メモ編の続き。ワールドのなかにある項目を、ミクロ項目とマクロ項目に分けたほうがいい。 マクロ項目: 項目なので区分〈division〉、プロファイル、名前を持つが、名前だけでなくて、名前に関…
https://ncatlab.org/nlab/show/transfor トランスフォー〈変換手〉はワールドの項目として必要となる。nとkで、k≦n に対して (n, k)-トランスフォーが定義できる。 (0, 0)-トランスフォーは写像〈map〉 (1, 0)-トランスフォーは関手〈functor〉 (1, 1)-トラ…
ユグドラシル “ユグドラシル”は、Coqのuniverseの話を読んだ時連想した。 エクスプローラー ブラウザと言ってもいいんだけど、“エクスプローラー”のほうが探索・探検・究明の意味があるから。 我々が何かするときの文脈を世界〈world〉と呼んでしまおう。世…
TypeScriptつうよりVue.jsだが、 Vueインスタンス: new Vueで生成したオブジェクト オプションオブジェクト: new Vueに渡す引数 広義のVueインスタンス: コンポネントなども含む。ツリー状に配置される。 ルートVueインスタンス: 広義のVueインスタンス…
古いnode.jsは削除、標準のアンイストーラー nodistはまともに動いてない。が、アンインストール方法もない。グズだ。手で消す: まず、PATHから除外する。 環境変数NODIST_PREFIXを消す。 ディレクトリを消す。 https://nodejs.org/en/download/ より node-…