WPC(Wireless Power Consortium)が策定したワイヤレス給電の標準規格。
携帯電話やスマートフォンなどモバイル機器を充電台の上に置くだけで、充電ケーブル接続等を接続する必要なく充電できる電磁誘導方式の非接触充電規格である。
NTTドコモでの呼称は「おくだけ充電」
同様の電磁誘導方式の非接触充電としては、Duracell Powermatが存在するが互換性はなく、日本ではQiの普及が先行している。
Lispベースの関数型プログラミング言語。パターンマッチ、λ計算、好きなときに使える静的型検査が特徴。sequent calculusによる型定義ができるので、MLやHaskellすら凌駕する最強の型システムだと豪語している。GPLだが、商用利用ライセンスも用意している。