random_page_cost パラメータ random_page_cost の意味合い random_page_cost の設定値 random_page_cost パラメータ random_page_cost はディスクからのランダムページアクセスのコストを制御するパラメータでクエリプランナのにコスト計算に影響する。 現…

一生終わらない Windows Update このところ Windows Server 2016 の Windows Update がほとんど機能しない。 「更新プログラムを確認しています...」が一生終わらなかったり、メモリ不足エラーで突然死したり。 スタンドアロンインストーラで凌いでいたけど…

はじめに glassfish-embedded の設定 glassfish.properties ファイル glassfish-embedded のオプション詳細 コマンド例 はじめに 2024年10月2日リリースの Eclipse GlassFish 7.0.18 では、glassfish-embedded が実行可能JARになり、直接Webアプリケーション…

PLAYWRIGHT_SKIP_BROWSER_DOWNLOAD オプション BrowserType.LaunchOptions() まとめ PLAYWRIGHT_SKIP_BROWSER_DOWNLOAD オプション Playwright で利用するブラウザは、自動的にダウンロードされる。 ブラウザのダウンロードを抑止する場合は、PLAYWRIGHT_SKI…

はじめに クラスファイルの読み込み クラスファイルの書き込み クラスファイルの変換 まとめ openjdk.org はじめに Class-File API は以下のプレビューを経て JDK24 で正式公開される予定です。 JDK22 JEP 457: Class-File API (Preview) JDK23 JEP 466: Cla…

以下のエラーとなる $ unzip XXX.zip Archive: XXX.zip warning [XXX.zip]: 1234567890 extra bytes at beginning or within zipfile (attempting to process anyway) error [XXX.zip]: start of central directory not found; zipfile corrupt. (please che…