魂の生命の領域

AWS とか Python とか本読んだ感想とか書きます

雑記

nヶ月間保管されるデータの月額保存料金から当月の増加分に想いを馳せる 2

オタクはすぐ何でも一般化する s_i を構成する要素を考える 風呂敷をさらに畳む まとめ kesumita.hatenablog.com オタクはすぐ何でも一般化する 前回の記事では、前月と当月のストレージ増分の変化(差や比)が一定の値になるパターンを考えました。 より一…

nヶ月間保管されるデータの月額保存料金から当月の増加分に想いを馳せる

設定 前提 パターン1. 増分が毎月同じ 適用できそうなケース パターン2. 増分が常に前月の定数シフト 適用できそうなケース パターン3. 増分が常に前月の定数倍 適用できそうなケース パターン4. 一般形 補足とおそらく見えていないこと 参考 設定 例えば直…

今更 Gist を使った

めちゃくちゃ便利だなおい!今更だけど! ちなみにコードは何でもよかったので、手元にあった進次郎構文をリスペクトした冗長で自明な処理を書いておきました。 インフラだと冗長性は大事ですからね。多分コードベースでも同じ(ジョークです)。 あと、 git…

VS Code のショートカットが暴発するので設定を変えた

前提 Mac 版の話です。 やりたいこと デフォルトで入っているショートカットに、こんなのがある。 ⌘ + ↑ でファイルの 先頭 に移動 ⌘ + ↓ でファイルの 末尾 に移動 これがしょっちゅう暴発するので、こうする。 ⌘ + ^ + ↑ でファイルの 先頭 に移動 ⌘ + ^ +…

心が弱いと何をしてもダメな例

ダメな人の脳内です。 条件 簡単なタスク 難しいタスク 自分でやる 依頼される 楽で良いゾ〜 なんで俺がやらなあかんねん 自分でやる 申し出る 自分が楽なことやってて(面倒な仕事は逆に任せることになるので)なんか申し訳ないな 出来もしないのに出しゃば…

メモ

なるほどなぁ f1 = lambda x: x + 2 f1(3) >>> 5 f2 = lambda f: f(3) f2(f1) >>> 5 (lambda x: x + 2)(3) >>> 5 (lambda f: f(3))(lambda x: x + 2) >>> 5

VSCode で何かしらの設定変えようとしたときのエラー

なんか急に目が良くなった気がして ⌘ + - でフォントのサイズを小さくしようとしたら、こんなエラーが出て何も起きない。 Unable to write into user settings. Please open the user settings to correct errors/warnings in it and try again. 右下にこん…

Docker 版 LaTeX を入れて VSCode で編集する

LaTeX Workshop をインストール まず VSCode の LaTeX プラグインがあるのでそれをインストールします。 marketplace.visualstudio.com これですでにローカルに LaTeX が入っていればもう動かし始められると思います(やってないのでわからない)。 ちなみに…

x^(m/n) を微分する

まえがき 定期的に TeX で数式を書きたくなりませんか?ねぇ というわけでただ式を書きたいだけの記事です。 目次 まえがき 目次 前提 f(x) = xn (n は自然数)の微分 具体例 f(x) = x2 のとき 一般形 f(x) = x-n (n は自然数)の微分 具体例 f(x) = x-2 …

GW に作ったゴミツールをローカルから消したいので GitHub へ押しやりました

今年の GW にちょっと再翻訳で遊んでてそれを無理矢理ブログにしていました。 kesumita.hatenablog.com kesumita.hatenablog.com kesumita.hatenablog.com 記事内での使ったスクリプトは載せているのですが、ちょっとだけエラーハンドリングを付け足して Git…

Mac で矢印を書く

偶然発見したのでメモがわりに書いておきます。 日本語入力の状態で以下を入力します。 入力するキー 出力 zh ← zj ↓ zk ↑ zl → 便利ですね。 お察しの通りかと思いますが、 z の後に入力しているキーと矢印の方向の対応は vim と同じやつです。 確認のため…

ダークモードおじさん

概要 Dark Reader というChrome Extension はいいぞ chrome.google.com おまけ 皆さんはダークモード好きですか? 僕は好きです。 かっこいいし目が疲れないしいいですよね。 僕は闇属性(=陰キャ)なのでどこか本能的にダークモードに惹かれるのかもしれま…

jq コマンドなんて要らんかったんや

概要 AWS CLI は jq 使わなくても --query あるからいいよね、以上。 知ってる人にとってはただただ冗長な内容です 本題 みんな大好き jq コマンドありますよね。 出力が JSON 形式のときいい感じに出力データを整形できるやつです。 例えばこんなデータが書…