NotaBene

自宅インターネット回線をNURO光にした 最近はどこのISPもそうだがONUにいらないルーター機能がついてくる 冗長な構成は回線速度を遅くしがちだが 折角自前のルーターを持っているので使いたい 速度はある程度犠牲になるかもしれないが 現状の構成を記しておく これを読んでいてま…

射f:X→Yf : X \rightarrow Yf:X→Y, g:Y→Zg : Y \rightarrow Zg:Y→Zから導かれる以下の図式は完全である 0→Kerf→Ker(g∘f)→Kerg→Cokerf→Coker(g∘f)→Cokerg→00 \rightarrow…

次の完全列の可換図式 が誘導する列Kerb→ibcKerc→icdKerd\Ker b \xrightarrow{i_{bc}} \Ker c \xrightarrow{i_{cd}} \Ker dKerbibc​​Kercicd​​Kerdは完全である. 証明 図式を以下の…

Archer A6というルーターの挙動がおかしい. 無線でプリンターがつながらなくなる L2TP/IPSecでVPNできなくなる 等々 したがって我が家では早々にリストラされたこのルーターにopenwrtをいれてあそびたい. https://github.com…

なるほどなぁと思う点もあったが, そうなのか？と思う点もあった. 全体的には同意できる点が多いが, この人たちはどのくらい関数型等の技術に詳しいのか疑問だった. オブジェクト指向でのデザインパターンにページの多くがさかれているわりには…

popin aladdinというデバイスを購入したのだが, adbがブロックされていて, kodi等の野良apkをsideloadできない. system領域を書き換えてやることで, adbdを起動させたい. 当然今後のOTAで失敗するであろうと考えられるので, 導入は慎重に……

整域RRRは体FFFを含む. 線形空間としての次元dim⁡FR<∞\dim_F R < \inftydimF​R<∞とする. このときRRRは体になる. とくに有限個の元からなる整域は体になる. x∈Rx \in Rx∈Rを0でない元とする. このとき x∈R×x \in R…

Prusa I3 Pro Wを購入するつもりが出荷するのが遅かったので, 4000円ぐらいプラスして Ender 3にした. banggoodで一度注文したものをキャンセルするには, カスタマーサポートに連絡せねばならない. まぎらわしいのは…

3dプリンタが唐突に欲しくなり, いろいろ調べてみた. (2020年4月現在) 結論からいうとこれが良いとおもわれる. 3dプリンタにはおおまかに以下の種類がある. 光造形 熱溶解 ホビーユースでは熱溶解が多いらしいが, 精度は光造形に比べて落ちる…

端末とGoogleアカウントをひもづける仕組み FRPがかかった状態では特定のアカウントでしか端末が初期化できない. 以下の動画で実際にできた. https://www.youtube.com/watch?v=Ho4R8LhtDpg

ハマりまくったので記録 Raspberry PiとあまったPCでクラスタを構成する. めんどくさいのでRaspberry Pi達は無線LANに直接ぶらさげてIPをDHCP固定で払いだす. のちのちにはPXE Bootしたい. Hypriot OSの設定 cloud…

十分に大きい圏CCCを考える. CCCの対象XXXがexponentiableであるとは, 関手 −×X ⁣:C→C- \times X \colon C \rightarrow C−×X:C→Cに対して右随伴関手(−)X ⁣:C→C (-)^{X} \colon C…

こいつをJupyter Notebookのセルにはっつけて実行すると二回認証をもとめられるのでこたえてやる. 保存したいときは, localにファイルを書きだしたあとに をよべばよい. 例: 教師データを読みだしたいときは, google driveのrootが にマウントさ…

リバースエンジニアリング対策であると思うが, UserLAnd等を用いてrootになっても/data/data/以下を自由にできるわけではない. 特にエミュレータ等でbootloaderを上書きできない場合は, 本質的にrootでログインすることは難しい. Noxでは設定でro…

ふと思いたって, kernelのソースを読もうとすることが年に数回あるが続いた試しがない… こんな経験ありませんか？ カーネルリーディングには戦略が必要であるというのが “私はどのようにしてLinuxカーネルを学んだか” という電子書籍の主張です. kernelを読んでいる人が…

ZTE Blade V580というAndroid端末のCustom Rom(CM14.1)をがんばって入れた話し。のーわらんてぃ。 Stock Rom LineageOS TWRP IMEI修正プログラム SuperSu LineageOSのsu TT175…