Works
YADA (2026)
SQLite・DuckDBやCSV・Parquetのファイルをブラウザ内で閲覧。テーブルデータ・スキーマ・統計の確認ができる。
Proofglyph (2026)
LF（λΠ計算）に基づく証明検査器。HieraticのコードをProofglyphの記号列に変換し、ブラウザ内で型と証明項を検査する。
Alloy Analyzer WASM (unofficial) (2026)
Alloyモデルをブラウザ内で解析する非公式IDE。コードを編集し、インスタンス・反例・時間トレースを確認できる。
Wordkin (2026)
英単語の語源を系図で辿る辞書。語義や派生語を確認し、複数の語の共通祖先を比較できる。
refinepy Playground (2026)
PythonのRefinement Typeと契約を検証するブラウザツール。コードを編集し、関数の事前・事後条件や停止性をZ3で静的に検査できる。
実数の量化子消去 (2026)
QEPCADで実数上の論理式から量化子を消去するブラウザツール。自由変数の条件を求め、射影因子・セル・計算過程を確認できる。
LUFS view (2026)
音声ファイルのラウドネスをブラウザ内で解析し、時間軸で比較できるツール。配信サービスごとの目標音量に合わせた聴き比べもできる。
DepPy Playground (2026)
Python構文で依存型と証明を記述するDepPyのデモ。ブラウザでコードを編集し、型・証明の静的検査とPythonでの実行を別々に試せる。
frp-wasm (2026)
型と因果性を検査してWebAssemblyへコンパイルするFRP言語。ソース編集、グラフ表示、WASM実行をブラウザ内で試せるIDE。
a-b text (2026)
開始と終了をタップして長文を範囲選択できるテキストエディタ。ミニマップで移動し、選んだ文章をコピー・切り取り・削除。
CIFAR / VIZ (2026)
CIFAR-10の画像分類を題材に、ニューラルネットワークの各層の活性値と予測結果を3Dで探索し、モデルを比較できる可視化ツール。
C2PA インスペクター (2026)
PNG画像に埋め込まれたC2PAの生成ソフト、署名証明書、来歴を端末内で確認・比較するツール。
Scroll Stitch (2026)
縦スクロール動画をブラウザ内でつなぎ合わせ、必要な範囲を切り出してPNG画像として保存できるツール。
Multistage JS (2026)
JavaScriptにstage {}と$()を加え、コード生成・実行の段階を進めながら多段階計算を試せるブラウザIDE。
公開鍵暗号・署名デモ (2026)
WebCrypto APIを使い、鍵生成、公開鍵暗号によるメッセージの暗号化・復号、デジタル署名をブラウザ内だけで試せるデモ。
Morf (2026)
画像上のポイントを動かして傾きやゆがみを補正し、正面向きに変換できるブラウザツール。
数独を解こう (2026)
同じ数独を探索、論理、数理最適化など異なる計算手法へ翻訳し、実行できるサンプルとともに解き方の違いをたどる連載。
A Tour of Succinct Data Structures (2026)
情報理論的下限からrank・select、wavelet matrix、簡潔木までを、操作できる図で学ぶ簡潔データ構造の教材。
Colorange (2026)
画像から主要色と使用率を抽出し、それぞれの色が使われている場所まで確認できるカラー分析ツール。
多腕バンディット・デモ (2026)
多腕バンディットの6手法と報酬モデルを、1ラウンドのステップ解説と学習推移で比較できるインタラクティブデモ。
HAR Tools (2026)
HARファイルに保存された画像、コード、その他のレスポンスをブラウザ内で抽出・確認できるツール。
JELLY (2026)
ゼリーの形や柔らかさ、色を変えて触れる、インタラクティブな3Dソフトボディシミュレーション。
GEESE (2026)
ガチョウを動かしてキツネを包囲する、伝統的なボードゲームをもとにしたステージ制パズル。
LLM Token Map (2026)
言語モデルが学習したトークン埋め込みを、銀河のようなマップで探索できる可視化ツール。
Bagh-Chal (2026)
ネパールの伝統的な非対称戦略ゲーム「Bagh-Chal」を、AIまたは2人で遊べるブラウザゲーム。
P2P PONG (2026)
接続コードを手動で交換して遊ぶ、サーバーレスな2人対戦PONG。
Scene Analyzer (2026)
動画をフレーム単位で解析し、変化スコアからシーン境界を見つけるブラウザツール。
CJK Markdown Fixer (2026)
日本語Markdownで太字・強調が反映されない境界を、ブラウザ内で補正するツール。
Carta (2026)
学習内容を構造化した知識ポスターとして変換・出力・印刷できるツール。
Image Measurement Tool (2026)
写真や画像内のオブジェクトの長さを簡単に測定できるWebツール。
Lecture Scheduler (2026)
月間カレンダー上で講義スケジュールを作成・編集するツール。
KaTeX から SVG に変換する (2026)
KaTeX の HTML 出力を foreignObject で SVG に埋め込み、DOM 解析と WOFF2 のグリフ単位サブセット化で小さなスタンドアロン SVG を作る実装メモ。
Intl API 比較ビューア (2026)
JavaScript の Intl API を一覧比較し、ローケル別に主要コンストラクターの出力差を確認する実験ページ
Pixel Grid Studio (2026)
生成画像をグリッドに合わせ、パレットとマスクでピクセル画像へ変換するブラウザツール。
Zustand 実践メモ (2026)
React で Zustand を使うときの基本、セレクタ、型付け、ミドルウェア、SSR、設計上の注意点を整理した実践メモ
Stitch (2026)
複数の重なったスクリーンショットを一枚の画像に合成するツール。
Vibe Design Gallery (2026)
Tailwind CSSのユーティリティクラスを用いたデザインギャラリー。バイブコーディング向けとしてデザインプロンプトも用意。
Lucide Shape Search (2026)
Lucideアイコンを手書きで検索できるツール
Lucide Icons Map (2026)
Lucideアイコンをベクトル埋め込みし、UMAP で2次元に配置したインタラクティブマップ。
Lucide Text Search (2026)
テキスト入力からLucideアイコンを意味検索できるツール。
句読点補完ツール (2026)
日本語テキストに句読点と改行を自動で補う、軽量Transformer/ONNXベースのブラウザツール。
CRT Phosphor Simulator (2026)
画像や動画を読み込み、ブラウン管テレビのRGB蛍光体までズームして観察する3D/WebGL実験。
ScreenCast Editor (2026)
動画のカット、結合、テキストや画像のオーバーレイをブラウザ内で行うシンプルな編集ツール。
Compression Leaderboard (2026)
同じ入力を複数の可逆圧縮器にかけ、圧縮率・圧縮時間・展開時間をブラウザ上で比較するWASMベンチマーク。
bkcrack.wasm (2026)
ZIPの既知平文攻撃で暗号を解析するbkcrackをWebAssemblyに移植したブラウザツール。
QuickCalc (2026)
メモを書く感覚で式や変数を並べ、行ごとの計算結果を即時に更新するリアクティブな計算機。
STICK GAME (2026)
指を用いた遊びでCPUと対戦 をブラウザゲーム化したもの。CPUと対戦できます。
mozaic-app (2026)
画像・動画・カメラ入力を、任意のタイルセットでモザイクアート化するブラウザツール。
nanotation (2026)
画像などに軽量な注釈を重ねる、ブラウザベースの実験的アノテーションエディタ。
ブラウザ上で完結する動画変換ツール (2026)
WebCodecs と web-demuxer を用いてブラウザ上で動画変換を行うデモ
AsciiArt Table Parser (2026)
アスキーアート等のテーブルを解析してプレーンにするツール
Compression APIを用いたJS単体でのZIP生成 (2026)
JavaScriptのCompression APIを用いてZIPファイルを生成する解説記事
WebCodecs + MP4Box.js を用いたブラウザ単体での MP4 生成 (2026)
WebCodecs と MP4Box.js でブラウザ単体の MP4 生成を試す解説記事
pdf2md (2026)
PDFをローカルで解析し、本文のMarkdown化と画像抽出を行う変換ツール。
pdf-toc-tool (2026)
PDFの目次をもとに、確認・抽出・分割・結合をまとめて扱うローカル動作のツールキット。
倒立振子シミュレータ (2026)
台車型倒立振子の挙動をブラウザ上でリアルタイムに体感できるシミュレータ。古典制御（PID/PDカスケード）、現代制御（LQR）、非線形制御（スライディングモード制御）の3手法をダイナミックなビジュアライズとグラフで比較。
The Hitchhiker's Guide to Agentic AI 日本語版 (2026)
Haggai Roitman著『The Hitchhiker's Guide to Agentic AI: From Foundations to Systems』を日本語に翻訳・編集し、mdBook形式に変換した日本語版。
FlowTimer (2025)
発表中に必要な残り時間と進行状態だけを見やすく保つ、登壇者向けの最小タイマー。
PDFUnbinder in Browser (2025)
PDFのしおり構造を読み取り、章や節ごとにファイル分割するWeb版PDFUnbinder。
ブラウン管テレビ風 画像エフェクター (2025)
画像をブラウン管テレビ風（CRT）に加工する WebGL エフェクト
JPEGガビガビ化ツール (2025)
JPEG圧縮を繰り返してガビガビ質感を作るツール
Images to PDF (2025)
画像をドラッグ&ドロップで並べ替えて PDF 化するツール
MNIST UMAP Visualization (2024)
手書き文字をUMAPを使って2次元にマッピングしたものの可視化 し、数字ごとのクラスタや混ざり方を探索する可視化。
ナワトルテキスト補助 (2024)
ナワトル語の長音記号入力を補助するテキストエディタ
Safetensors metadata viewer (2023)
safetensors ファイルのメタデータを表示するビューア
Jinja2 Template Renderer (2022)
Pyodide 上で Jinja2 テンプレートをブラウザ実行するレンダラー
HoverDictCN (2019)
中国語の文章を読みながら、単語や漢字の英語訳をマウスオーバー/タップで確認する学習補助ツール。
PDFUnbinder (2018)
PDFの目次をもとにファイルを章単位で分割するJavaFXデスクトップアプリ。
RGBCloud (2017)
画像ピクセルをRGB/HSL色空間上の点群として描画し、色分布を3Dで眺めるビューア。
Kantele (2016)
スライド 研究室所属時の課題で作った、音を記述して再生するScheme風の言語です。音が出ます。
ニューラルネットワークの可視化 (ConvnetJS版) (2016)
ConvnetJSで書きなおしたものです。素子の種類や学習器などが調整できるようになりました。 層や学習器の設定を変えながら学習の進み方を観察できるConvnetJS版。
dynamorphism の紹介 (2015)
rogy Advent Calendar のために書いた、関数型プログラミングで動的計画法を行う手法の紹介記事。
ニューラルネットワークの可視化 (2014)
BPNNの可視化です。Slide: HTML5によるニューラルネットワークの可視化 。BPNNの重みやノード状態を描画し、学習プロセスを追う初期の可視化実験。