はじめに Files.newBufferedWriter() は何が違う？ MalformedInputException と UnmappableCharacterException まとめ はじめに java.nio.file.Files には Reader や Writer 用のスタティックファクトリメソッドが用意されています。 Reader reader = Files.…

テキストエディタのデータ構造 Rope データ構造とは Rope は Copy on Write の実現が容易 Rope 実装例 Rope の結合と分割 挿入と削除処理 Rope の実行例 まとめ テキストエディタのデータ構造 テキストエディタでよく使われるデータ構造には、Gap Buffer、Pi…

まとめ AppData\Roaming AppData\Local AppData\LocalLow プラットホーム別の対比 user’s home directory user’s preference directory user’s config directory user’s local config directory まとめ ユーザホームディレクトリの AppData 配下には Roaming…

接続先(操作される側)の設定 クライアント(操作する側)の設定 接続先(操作される側)の設定 Windows Server 2012 以降では、既定で WinRM が有効になっているので、特別な作業は必要ない。 以下のようなサービスと Windows Defender ファイアウォールが構成済…

Fast CSV とは Fast CSV の使い方 CSV読み込み CSV書き込み まとめ Fast CSV とは Java用 の CSVライブラリは数多あります。例えば以下のようなものです。 Super CSV Commons CSV Opencsv SimpleFlatMapper Jackson Data Format Module しかしこれらは、積極…

はじめに プロジェクト準備 ffmpeg_sidecar の利用 実行 はじめに FFmpegを使えば、コマンドラインから動画ファイルの様々な操作が可能 FFmpeg の導入が面倒な場合は、ffmpeg_sidecar クレートを使えば、FFmpeg を自動でダウンロードして、各種処理が可能 (e…