TypeScriptのジェネリック型定義を使って、コンパイル時にフィボナッチ数を計算してみます。面白いだけで、役には立ちません。$`\newcommand{\mrm}[1]{\mathrm{#1} }`$内容： はじめに フィボナッチ数： 数の計算の場合 型の世界の順序・型・関数 型の世界の…

ソフトウェアとしてのnpmはパッケージ管理システム、そして https://www.npmjs.com/ は、膨大な数のパッケージを集積・管理している包括的アーカイブ・サイトです。JavaScriptライブラリの流通・再利用のインフラとなることがnpm（ソフトウェアとサイト）の…

「JavaScriptは2つの言語になったんだね」において、現状のJavaScriptは ESM2015+ と CommonJS という2つの言語に分岐してしまったと述べました。事実はどうあれ、そう考えたらフラストレーションは緩和されるだろう、という話です。さて、では2つの言語は統…

二項関係と非決定性関数は、事実上同じものなので同一視してしまうこともあります。が、導入時の定義は異なるし、印象〈メンタルモデル〉も違うように思えます。なぜ「事実上同じもの」なのかを確認しておいたほうが良さそうです。二項関係と非決定性関数を…

久々にJavaScript／TypeScriptを触ってみたら、モジュールシステムがESM〈ECMAScript Modules〉方式とCJS〈CommonJS〉方式のニ種類があって、ややこしく鬱陶しい状況になっているのね。これはフラストレーションがたまりますな。モジュールとか存在しなかっ…

「ストリング図とハイパーグラフ図」でハイパーグラフ図を紹介しました。その記事で、次のように書きました。 ハイパーグラフ図は、ストリング図とかなり似ているので、僕は積極的にハイパーグラフ図を使うことはなかったのですが、...[snip]... 僕がハイパ…

$`\newcommand{\cat}[1]{\mathcal{#1} } \newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\lexp}{\triangleright } \newcommand{\rexp}{\triangleleft } \newcommand{\In}{\text{ in } } %`$圏論に現れるモノやコトを視覚的に表す描画法として、ストリング…

たまにリロードして、MathJax/XyJaxがレンダリングされるかどうか確認するためのページ。

内容： 原因は「はてな」のキーワードリンク はてな記法でも数式内のキーワードリンク問題はあった 2月まではうまくいっていたのに 原因は「はてな」のキーワードリンクなんばさん（ﾅょωﾚよ″丶)ょぅすﾚﾅ (@rna) | Twitter）のご指摘により、自動キーワードリ…

はてなブログでXyJaxが使えなくなった はてなブログでXyJaxが使えなくなって、どうする？ 今日も記事を書きましたが、はてな記法を使わず、MathJax設定の数式囲み記号だけで書きました。 今日の記事： 緩化子〈ラクセイター〉 これは無事に表示されています…

律子 モノイド圏において、結合律は等式で成立するとは限らず、次のような射で記述されます。$`\quad \alpha_{A, B, C} : (A\otimes B)\otimes C \to A\otimes (B\otimes C)`$“結合律をゆるくした法則”を与える射（の族）$`\alpha_{A, B,C}`$ を associator …

「はてなブログでXyJaxが使えなくなった」ので、どうしたものか？ と考えています。他のブログサービスをちょっと調べたのですが、最近はだいたいTeX数式に対応しているようです。が、エンジンがKaTeXが多く、それだとMathJax拡張であるXyJaxが使えません。2…

気付いたのは今日（2022-03-02）です。2022-02-16の記事「データベース・テーブルの変更を圏論的に見るならば 」にXyJaxコードが使われています。そのままここにコピーしてみます。 [tex:\xymatrix{ {} & {X}\ar[ld\] \ar[rd\] & {} \\ {A} & {} & {B} }\\ \…

データベース・テーブルのある時点での状態は集合として捉えることができます。しかし、状態の変更である“削除・更新・挿入”を写像としてモデル化するのはうまくいかないようです。写像（集合圏の射）に拘らずに、別な見方をしたほうが良さそうです。この記…

ここ何年かで、150分×10回で1クールのセミナーをシリーズとして行いました。話題は毎クール違うのですが、共通するテーマを一言でいえば「実用圏論」でしょう。ラムダ計算、プログラム意味論、論理、ベイズ確率論、データベース理論、システム設計などに“使…