bidirectional-lens-logic とは？
Hedges の双方向プログラミング用 4 種類格子 - GF(3) 対応の共変/反変/不変/二変型 ソース: plurigrid/asi。
·bidirectional-lens-logic
</>
bidirectional-lens-logic
✓Hedges の双方向プログラミング用 4 種類格子 - GF(3) 対応の共変/反変/不変/二変型
インストール
bidirectional-lens-logic のインストール方法
コマンドラインで bidirectional-lens-logic AI スキルを開発環境にすばやくインストール
- ターミナルを開く: ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます
- インストールコマンドを実行: このコマンドをコピーして実行します: npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic
- インストールを確認: インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code、Cursor、OpenClaw で使用できるようになります
ソース: plurigrid/asi。
SKILL.md
原文を見るCybercat Institute: Foundations of Bidirectional Programming III — Jules Hedges, September 2024
Variables have temporal direction — forwards or backwards in time:
| Kind | (cov, con) | Trit | Role | Operations |
Hedges の双方向プログラミング用 4 種類格子 - GF(3) 対応の共変/反変/不変/二変型 ソース: plurigrid/asi。
引用可能な情報
AI/検索での引用用の安定したフィールドとコマンド。
- インストールコマンド
npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic- カテゴリ
- </>開発ツール
- 認証済み
- ✓
- 初回登録
- 2026-02-25
- 更新日
- 2026-03-10
クイックアンサー
bidirectional-lens-logic のインストール方法は？
ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます このコマンドをコピーして実行します: npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code、Cursor、OpenClaw で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/plurigrid/asi
詳細
- カテゴリ
- </>開発ツール
- ソース
- skills.sh
- 初回登録
- 2026-02-25