楽天モバイル外で買ったOPPO A5 2020ではRakuten-UN-LIMITで楽天回線が使えなかった
久しぶり(いつもの通り?)に情弱ぶりを発揮してしまいました。
家電量販店で、楽天担当の販売員と対面で、申込み(正式契約の前の申し込み)をしたのですが、その時に、販売員からスマフォの確認があって、手元のOPPO A5 2020
を見せたら、大丈夫ですねって言われたので、申し込みをしました。
正式契約をした後、SIMカードが手元に届きました。使い始めてしばらくして、楽天モバイルのアプリで利用状況を見たら、楽天回線が0GBのままで、パートナー回線のみ利用されている状況でした。不思議に思って、コールセンターに問い合わせをしてみました。
コールセンターで2時間くらい話を聞いて、やっとわかったのは、楽天モバイルで購入していない端末は動作保証対象外とのことでした。(この情報をたどり着く前にも紆余曲折がありましたが。)
その「公式」情報へたどり着く導線
(1) トップページ
(2) 製品ラインアップから「詳細を見る」に進む
(3) 詳細のページに、OPPO AS 2020
があるので、楽天モバイル外で入手しても使えるように思える。
(4) しかし、その下にリンクがある。
(5) 以下の製品のリストの中にOPPO A5 2020
の記載はない。なので、楽天モバイル外で買ったOPPO A5 2020
はRakuten-UN-LIMITで楽天回線使えないということ。
楽天
un-limit
対応機種
でWeb検索しておけば、OPPO A5 2020
は動作保証対応外であることは、非公式の情報からすぐに気づけたはず。というか、非公式の記事のほうがわかりやすい。
プランとしてはとても良いとおもっているのですが、無駄に回線を持っていても仕方がないし、どうしようか。
関数合成と関数適用の練習
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) | 2と同じ | ||
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は2の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)
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]"