2022-12-16から1日間の記事一覧

レンジ指定によるグロッサリーサポート

次はMDとしてパーズされない。 ‥‥<<ベクトル空間の[/独立]な[/生成系]を[+基底]と呼ぶ。>>二個の不等号で囲まれた文をグロッサリーレコードにする。グロッサリーレコードの本文にレンジ指定部分を使う。

恩恵と貢献

著者と出版物 receive the benefits from ブリット : 前例を知る、情報資源を利用する 著者と出版物 make a contribution to ブリット : 情報資源を増やす 恩恵も貢献もトークン空間を通じて授受される。 ターム空間/フレーズ空間とラベル空間からなるレ…

行頭の縦棒

以前は、行頭の縦棒が常にテーブルになるわけではなかったが、今は無条件に縦棒はテーブルと解釈される。

ビルド・インストラクション

ビルドスクリプトは何でもよい。Makefile + シェルスクリプト でもよいし、Web向けビルドツールでもよい。 BUILD.{md|text} に自然言語で手順を書いてもよい。 シェルやNPMから呼び出せる場合は、package.json の .scripts.build にコマンドラインを書く。 .…

TypeScriptの型定義

TypeScriptの型定義がすごい進化しているな。 type Props = { name: string, [key: string]: any }; type Props2 = { name: string, } & { [key in string]: any }; JavaScriptのcomputed property names と Mapped types もある。使えるぞ。次の型表現は期…

行列の表示

まだまだ工夫の余地と変更はあるが。 type token = string/* token */; type value = any; type tokenData = Array<token>; type tokenSpaceName = string/*(remark="name of token space")*/; type MatrixEntry = [token, token] | [[token, token], value]; type </token>…

ターム空間とインポーター

自出版物のターム空間のタームは次のように分類できる。 自出版物内で定義しているターム 自ブリット内の他の出版物、またはブリットが定義しているターム どこでも定義されてないターム 自ブリット内の他の出版物、またはブリットが定義しているタームを使…