mattak's blog

人生を1ミリ進める

haskellで利回りを計算してあそぶ

ちょっとめんどい計算をhaskellで数行すらっとかけるマンになりたい

利回り計算が面倒だったのでhaskellで書いてみた

n年でx1円がx2円になった。 年利(rate)はいくら?

計算

x1 * rate ^ n = x2
rate ^ n = x2 / x1
n * log rate = log (x2/x1)
log rate = 1/n * log(x2/x1)
log rate = log (x2/x1)^(1/n)
rate = (x2/x1)^(1/n)
module Interest where

-- interest calculation by step
-- e.g. let year = 10, start = 100, end = 200, what is interest by year?
reverse_interest :: Float -> Float -> Float -> Float
reverse_interest start end year = (end / start) ** (1 / year)

試しに計算 72の法則. 年利6%で12年で2倍くらいになる

1.06 ^ 12 = 2.012196471835552 =~ 2.0
2 ^ (1/12) = 1.0594630943592953 =~ 1.06

あっていそう。

theoとwealthnaviの利回りを計算してみる.

  • theo: 10年で410 -> 571
  • wealthnavi: 30年で1180 -> 2443
$ ghci

*Interest> reverse_interest 410 571 10
1.0336779
*Interest> reverse_interest 1180 2443 30
1.0245537

theoが3.4% / wealthnaviが2.5% となる.

WWDC 4日目

今日も快晴! 湿度もひくい

f:id:mattaclj:20190607154447g:plain
sunny day

洗面所で服を手洗いして、バスタオルで脱水して部屋干ししている。 湿度が低くてよく乾く! 服装4日分くらい持ってきたのだけど、2-3日分でよかった感じがする。

intel museumに行った!

入り口がわからずに地味に迷う...

f:id:mattaclj:20190607154811g:plain
intel

