タグ Type A
人気順 10 users 50 users 100 users 500 users 1000 usersTypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)
ちょっと前に話題になった hotscript の技法の紹介やら, ラムダ計算を TypeScript の型にコンパイルする話やらなんやら. 通常の型レベル関数 TypeScript の型エイリアスはパラメータを取れるので, これは型レベルの関数であるとみなせます. type IsNumber<X> = X extends number ? true : false; type A = IsNumber<42>;... 続きを読む
ドコモからのお知らせ : Type A/B方式のおサイフケータイ対応サービスをご利用の際に必要な、ドコモminiUIMカード(ピンク色)の提供について | お知らせ | NTTドコモ
Type A/B方式のおサイフケータイ対応サービスをご利用の際に必要な、ドコモminiUIMカード(ピンク色)の提供について 平素はNTTドコモのサービス・商品をご利用いただき、誠にありがとうございます。 Type A/B方式のおサイフケータイ対応サービスをご利用の際に必要な、ドコモminiUIMカード(ピンク色)の提供を開始します。 ドコモminiUIMカード内にType A/B方式のサービスを... 続きを読む
ソニー、モバイル FeliCa 対応 NFC チップを商品化 -- Engadget Japanese
ソニーが、NFC の国際標準規格 ISO/IEC14443 Type A / Type B とモバイル FeliCa の両方に対応した無線通信 LSI の商品化を発表しました。Type A / Type B / Type F(FeliCa)の3規格に対応し、かつ自動で判別して通信を行うため、日本で言うところの「いわゆるおサイフ」(FeliCa)と、このところ海外で盛り上がっている「いわゆるNFC」... 続きを読む