テック

toulmin — 契約を計算するルールエンジン

toulmin — 契約を計算するルールエンジン

ルールエンジンは60年間、検証対象を事実(fact)として扱ってきた。toulminは主張(claim)として扱う。Toulminの論証モデルをGoルールエンジンとして実装した。

filefunc — 1ファイル1コンセプト

filefunc — 1ファイル1コンセプト

AIコードエージェントの探索単位はファイルだ。1ファイルに1コンセプトを強制するGoコード構造のコンベンションであり、CLIツール。

Feature Chain — operationId ひとつでフルスタックを追跡する

Feature Chain — operationId ひとつでフルスタックを追跡する

ひとつの機能を修正するには、どのファイルに触れる必要があるか?Feature Chain は operationId をひとつ入力するだけで、API スペックから DB スキーマ、認可ポリシー、テストシナリオまで全体の範囲を自動的に抽出する。

whyso — git blame が見せないもの

whyso — git blame が見せないもの

git blame は誰が、いつ、何を変えたかを見せる。whyso はなぜ変えたかを見せる。Claude Code のセッションデータからファイルごとの変更履歴を自動抽出するツール。

気候変動の解決策が宇宙にあるって? ええ、本当です。

気候変動の解決策が宇宙にあるって? ええ、本当です。

太陽と地球の間にサンシェードを設置して気候を元に戻す方法。ダイソンミラー工場でコーティングを省けばできて、推進剤なしで自力で飛んで、撤去すれば元通り。計算が合う話。

SSaC — Service Sequences as Code

SSaC — Service Sequences as Code

サービス関数内部のビジネスフローを宣言的ブロック(sequence)に分解する言語非依存の概念。10個の固定タイプでwhatだけを宣言すれば、コードジェンがhowを埋める。

AI思考法:第一原理で前提を壊す5ステップ

AI思考法:第一原理で前提を壊す5ステップ

AIに答えを求めるな。前提を検証し、壊し、再構築する5段階思考法。2つの実践事例から見る第一原理AI活用。

捨てられる熱で調理する?廃熱回収型ヒートポンプ調理機器の可能性と現実

捨てられる熱で調理する?廃熱回収型ヒートポンプ調理機器の可能性と現実

既存の調理機器のエネルギー浪費を革新的に削減する廃熱回収型高温ヒートポンプ技術、どこまで来ていて、どう補完できるのか?

砂漠の砂でダムを築き、30年後そのダムが森になる

砂漠の砂でダムを築き、30年後そのダムが森になる

砂漠に溢れる無用の砂をバイオ接着剤で固めて貯水タンクを作り、寿命が尽きれば肥沃な土壌に還るオアシスペレット技術を提案する。

火災ゼロの蓄電池が、捨てられた電気を肥料と暖房に変える

火災ゼロの蓄電池が、捨てられた電気を肥料と暖房に変える

太陽光の出力制御で捨てられる電気を火災ゼロのエジソン電池で蓄え、水素から肥料と尿素水まで自給するエネルギー・農業融合モデル。