レインボーのあんまり目立たない扉が正解だった。(中がみえないのでわかりにくい

f:id:mattaclj:20190607154958g:plain
door to intel museum

ウエハーの生成過程から基盤へプリントする手順が詳細に解説してあったり、8nm の世界がどれだけ小さいか?の解説だったり、tri-gate transistorが集積度あげて省電力ですごい話とかがわかりやすかった。

chipの歴史とかは正直薄っすらしかわからないけど、8nmのスケールとてつもない...! ってのは十分伝わってきた。

うーん眠い。。ねよ

WWDC 2019 3日目

WWDCはだぶだぶでぃーしー (Dub Dub DC) って発音すると良いらしい

すごいみにくいけど、DubDubってかいてある

f:id:mattaclj:20190605105851j:plain
dub dub

f:id:mattaclj:20190605120635j:plain
dub dub2

お昼すぎの16:00ごろから眠くなる... 飯食って、速攻寝て、また起きてよる作業というリズムになってしまった。

朝食

f:id:mattaclj:20190605095142j:plain
breakfirst

昼飯

f:id:mattaclj:20190606171115g:plain
chiken salad

昼食時に、@yujif さんという方と隣になったのでお話した。 現代の若者優秀ですごい。

zoom社

f:id:mattaclj:20190605180931j:plain
zoom

セッションは、RealityKit、PencilKit、iOS13 UIの話とかを聴いた。

そうだ、肉を食おうとおもったのでステーキ屋へ。 Hi-Lifeっていうステーキ屋さん。

f:id:mattaclj:20190606170906g:plain
steak

バーっぽさあるカウンターに、野球とかアメフトの中継流してた

f:id:mattaclj:20190606171020g:plain
bar

前菜的なもの

f:id:mattaclj:20190605183046j:plain
steak1

テリヤキステーキ。 そんなにteriyaki感なかった。 全体的に量が多くて、死にそうになる。 基本アメリカの飲食店で食べるときは量要注意。

f:id:mattaclj:20190605184235j:plain
teriyaki steak

そういえば、支払い時にチップを記載する文化をうっかり忘れてた。このお店では払った。 おとといに中華屋さんにいったのだけど、そのときにクレカで支払いした後でちょっと対応がそっけなかったのはそれか...! ってなった。

支払いステップ的には下記のような感じ

  1. 伝票とクレカを定員に渡す (テーブル会計)
  2. レシートを持ってくる.
  3. レシートにサイン + チップ金額をレシートに記入して、テーブルに置いておく
  4. 店の控えレシートを残して去る

基本レシートとカードが帰ってきた後にチップ料金を追加するので、支払いを終えたのに更に支払う感があってどうも慣れない.. クレジットの支払いタイミング的に追加料金請求し放題なきがするけど、あれ大丈夫なんだろうか...

今日のリス

f:id:mattaclj:20190606165736g:plain
squirrel

今日のたぬき

f:id:mattaclj:20190605204048j:plain
raccoon

今日の猫

f:id:mattaclj:20190605090458j:plain
cat

WWDC 2019 2日目

まだ時差ボケが抜けず、夜中起きたり、日中が妙に眠かったりする。 ちょっと寝坊しつつ会場へ、

usdzフォーマットの話などを聞いた。

合間時間で美術館にいったりした。

sjmusart.org

f:id:mattaclj:20190605152529g:plain
sanjose_art_musium

昼食はRussian Kale Saladというやつを食べた。 なんか全体的に不思議な感じ。

f:id:mattaclj:20190605152719g:plain
russian kale salad

そういえば、まちなかで電動スクーターをよく見る。

f:id:mattaclj:20190605153258g:plain
scooter

Limeというサービスらしい。かなり安く($1~2)、乗り捨てできて、利用も簡単そう。 シェアサイクルのもっとカジュアルなやつっぽい。

www.li.me

電動なので速度もそこそこでている。

f:id:mattaclj:20190605153658g:plain
lime_in_town

これは乗るしかない...! とおもって登録しようとして、チャージまでしたけど、いざQR撮って乗るってときに免許のスキャンが必要なことに気づいた。 カメラで免許書のバーコードを撮影するのだけど、日本の運転免許には対応してなくて残念。諦めた。

シェアサイクルよりかなりカジュアルで使いやすそうだったので、日本でもぜひ流行ってほしい。 でもスクーターとかスケートボード文化が薄いから厳しいんだろうか...

今日の猫

f:id:mattaclj:20190604103354j:plain
cat

WWDC 2019 1日目

うぉーーーおきるぞーー

っておもったけど、時差ボケか眠い.. 結局開始ギリギリにuberで到着

checkinするときに、「keynote始まるぞ! 急いで急いで」って言われてちょっと焦る. registrationしてるとこにいったら、ドアを開いた瞬間に 20-30人くらいのstaffに自分一人が囲まれて、めっちゃ拍手+口笛+welcome+イエーイみたいな大学生のノリの全力版で歓迎されて一気に目が覚めた。 なんというか歓迎されている感がものすごくて、善意を知らない人からそれをいっぺんに向けられると人間なんか困惑しつつとても嬉しくなってしまうらしい。 AppleのStaffちょうやさしいってなった。 異国でこういうことされると胸熱である。

f:id:mattaclj:20190604175215g:plain
conference center

f:id:mattaclj:20190604175255g:plain
inside building

お見上げもらった

f:id:mattaclj:20190603123530j:plain
omiage

中身はジャケットと国別ピンバッジ(日本) とおしゃれピンバッジ

f:id:mattaclj:20190604002218j:plain
inside

Tim cookさんが通り過ぎて手をふってた。

f:id:mattaclj:20190603133921j:plain
Tim

ar ボーリング (玉転がし)

f:id:mattaclj:20190604173454g:plain
ar bowling

ことしのwwdckeynoteがかなり盛りだくさんで、当たり年感があった。 内容はみんな騒いでいるので簡潔に.

  • iPadの外部ディスプレイうれしい
  • swiftuiとても嬉しい
  • Sign in with apple すき. 顔認証も早くなるしますますログインが楽になる感. 乱数メールアドレスも詳細気になる
  • Mac Pro、いろいろスペックがおかしい. 8K x 3ラインがリアルタイムでレンダリングできるっぽい. 8K動画作ってるプロユースにはとてもよさそう. 高くて業務用感ある. 複数同時シュミレータとかもすごすぎる
  • people occlusion 地味にすごい. minecraftデモがすごい楽しそうで胸熱
  • Mac 向けビルドよさそう. 詳細ためしてみたい気になる
  • Apple Pencil どのくらい紙感がでるようになったのか触ってみたい
  • Voice Controlすごい。腕が動かせない人に革命的だし、普通の人にも利用シーンけっこうあるのでは?

そういえば、keynote中にずっと手話のひとが会場真ん中で通訳してた。 そういう全人類ターゲットにしてやるぞ! っていうとことか、弱い人にきちんと寄り添えるところがApple好きってなる。

明日もがんばるぞー

WWDC 2019 まだ始まってない編

ついた!

1回乗り継ぎの飛行機

f:id:mattaclj:20190604164551g:plain
sanjose_airport

飛行機のなかで紅茶をたのんだんだけど、利尿作用が強くてけっこう我慢したので、機内でお茶は飲んじゃダメだなという学びを得た。

airbnbで現地の家を借りている。猫がたくさんいる素敵な家だった。

f:id:mattaclj:20190603091818j:plain
cats

f:id:mattaclj:20190603091843j:plain
a cat

airbnbはホテルに比べてとても安いし、ホストさんと適度な距離でお話できていろいろ学びが多いのでみんなも使えばいいのにって思った。 人見知りであんまり自分から話しかけられない人なので、こうゆう強制的に会話するイベントが多いと楽しめる感じがする。

ホストさんとちょっとお話

  • ubereatsおすすめでよいよ => 寿司というなの巨大恵方巻きを頼んでみた. 割と美味しい
  • 猫おおい. かわいい. 日本名の猫(カブキ)が先週からいないんだ... かなしい
  • 移動は carpoolかscoopがいいよ (相乗り専用のuberみたいなやつ). $10-20 => $2-3になる. 日本アカウントだとAppStoreからDLできず断念
  • なんかよい観光スポットない? => 企業多めであんまり見るところないかも

RIVERMARKっていうショッピングモールでSafewayというスーパーで夕飯/朝食をかうなどした。 ホストさんに自転車を借りたので、快適...! CAは車がないと基本移動がしんどい。

f:id:mattaclj:20190604165155g:plain
rivermark

てかりんご。みんなそのまま食うっぽい

apple

大量のプリペイドカード

f:id:mattaclj:20190604170621g:plain

機内で食べられなかったハーゲンダッツを食べよう! っておもったけど、デフォルトデカいやつしかなくて断念

f:id:mattaclj:20190604171511g:plain
haagen dazs

牛乳とかジュースとかがこのdawnyとかっぽいパッケージングされていると、違和感がすごい. 日本的なパッケージングのUXに慣れすぎてるのだろうか...

基本カラフル + デカイものがおおいから、なんか根っこの部分でパッケージングの考え方が違う気がする

f:id:mattaclj:20190602211308j:plain
milk

戦利品

f:id:mattaclj:20190602221629j:plain

WWDC 2019 いってくる! 準備編

GDCのときのチェックリスト

チェックリスト

  • [ ] パスポート
  • [ ] チケット印刷 (航空)
  • [ ] チケット印刷 (airbnb)
  • [ ] チケット印刷 (esta)
  • [ ] モバイルバッテリー
  • [ ] スマホ x2
  • [ ] PC
  • [ ] ケーブル (usb-c, thunderbolt)
  • [ ] ボールペン (入国審査書類てきなもので書く)
  • [ ] 名刺
  • [ ] ルーター
  • [ ] クレカ
  • [ ] 現金 (前回あまったやつ, $130, 日本円 3万)
  • [ ] CLIPPER
  • [ ] 歯磨き
  • [ ] 着替え
  • [ ] 海外SIM
  • [ ] 持ち歩きbag
  • [ ] 買い物エコバック

事前準備