Otomadb
ユーザからデータを募集したりすることによって，音MADの体系的なデータベースを作る． 技術的には，以下の目的を持って開発している．
- タグシステムの改善
- 従来のタグシステムの不満点（タグの親子関係やエイリアス）を改善したタグシステムを作成する．
- 推薦システムの構築
- タグシステムやユーザのいいね情報から，好きそうな音MADを推薦するシステムを作成する．
sno2wman.net
お前の好きなものが分かってよかった
自己紹介
次のものに興味があります．いくつかの項目には具体的なキーワードも付けておきます．ただし，私はここで挙がっているあらゆるものの専門家ではありません．
- Webフロントエンド開発 React Next.js
- 再現性のある開発環境の構築 Nix Dev Container
- 音MAD Otomadb
- 論理学 様相論理 認識論理 Gödelの不完全性定理
- 型理論
- 定理証明支援系 LEAN
- 計算理論
- 分散システム Kubernetes
- 知識工学
- 推薦システム
- 検索システム
プロジェクト
制作物
sno2wman.net
Astro
Svelte
Cloudflare Pages
このサイト．
SnO2WMaN/infrastructures
Nix
NixOS
Kubernetes
ArgoCD
自宅で実際に運用しているサーバやk8sクラスタ等の構成ファイル．
Otomadb Web
TypeScript
Node.js
Next.js
GraphQL
urql
Tailwind CSS
Storybook
Vercel
OtomadbのWebフロントエンド．
Otomadb API
TypeScript
Node.js
GraphQL
GraphQL Yoga
Prisma
PostgreSQL
Neo4j
Nix
Otomadbのバックエンド． GraphQL APIとしてやり取りする．
Otomadb k8s Manifests
Kubernetes
ArgoCD
Otomadbのk8sマニフェスト． 実際にこのマニフェストが自宅のk8sクラスタにデプロイされている．
rust-proplogic-toylang
Rust
Nix
Dev Container
命題論理の簡単な計算機をRustで作る．次の目的があった．
- Rustの勉強
- Dev ContainerにNixを入れて安定したRustの開発環境を構築する．
deno2nix
Deno
Nix
Denoで書かれたプログラムをNixでうまく取り扱うためのユーティリティ．
corepack.nix
Node.js
Nix
Node.jsのパッケージマネージャ管理ツールであるCorepackをNixでも使うためのユーティリティ．
satyxin
Nix
SATySFi
SATySFIのパッケージ解決などをNixで行うための諸々．
All your nicovideos in Scrapbox
Deno
TypeScript
Scrapbox内で言及したニコニコ動画の動画を全て取得する．使いやすいようにAPIとして提供．
連絡先
- Twitter @SnO2WMaN
- コミュニケーションツール(1)．
- Scrapbox /sno2wman
- 私的なメモや日報など．
- GitHub @SnO2WMaN
- 制作物(1)．
- Email [email protected]
- 重要な連絡．
- Fedibird @SnO2WMaN
- コミュニケーションツール(2)．
ソーシャル
改訂により2022年度から高等学校の学習指導要領から『現代社会』は消滅しました．
追加や削除は連絡先またはIssueより連絡してください．