LaTeX 擬似コードでのインデントの変更 (Google翻訳しただけ)

デフォルトでは、algorithmic パッケージは 2 em のインデントを設定します。簡単なコマンドを使用して、インデントを減らしたり増やしたりできます。

\begin{document} の前に以下のコマンドを配置するだけです。

\algrenewcommand\algorithmicindent{0.5em} % または任意の値を

これにより、好みに応じてインデントが減らされたり増やされたりします。

Source: Changing Indentation in LaTeX Pseudocode

Redomi Note 13 Pro+ 5G

今使っている Mi Max さん，フラッシュ LED がつかない(なぜか Zaim のカメラだとつく)，電話不能，などなど徐々に不調になってきたので Redomi Note 13 Pro+ 5G に乗り換え．+のつかない Redomi Note 13 Pro 5G で十分だったのだけれど，デザインがかわいいので+にしてしまった．

カメラがでかい & 重い…．上側が重たいので重量バランスが悪い…．

・カメラの画角

日本のレビューにはカメラの画角が書かれていなかった．英語サイトのFAQによると画角(と 35 mm 換算焦点距離)は以下の通り．

メインカメラ：84.8° (24mm相当)

超広角カメラ：118.2° (13mm相当?)

マクロカメラ：80.5° (26mm相当)

メインカメラは 2x トリミングで 48 mm 相当，4x トリミングで 96 mm 相当，と考えるとなかなか良い画角．マクロはもっと画角狭い方がいいなぁ．

・adb 使って以下のアプリを消す(本当は穏便に Disable したかったけれどできないらしい)．十分かどうかは不明．以下のサイトも参考に．
【Xiaomi】MIUIの広告削除、不審アプリ削除方法【Xiaomi adb/fastboot tools】

mcxiaoke/miui-blotware-apps.md

adb shell pm uninstall --user 0 com.miui.videoplayer adb shell pm uninstall --user 0 com.xiaomi.mipicks adb shell pm uninstall --user 0 com.miui.audiomonitor adb shell pm uninstall --user 0 com.miui.android.fashiongallery adb shell pm uninstall --user 0 com.miui.settings.rro.device.hide.statusbar.overlay adb shell pm uninstall --user 0 com.miui.mishare.connectivity adb shell pm uninstall --user 0 com.xiaomi.mi_connect_service adb shell pm uninstall --user 0 com.mi.globalbrowser adb shell pm uninstall --user 0 com.miui.player adb shell pm uninstall --user 0 com.miui.phrase adb shell pm uninstall --user 0 com.miui.gallery adb shell pm uninstall --user 0 com.facebook.services adb shell pm uninstall --user 0 com.miui.wallpaper.overlay.zirconjp adb shell pm uninstall --user 0 com.miui.bugreport adb shell pm uninstall --user 0 com.miui.yellowpage adb shell pm uninstall --user 0 com.miui.miwallpaper.overlay.zirconjp adb shell pm uninstall --user 0 com.mi.globallayout adb shell pm uninstall --user 0 com.miui.cit adb shell pm uninstall --user 0 com.miui.misound adb shell pm uninstall --user 0 com.facebook.system adb shell pm uninstall --user 0 com.miui.wallpaper.overlay.customize adb shell pm uninstall --user 0 com.google.ar.core adb shell pm uninstall --user 0 com.miui.mediaeditor adb shell pm uninstall --user 0 com.google.android.videos adb shell pm uninstall --user 0 com.google.android.apps.tachyon adb shell pm uninstall --user 0 com.google.android.youtube adb shell pm uninstall --user 0 com.google.android.apps.youtube.music adb shell pm uninstall --user 0 com.xiaomi.glgm adb shell pm uninstall --user 0 com.mi.globalminusscreen adb shell pm uninstall --user 0 com.google.android.apps.chromecast.app adb shell pm uninstall --user 0 com.google.android.apps.subscriptions.red adb shell pm uninstall --user 0 com.google.android.apps.chromecast.app adb shell pm uninstall --user 0 com.android.thememanager adb shell pm uninstall --user 0 com.miui.miservice adb shell pm uninstall --user 0 com.google.android.apps.messaging adb shell pm uninstall --user 0 com.android.provides.downloads.ui adb shell pm uninstall --user 0 com.google.android.apps.wellbeing adb shell pm uninstall --user 0 com.google.android.inputmethod.latin  

・[開発者オプション]→[最小幅]を初期値の"406"から"510"あたりに変えると，一画面に描画されるコンテンツが増えるのでよい．昔は adb で DPI を変えていたけれど端末単体でできるのは便利になったねぇ，と思ったら Mi Max 君でもできるんだが(!)

左が 406 (初期設定)，右が 510 ．

　

・[開発者オプション]→[アクティビティを強制的にサイズ変更可能にする]を選ぶと画面分割に対応していないアプリでも画像分割できるようになるかもしれない．

・サードパーティーランチャーで画面分割が動かない．標準のランチャーが裏で生きているとサードパーティーランチャーでも画面分割できるのだけれど，KILLされてしまうと動かなくなってしまう．ナビゲーションボタンの非表示もできない．超不便．(昔のMIUI だとできたんだが)

・Redomi Note 13 Pro+ 5G はでかいでかいと言われているけれど，個人的には横が小さすぎ(74.2mm)て QWERTY が打ちづらい．

歴代スマホと横幅を比べてみる．左から

Galaxy Note: 83mm

Xperia Z Ultra: 92mm

Mi Max 3: 87.4mm

Redomi Note 13 Pro+ 5G: 74.2mm

Mi Max 3: 87.4mm (没)

Galaxy Note は不満無いので横幅 80mm あたりが使いやすさの分水嶺なのかしら．Mi Max 4 がでたらよかったのにねぇ．

Z Ultra はお天気モニターアプリの常時表示で使っていたのだが，バッテリーがご懐妊していて持ち上げたら背面パネルがポロンと取れた…．