開発中正式リリース前です。機能とデータは予告なく変わることがあります。

ABOUT

学ぶ場所と作る場所のあいだに橋を架けます。

Arduino の授業の最終回はいつも「よくできました」で終わり、その先がありませんでした。その先を作ります。

ミッション

検証の先にある崖をなくす。

ブレッドボードで動くことを確かめた人はたくさんいます。しかしそれを基板に移そうとした瞬間、開発ボードの中に隠れていた水晶・リセット回路・レギュレータ・デカップリング・保護素子が一度に現れ、無線モジュールなら認証までついてきます。多くの人がここで止まります。検証済み回路と量産回路のあいだのこの知識のギャップこそ、私たちが埋めようとしているものです。

だから汎用 EDA は作りません。すでにあるもの — スケッチと部品リスト — を受け取って Shield/HAT またはモジュール実装の量産基板に展開し、決定論的検証器を通過したものだけを標準フォーマットで出力します。シミュレータで始めたプロジェクトが、そのまま基板ファイルまで進みます。

学ぶ場所から作る場所まで、プロジェクトを変えない。

プロダクトの形

この製品は、同じチームが別のドメインですでに検証した構造をそのまま踏襲しています。専門家ではないユーザーの設計意図をひとつの宣言的データとして受け取り、その意図を複数の表現(シミュレーション・ブレッドボード・PCB)にレンダリングし、自動生成は決定論的ルールで検証し、実際に作られる瞬間 — 図面であれ Gerber であれ — を支払いのタイミングにします。日韓の規制(技適・KC)を設計段階で吸収する点も同じです。

唯一の真実の源表現検証支払いのタイミング
設計意図 + ピン契約L0 シミュレーション · L1 配線図 · L2/L3 KiCad 基板ロジック / 電気(P1–P8)/ 実機(ユーザー)Gerber ダウンロード

原則

コードベースの絶対ルールをユーザーの言葉に置き換えるとこうなります。

01

AI は提案のみ、決定論的検証器が判定します。

AI が作ったネットリストは決してそのまま使われません。カタログ接地 → ゴールデンパターン(実在するオープンソース回路)→ ERC → ピン契約 → N サンプル合意 → KiCad DRC をすべて通過して初めて採用され、ひとつでも失敗すればルールベース展開器にフォールバックします。検証器に AI はありません。

02

三重検証を決して混ぜません。

ロジック(シミュレータ)· 電気(ERC・DRC)· 実機(ユーザー)は常に別々に表示します。実機検証は自動では通過しません — ユーザーが実基板で確認し、自分でチェックして初めて点灯します。

03

GPL ツールは別プロセスでのみ実行します。

KiCad・Freerouting・arduino-cli・Espressif QEMU はリンクもバンドルもせず、別コンテナ・別プロセスから呼び出します。ブラウザで動くものはすべて MIT ライセンスです。

04

回路を描くことを求めません。

すでにあるもの — .ino スケッチ、部品リスト — を入力として受け取ります。推論できない項目だけ質問し、入力全体をやり直させることはありません。

05

自動挿入した回路は必ず説明します。

デカップリング、プルアップ、フライバック、レベルシフタを黙って補いつつ、部品ごとに「なぜ?」を添えます。教育製品だからです。知らなくても作れて、知りたいときに知ることができる。

06

標準フォーマットで出力します。

KiCad プロジェクトと Gerber・BOM・CPL をそのままお渡しします。どの製造会社にもアップロードでき、KiCad で続きを編集できます。ユーザーを囲い込みません。

やらないこと

範囲を絞ったからこそ成立する製品です。

  • 汎用 EDA — 自由な回路図編集
  • ベアチップ完全統合設計 — MCU 単体 + 水晶・USB・ブートローダーを自前で設計
  • アナログ回路シミュレーション(SPICE)
  • 4 層以上 · 高速信号 · インピーダンス制御 — その段階なら KiCad へ卒業です
  • Raspberry Pi の完全エミュレーション — GPIO モックで十分です

オープンソース

この製品はオープンソースの上に立っています。ライセンスと結合方法を明らかにします。

プロジェクトライセンス役割結合方法
KiCad 9GPL-3.0基板生成 · DRC · Gerber/CPL 出力別コンテナで kicad-cli として実行、リンク・バンドルなし
FreeroutingGPL-3.0自動配線(DSN → SES)別プロセス(JVM)として呼び出し
arduino-cliGPL-3.0スケッチのコンパイル(.hex / .uf2 / .bin)別のコンパイル用コンテナ
Espressif QEMUGPL-2.0ESP32 サーバーシミュレーション別プロセス、MMIO トレースで GPIO を再生
avr8jsMITブラウザ AVR シミュレータフロントエンドに同梱
rp2040jsMITブラウザ RP2040 シミュレータフロントエンドに同梱
@wokwi/elementsMITブレッドボード部品グラフィックフロントエンドに同梱
KiCanvasMITブラウザ .kicad_pcb ビューアフロントエンドに vendored
Monaco EditorMITコードエディタフロントエンドで self-host
ゴールデンパターンコーパスの出典 — Arduino Uno Rev3 公式回路図、Espressif ハードウェア設計ガイド、Olimex ESP32 基板(Apache-2.0)、部品データシート — は検証レポートの各判定に根拠 URL として残します。

チーム · 連絡先

ibou.ai が作っています。まず日本と韓国のメイカーと学生を見ています。どちらの市場でも無線認証(技適 · KC)が量産の敷居になるため、認証を持つモジュールを優先して勧める構造はここから生まれました。

現在は Phase 0 です。変換パイプラインが実際に動くことを最初に検証し(ESP32 PoC 基板 DRC 0)、いまはカタログを広げています。最初のユーザーを探しています。

連絡先

hello@ibou.ai

カタログへの貢献、バグ報告、取材のお問い合わせはすべてこちらへ。

地域 · 認証

KR · JP · KC · 技適 · FCC · CE

UI は日本語・韓国語・英語。認証チェックリストは技適と KC を標準で含みます。

自分で動かしてみるのが一番早いです。

ログインなしでサンプルスケッチをブラウザで実行し、コードから何を読み取るかを確かめてください。