「曲線が直線よりも長い」ことが直感的に腑に落ちない人へ
- 2021.10.30
学生時代に考え抜いた数学上の命題が、今でも頭に残っていることは幸福である。 曖昧なまま暗記に走った概念は忘れ去られるべくして忘れ去られるが、根源的な問いに立ち向かい続けた体験は10年など安易に飛び越えて記憶に残る。 今回は、いつか遠い学生時代に僕自身なかなか腑に落ちなかった「2点を結ぶ線分は、直線よりも曲線の方が長くなる」という問題を解説していこうと思う。 問題 例えば以下のような点 s, t と […]
koji aomatsu
1/10ページ
6桁同士の掛け算が暗算でできるようになる平方数の話
4月はじめ、会社員。新鮮さを失った季節の幕開けに相応しく体調を崩して寝込んだ数日間に、僕は平方数を数えて眠りに入ろうとしていた。 一般人が自然数を数えて眠る一方で、僕は平方数を好んで使っていた。平方数を利用すれば特定の掛け算が高速に処理できるようになることが好きだったし、素数のランダムな美しさとはまた違う規則的な羅列が綺麗だと思った。 大学受験の直前、単語カードの表に100未満の数字を裏側にその平 […]
VoIPプッシュ通知でDeviceNotForTopicのエラーが出る
- 2020.07.25
iOS で VoIPプッシュ通知を試していてDeviceNotForTopicというエラーが出てハマったので解決策を共有。 原因 Provisioning ProfileとかCertificates周りに何かエラーがあるのかとばかり思っていたが、そうでもなかった。 Device Tokenは通常のAPNsのものと VoIP Push Notification のもので全く別のトークンとなる。APN […]
SwiftUIでNavigationViewのtitleに画像を載せる
- 2020.06.25
ロゴをNavigationViewのタイトルに載せる時なんてすごく多いと思うんですけど、navigationBarTitle()っていうメソッドはテキストしか受け付けてくれない。 ググってみるとstack overflowのこの投稿のような解決策（？？）が出てくるんだけど、navigationBarItemsには端末毎に異なる微妙なpaddingが設定されているので、完全に中央に来させようと思うと […]
キャストをする時、裏側で何が起こっているのか？【Swift】
- 2020.03.24
先日、キャスト（Type Casting）について原点的な疑問にぶつかった。 let a: Int = 28 let b = a as Any let c = b as! Int print(c - 1) // 27 このようにInt型で定義した値を、Any型にキャストし、再度Int型にキャストしたとする。 この時、Int型へのforce castは無事成功し、変数 c は整数型として扱うことが出 […]
映画「マチネの終わりに」の石に秘められた意味。感想と考察。
- 2019.11.05
3秒前には考えられなかったような行動。 例えばふとした時に街路沿いの石のブロックに腰をかけるようなそんな突拍子もない出来事を経験する。 そんな感じで映画「マチネの終わりに」を観てきた。 とても良かった。 以降はネタバレあり・説明なしの日記です。 派手な音楽も元気なダンスも奇抜な設定もこの映画には無い。そういった喧騒とは少し離れた路地裏で聞こえる静かなメロディー。それが本作だ。 福山雅治さんが演じる […]
UIStackViewでパディングが思い通りにならない時に試したこと
UIStackView なるものがある。沢山のViewをまとめたり、動的に中身が変わるようなものでもデザインをうまく制御したりするのにとても便利だ。 その反面、Constraintsを雑に設定しても反映されないことがあるので多少の慣れが必要となる。今回は複雑な処理をしたときにパディングが思い通りにならなかったことと、解決策、またその過程で調べたことを書いていこうと思う。 問題点と解決策 まずは何が […]