IT練習ノート

IT関連で調べたこと（実際は嵌ったこと）を書いています。

楽天モバイル外で買ったOPPO A5 2020ではRakuten-UN-LIMITで楽天回線が使えなかった

久しぶり（いつもの通り？）に情弱ぶりを発揮してしまいました。

家電量販店で、楽天担当の販売員と対面で、申込み（正式契約の前の申し込み）をしたのですが、その時に、販売員からスマフォの確認があって、手元のOPPO A5 2020を見せたら、大丈夫ですねって言われたので、申し込みをしました。

正式契約をした後、SIMカードが手元に届きました。使い始めてしばらくして、楽天モバイルのアプリで利用状況を見たら、楽天回線が0GBのままで、パートナー回線のみ利用されている状況でした。不思議に思って、コールセンターに問い合わせをしてみました。

コールセンターで2時間くらい話を聞いて、やっとわかったのは、楽天モバイルで購入していない端末は動作保証対象外とのことでした。（この情報をたどり着く前にも紆余曲折がありましたが。）

その「公式」情報へたどり着く導線

(1) トップページ

f:id:naotoogawa:20200413223641p:plain
楽天モバイルのトップページ -> 下にスクロールすると機種の情報がある

(2) 製品ラインアップから「詳細を見る」に進む

f:id:naotoogawa:20200413223711p:plain
製品ラインアップ -> 詳細を見るのリンク

(3) 詳細のページに、OPPO AS 2020があるので、楽天モバイル外で入手しても使えるように思える。

f:id:naotoogawa:20200413223907p:plain
OPPO A5 2020 がある

(4) しかし、その下にリンクがある。

f:id:naotoogawa:20200413224014p:plain
SIMカードを入れ替えてご利用できる製品のリンクがある

(5) 以下の製品のリストの中にOPPO A5 2020の記載はない。なので、楽天モバイル外で買ったOPPO A5 2020はRakuten-UN-LIMITで楽天回線使えないということ。

f:id:naotoogawa:20200413224439p:plain
ここにしれっと、楽天モバイルから購入していない端末は、対象外の記載がある

楽天 un-limit 対応機種 でWeb検索しておけば、OPPO A5 2020は動作保証対応外であることは、非公式の情報からすぐに気づけたはず。というか、非公式の記事のほうがわかりやすい。

プランとしてはとても良いとおもっているのですが、無駄に回線を持っていても仕方がないし、どうしようか。

■

f:id:naotoogawa:20200413225751p:plain
OPPO A5 2020 がある、楽天以外で入手する。

f:id:naotoogawa:20200413225657p:plain
ここでSIMだけ申し込む

f:id:naotoogawa:20200413223641p:plain
楽天モバイルのトップページ -> 下にスクロールすると機種の情報がある

f:id:naotoogawa:20200413223711p:plain
製品ラインアップ -> 詳細を見るのリンク

f:id:naotoogawa:20200413223907p:plain
OPPO A5 2020 がある

f:id:naotoogawa:20200413224014p:plain
SIMカードを入れ替えてご利用できる製品のリンクがある

f:id:naotoogawa:20200413224111p:plain
「SIMカード代金は発生しません。」って何が言いたいんだろうか？

f:id:naotoogawa:20200413224439p:plain
ここにしれっと、楽天モバイルから購入していない端末は、対象外の記載がある

f:id:naotoogawa:20200413224554p:plain
iPhoneは対象外と書いてある。この点はメディアでも報道されていたと思う。

■

f:id:naotoogawa:20200413223641p:plain
楽天モバイルのトップページ -> 下にスクロールすると機種の情報がある

f:id:naotoogawa:20200413223711p:plain
製品ラインアップ -> 詳細を見るのリンク

f:id:naotoogawa:20200413223907p:plain
OPPO A5 2020 がある

f:id:naotoogawa:20200413224014p:plain
SIMカードを入れ替えてご利用できる製品のリンクがある

f:id:naotoogawa:20200413224111p:plain
「SIMカード代金は発生しません。」って何が言いたいんだろうか？

f:id:naotoogawa:20200413224439p:plain
ここにしれっと、楽天モバイルから購入していない端末は、対象外の記載がある

f:id:naotoogawa:20200413224554p:plain
iPhoneは対象外と書いてある。この点はメディアでも報道されていたと思う。

関数合成と関数適用の練習

Haskell
f g g . f g f 補足
1 a -> b c -> d a -> c d
2 a -> b -> c d -> e -> f a -> e -> f e -> f
3 a -> (b -> c) d -> e -> f 2と同じ
4 (a -> b) -> c d -> e -> f (a -> b) -> e -> f e -> f
5 a -> b -> c d -> (e -> f) a -> e -> f e -> f
6 a -> b -> c (d -> e) -> f a -> c f
7 a -> (b -> c) d -> (e -> f) ２と同じ
8 (a -> b) -> c (d -> e) -> f (a -> b) -> c f
9 (a -> b) -> c d -> (e -> f) 4と同じ
10 a -> (b -> c) (d -> e) -> f 1と同じ
11 a -> b c -> d -> e a -> d -> e d -> e g.fは２のg.fと同じ
12 a -> b (c -> d) -> e a -> c e 1と同じ
13 a -> b -> c d -> e a -> c e 12と同じ(1と同じ)
14 (a -> b) -> c d -> e (a -> b) -> c e 1の変形
15 a -> b -> c d -> e -> d a -> e -> b -> c e -> a -> b -> c g.fのときd=b->c、g fのときd=a->b->c
16 (a -> b) -> c d -> e -> d (a -> b) -> e -> d e -> (a -> b) -> c g.fのときd=c、g fのときd=(a->b)->c
17 (a -> b) -> c (d -> e) -> d (a -> b) -> c a -> b g.fのときd->e=cでキャンセルされる、g fのときd=(a->b)とe=cでe=cはキャンセル

フェルマーの小定理(P=11)

Haskell

フェルマーの小定理 - Wikipedia

n 0 1 2 3 4 5 6 7 8 9 10
n2 0 1 4 9 5 3 3 5 9 4 1
n3 0 1 8 5 9 4 7 2 6 3 10
n4 0 1 5 4 3 9 9 3 4 5 1
n5 0 1 10 1 1 1 10 10 10 1 10
n6 0 1 9 3 4 5 5 4 3 9 1
n7 0 1 7 9 5 3 8 6 2 4 10
n8 0 1 3 5 9 4 4 9 5 3 1
n9 0 1 6 4 3 9 2 8 7 5 10
n10 0 1 1 1 1 1 1 1 1 1 1
n11 0 1 2 3 4 5 6 7 8 9 10 
Prelude> mapM_ print
  $ (
    \k -> (
          \(d,nx,px) -> map (
                            \n -> "n^" ++ show n ++ " " ++ show (map ((`rem`d).(^n)) px)
                            ) nx
          ) (k,[2..k],[0..(k-1)])
    ) 11

"n^2 [0,1,4,9,5,3,3,5,9,4,1]"
"n^3 [0,1,8,5,9,4,7,2,6,3,10]"
"n^4 [0,1,5,4,3,9,9,3,4,5,1]"
"n^5 [0,1,10,1,1,1,10,10,10,1,10]"
"n^6 [0,1,9,3,4,5,5,4,3,9,1]"
"n^7 [0,1,7,9,5,3,8,6,2,4,10]"
"n^8 [0,1,3,5,9,4,4,9,5,3,1]"
"n^9 [0,1,6,4,3,9,2,8,7,5,10]"
"n^10 [0,1,1,1,1,1,1,1,1,1,1]"
"n^11 [0,1,2,3,4,5,6,7,8,9,10]"