TypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)

2023/03/24 78 users TypeScript エイリアス true null 関数

ちょっと前に話題になった hotscript の技法の紹介やら, ラムダ計算を TypeScript の型にコンパイルする話やらなんやら. 通常の型レベル関数 TypeScript の型エイリアスはパラメータを取れるので, これは型レベルの関数であるとみなせます. type IsNumber<X> = X extends number ? true : false; type A = IsNumber<42>;... 続きを読む

ドコモからのお知らせ : Type A／B方式のおサイフケータイ対応サービスをご利用の際に必要な、ドコモminiUIMカード（ピンク色）の提供について | お知らせ | NTTドコモ

2013/02/22 15 users ドコモminiUIMカード NTTドコモ ドコモ 平素 提供

Type A／B方式のおサイフケータイ対応サービスをご利用の際に必要な、ドコモminiUIMカード（ピンク色）の提供について 平素はNTTドコモのサービス・商品をご利用いただき、誠にありがとうございます。 Type A／B方式のおサイフケータイ対応サービスをご利用の際に必要な、ドコモminiUIMカード（ピンク色）の提供を開始します。 ドコモminiUIMカード内にType A／B方式のサービスを... 続きを読む

ソニー、モバイル FeliCa 対応 NFC チップを商品化 -- Engadget Japanese

2011/11/10 109 users FeliCa LSI ＮＦＣ ISO ソニー

ソニーが、NFC の国際標準規格 ISO/IEC14443 Type A / Type B とモバイル FeliCa の両方に対応した無線通信 LSI の商品化を発表しました。Type A / Type B / Type F（FeliCa）の3規格に対応し、かつ自動で判別して通信を行うため、日本で言うところの「いわゆるおサイフ」（FeliCa）と、このところ海外で盛り上がっている「いわゆるNFC」... 続きを読む