資料・アプリ

符号理論・マトロイド理論・組合せ論に関する入門記事、短いメモ、実験的なWebアプリを置くためのページです。

数学Webアプリ

符号理論・マトロイド理論の計算や可視化をブラウザ上で試せるWebアプリです。

バグ・不具合・計算結果に関する違和感などは、連絡先からお知らせください。

  • GeoMatroid

    小さなマトロイドを、幾何表現・グラフ・行列表現・カタログを行き来しながら探索するためのアプリです。台集合が9元以下のマトロイドのカタログも利用できます。

    技術仕様

    計算
    Rust + WebAssembly。階数・サーキット・フラットなどを計算。
    UI
    Vite + React + TypeScript。D3 による可視化。
    保存
    IndexedDB によるブラウザ内保存。
    幾何表現グラフ・行列表現削除・縮約マトロイドカタログ
    アプリを開く
  • 特性準多項式・重み準多項式計算機

    整数行列を入力し、対応する特性準多項式・重み準多項式の周期、構成素、重み多項式をブラウザ上で確認できます。

    技術仕様

    計算
    Rust + WebAssembly。特性準多項式・重み準多項式を計算。
    UI
    Vite + React + TypeScript。KaTeX による数式表示。
    実行
    ブラウザ内で完結(サーバー処理なし)。
    特性準多項式重み準多項式重み多項式整数行列
    アプリを開く

数学記事・メモ

論文にするほどではないが、公開しておくと役に立つ説明や計算メモをここに残します。LaTeX + BibTeX 原稿を Pandoc + Lua filter で HTML5 へ変換し、数式はビルド時に KaTeX で HTML / MathML へレンダリングしています。

誤植・記述の不備・リンク切れなどにお気づきの場合は、連絡先からお知らせください。

連載

単発記事

  • 公開: 2026/05/13

    一般化線型空間と有限型マトロイド

    alg-d氏の動画で知った一般化線型空間を,マトロイドの閉包作用素の言葉で書き直す.一般化線型空間は有限型マトロイド,あるいは前幾何と本質的に同じ構造であり,現代的な無限マトロイド全体よりは狭いクラスであることを確認する.

    matroid theoryaxiom of choicegeneralized vector spaceinfinite matroidclosure operator
    記事を読む
  • 公開: 2026/05/09

    マトロイド閉包作用素の単一公理

    有限集合上の写像 cl ⁣:2E2E\operatorname{cl} \colon 2^{E} \to 2^{E} に対する1本の等式が,マトロイドの閉包作用素を特徴づけることを述べる.

    matroid theoryclosure operatorresearch note
    記事を読む