SSDと表示されているのに遅い(Intel Optaneの性能と普及)
1. SSDなのに遅い? ノートPC(2018年製)のメンテナンスをしていたら、ちょっと気になることがありました。 それは、タスクマネージャのパフォーマンスタブを開くと、ストレージの欄に「SSD」と表示されているのに、起 … 続きを読む
Slackから「FedRAMP対応が必要な場合がある」というメールが届いた
日本国内で、米国政府とのやり取りが一切ない個人や小規模チームが通常の業務連絡にSlackを使っているなら、FedRAMPとは無関係です。 1. 「対応が必要な場合がある」? Slackから「ご対応が必要な場合があります」 … 続きを読む
【Common Lisp】外部入力に予断を持つのは脆弱性のもと(readとscanf)
1. Lispのメモリ安全性とGC C言語由来のメモリ脆弱性をコンパイル時に防ぐ、としてRustが注目されています。 バッファオーバーフロー、Use-after-free、二重解放といったメモリアクセスの問題を、Rust … 続きを読む
【ABC248C】包除原理で上限つきの重複組合せを数える(Common Lisp)
1. 組み合わせと包除原理 N 個のサイコロを振る。各サイコロの目は 1 以上 M 以下の整数。出た目の合計が K 以下になる組み合わせの数を 998244353 で割った余りで求めよ。 C – Dice Sum この問 … 続きを読む
【Common Lisp】すべての組み合わせを、再帰とループで列挙する(可変長の多重ループのDFS)
1. 問題と全列挙 競技プログラミングの問題で、全列挙の計算を考えました。 N 個のサイコロを振る。各サイコロの目は 1 以上 M 以下の整数。出た目の合計が K 以下になる組み合わせの数を 998244353 で割った … 続きを読む
iPhoneの画面をテレビで見るには?(スマートテレビとストリーミングデバイス)
1. そのテレビは「スマートテレビ」か? iPhoneの画面をテレビで大きく表示したいときには、いくつかのポイントを考える必要があります。 2011年頃から「スマートテレビ」という言葉が広く知られるようになりました。最近 … 続きを読む
AtCoder adt_easy_20260513_1
1. A – “atcoder”.substr() 2. B – T-shirt 3. C – First Query Problem 4. D – A Reverse ここで時間切れでした。 5. E – Dice S … 続きを読む
condの値式に潜む「判定の陰」
1. 「判定の陰」ができていた AtCoderの問題を解いていたら、興味深いバグで不正解が出ていました。 マスに数値が置かれるたびに呼ばれる関数で、行・列・対角線ごとにカウントを更新し、どれかがNに達したらビンゴと判定し … 続きを読む
久しぶりにプログラミング用のフォントを選んだ(M PLUS 1 Code)
プログラミング用の等幅フォントは、読みやすくした欧文ベースの等幅フォントを元に、日本語ベースを調整して足し合わせることで、さまざまな合成フォントがあります。 私は、従来からRickty Diminished Discor … 続きを読む
【Emacs】C-n が表示行でなく論理行で動くようになってしまった(visual-line-mode)
1. C-nが飛ぶ? Markdown を書いていたら、突然 C-n の動きがおかしくなりました。 長い段落の途中にカーソルがあって C-n を押すと、画面上の次の行ではなく、遠く離れた行まで飛んでしまいます。短い行を書 … 続きを読む
abc456_e
1. 問題 2. コード(WA11)
AtCoder adt_easy_20260508_1
1. A – Repdigit 一桁目の数字を記憶して、再帰で不一致があるか解きました。 2. B – Isosceles 論理和 or です。 3. C – Election ハッシュテーブルで、投票数をカウントしまし … 続きを読む
【WordPressプラグイン】 LaTeX 個別パターン追加をやめて判定ルールを整理した
1. 何が問題だったか WordPress のブロックエディタに LaTeX を貼り付けると MathML に変換するプラグインを個人で開発しています。今回、inline LaTeX の判定ロジックを根本から見直したので … 続きを読む
AtCoder adt_easy_20260505_2
1. A – First Contest of t Year(WA 2) 1.1. 割り切れる場合は7になる 2. B – Intersection 3. C – Strawberries 4. D – TaK Code … 続きを読む
【AtCoder ADT】(E2026-04-27_1DE)
1. D – Trick Taking 1巡のループで、TとC1の2つの色の最大値とその人を探します。 2. E – Even Digits(TLE 7) まずは、素朴に解いてみました。 2.1. 5進数の2倍 この「よ … 続きを読む
【AtCoder ABC456A-C】(未E, F, G)
1. A – Dice Common Lisp では、3以上の引数でも比較ができます。 2. B – 456 2次元ベクトルから、出現数をカウントして、確率の元にしました(times-vec)。また、どのサイコロで4, … 続きを読む
Googleカスタム検索ボックスを追加した
ウェブサイトのヘッダーにGoogleカスタム検索を追加しました。 これまでの検索は、キーワード一致による検索でしたが、Googleカスタム検索はより「あいまいな」一致にも対応しています。 画像検索もあるので、関連する情報 … 続きを読む
【Common Lisp】関数型で考えて手続き的に実装し直す考え方(トップダウンとボトムアップの設計)
1. 関数で考えるトレーニング AIがPythonやJavaScriptのコードを大量に生成できるようになったので、人間は何をプログラムしたらよいか思案していたら、関数型パラダイムに興味が湧いてきました。状態を持たず、問 … 続きを読む