github koteitan Portfolio

つくったもの

最終更新: 2026年8月13日

• パズル, プログラミング, その他:
  • Impulse Morph — DIY wavetable2026 加算合成の設計と音をブラウザで試せるウェーブテーブルツール
  • card2026 名前から、ドラッグで回せる金属製アカウントカードを作るサイト (GitHub)
  • お天気アプリ2026 過去3か月から1週間後までの気温を都道府県別にグラフ表示 (GitHub)
  • 時間の墓場2026 365本の日付の墓標を「記憶」と「忘却」が奪い合う深海のゲーム (GitHub)
  • beam ... 高校の時に作ったビームを出すニム的なボードゲーム
  • darkmode ... 色が変わらないライトモード/ダークモードのデモサイト
  • hilight embed maker ... ハイライトされたコードブロックの埋め込みを作ります
  • nest sugoroku nest マスに停まるとミニゲーム「ネストすごろく」ができる楽しいゲーム、題してネストすごろく
  • fractal block maze solver ... fractal block maze solver フラクタルブロック迷路というタイプのフラクタルな迷路を解くソルバー
  • fractal block maze solver(beta) ... beta version on debugging
  • linksim ... mechanical linkage simulator リンク機構シミュレーター
  • zoom dot ... pseudo super resolution 超解像と見せかけて情報増えてないやつ。そこそこ便利
  • Quantum Trump 一般量子化トランプ cf. togetter
  • Treemap in JavaScript ツリーマップエディタ。
  • continuum gomoku 連続体五目並べ
  • example for sprite game in JavaScript
  • Wobble Audio API: -API of wobble base in JavaScript-
• SNS, nostr: nostr は分散型SNSです
  • find mine fire2026 自分の nostr 投稿をローカルに集め、SQLite FTS5 で高速検索する Ubuntu 用ツール
  • zundamstr2026 投稿の語尾を決定的アルゴリズムでずんだもん風に変換して読む nostr クライアント (GitHub)
  • emoemo2026 Nostr のカスタム絵文字リストと絵文字パックを探す・作る・編集するアプリ (GitHub)
  • yomi nostr/Bluesky/misskey.io 読み上げクライアント
  • warawo(仮) nostr フォロイーリレー解析ツール
  • 8-bit Schnorr Signature Demo2026 Nostr で使われる Schnorr 署名を8ビットで観察できる教材 (GitHub)
  • mojimoji モジュラー型 nostr クライアント
  • find mine nostr, Bluesky, twilog, twitter の自分の発言から検索
  • nostr-tsne nostr のソーシャルグラフを t-SNE で書いてみたかったんですがスパムがうざくて頓挫しています。アルゴリズムは出来てる
  • nostr-post-checker 投稿がどのリレーにあるか調べるサイト
• Formal Proofs: 巨大数に関係する形式証明
  • bms-rathjen2026 BMS と Rathjen 弱マーロψの対応表をlean証明付きで作成(未完)
  • yet-another-pss-proof2026 順序数・ZFを使わないペア数列システムの停止性証明を Lean 4 と Isabelle/HOL で形式化
  • prss-proof2026 原始数列システムの停止性を Isabelle/HOL で二通りに形式証明
  • pss-proof2026 P進大好きbot氏のペア数列システムの停止性を Isabelle/HOL, Lean 4 で形式化
  • BMS well-orderedness formalization2026 Bashicu Matrix System の整列性論文を Isabelle/HOL・ZF で形式検証するプロジェクト（未完）
• Developer Tools: 開発ツール
  • fandom-isearch2026 Fandom の XML アーカイブを SQLite 化し、ブラウザや端末でインクリメンタル検索
  • leanman2026 複数エージェントの Lean 4 証明チェックを並行管理するツール
  • isbman2026 複数の Isabelle ビルドを安全に並行実行・管理するツール
• Multi-Dimensional Games: 多次元ゲーム関連
  • 4D pong wars 4次元空間のpong wars。
  • 4-Dimensional Golf ４次元空間でのゴルフゲーム(頓挫しています)
  • 7-Dimensional Binary Chess 2x2x2x2x2x2x2の７次元空間でのチェス
  • 4-Dimensional Rogue-like game 4D8-HACK Michael Brough のローグライクゲーム 868-HACK の４次元化
  • 4-Dimensional Billiards 4次元空間のビリヤード。
  • 4-Dimensional soko like 倉庫番の4次元化
  • 4-Dimensional TRON TRON の4次元化
• Googology: 数式で大きな数を作る巨大数という活動をやっています
  • GoogolBook LM2025 英語・日本語の巨大数 Wiki を検索し、出典付き回答を作る RAG Q&A (GitHub)
  • MVEBH:Multiple Variable Extended Buchholz Hydra expander in JavaScript
    多変数拡張ブーフホルツのψ関数に対応するヒドラを作ろうとしたがたぶんうまくいっていない
  • Kuma Worm Sequence calculator
    くまむし数列のプログラム化をやろうとした
  • ordex:The Ordinal Expander (3-ary KumaKuma Psi calculator)
    くまくま３変数ψのプログラム化
  • Akko and Doggo and Replie in the Endless Wilderness | battle mode
    アッコとドッゴとレプリの果てのない散歩。多変数アッカーマン関数の数列化。
  • Y-Sequence difference sequence calculator
    Y数列のマウンテンをかくやつ
  • BMS Hydra Viewer... Hydra-drawing site for Bashicu Matrix System (fork from naruyoko's)
    BMSの多行ヒドラの描画プログラム
  • yaBMS... yet another implementation of BMS in Javascript
    もう一つのBMS展開プログラム。C言語版とjavascript版があります
  • Hydraviewer... Hydra-drawing site for Pair Sequence System
    ヒドラビュワ。ペア数のヒドラが書けるよ
  • Beklemishev's Worms... Beklemishev's Worms simulator
    ベクレミシェフの虫の展開器。
  • shortcuts:
    • Friendly links for Y sequence system
    • Friendly links for Extended Weak Buchholz's Psi Family