- 2023年12月27日
【GeoJSON】【JavaScript】ドーナツ状の多角形から中の穴を除去する
地図上の図形ができた後に穴を埋めたくなることがしばしばあります。この埋めたい穴とは次図の様な領域の中にある小さな穴のことです。 これはGeoJSONの仕様を知ると案外シンプルに […]
MONTH
2023年12月
- 2023年12月20日
【Python】部分的に重なっている領域を持つ領域同士を合成する方法
Pythonで画像を取り扱う時にしばしば画像の領域を扱う時があります。最近ですと Segment Anything を使うプロジェクトでよくやります。 Segment Anyth […]
- 2023年12月19日
【Git】【ShellScript】現在のタグがリモートリポジトリの最新のタグより古い場合にのみ何かをするスクリプト
プログラムの目的によっては外部に公開する必要があり、バージョンアップの際には都度、外部公開しているサーバーの中でプログラムを更新する必要があります。これを手作業でやるといずれミス […]
- 2023年12月14日
【TypeScript】【JavaScript】デバウンスで一定時間内の複数の処理をまとめる
しばしば大量の入力イベントすべてについてAPIと通信して、最後の結果のみを得たくなる時があります。これはオートコンプリートであったり、画面上から動かないボタンをクリックすると通信 […]
- 2023年12月12日
【Python】Windows上でtempfile.NamedTemporaryFileで作った一時ファイルの中に既存のファイルの内容をコピーすると PermissionError: [Errno 13] Permission denied になる問題とその解決用コード
この記事で使っているバージョンはPython 3.12、Windows 11 Proです。 Windows上のPythonで次のコードを実行するとエラーが発生します（少なくとも […]
- 2023年12月6日
- 2023年12月7日
【PHP】あるディレクトリ配下のファイル群をテキストファイルにまとめるスクリプト
タイトルの通りです。何かしらの理由でファイルシステムを使わずにディレクトリの中を探索する必要がある場合に役立つときがあるスクリプトを紹介します。 実際のコードは次です。ディレク […]
- 2023年12月5日
【Laravel】カスタムイベントリスナーの有効・無効をイベントを発行する際に決められるようにする
Laravelでカスタムイベントリスナーを任意のタイミングで有効化、無効化する方法を説明します。これは特にLaravelが用意したイベントリスナー（例えば xxx::saving […]
- 2023年12月1日
- 2023年12月1日
【Laravel】データの変更履歴を作る時に便利なメソッドを紹介
しばしばデータの変更連絡を保存、閲覧できるようにしたいという要望があります。この要望の際は通常のログに加え日本語で見やすい差分を作るようにする必要があります。これの役に立つメソッ […]
