- 2022年9月20日
【MySQL】MySQLにFeatureCollection型のGeoJSONの情報を保持させる
MySQL には空間データを扱う仕組みがあり、この中には地理データである GeoJSON を扱う仕組みも含まれます。 MySQL ：： MySQL 8.0 リファレンスマニュアル […]
CATEGORY
言語
- 2022年9月19日
GeoJSONの仕様の資料と使用例
GeoJSON は Geometry JSON の略であり、JSONで地理情報を表現するためのフォーマットのことです。GeoJSON は点、線、面とその集合、加えて任意の情報を保 […]
- 2022年9月16日
- 2022年9月19日
【React】react-leafletで地図上に描画された任意の図形らのGeoJSONをまとめて取得する
Leaflet は地図を描画してその上で様々なことができるライブラリです。react-leaflet はこの Leaflet を React 上で使える様にするライブラリです。 […]
- 2022年9月15日
【JavaScript】Dateオブジェクトを素のJavaScriptで楽に正確に複製する小技
JavaScriptのオブジェクトの機能にはクローンが備わっていません。構造を持つデータのクローンをする際も次の様な方法が取られることが多いです。 どちらもメソッドを複製できな […]
- 2022年9月15日
【React】ブラウザでカメラ撮影を実装できるライブラリ「react-html5-camera-photo」
タイトル通り、ブラウザでカメラを起動し写真を撮影する機能を実装できるライブラリ「react-html5-camera-photo」のご紹介です。 ブラウザでのカメラ機能は、今回初め […]
- 2022年9月14日
ブラウザがMIMEタイプを検出するアルゴリズムの仕様書の紹介
ブラウザの主機能に外部のサーバーからコンテンツをダウンロードする機能があります。ここでいうダウンロードとはローカルに保存するダウンロードのみでなくHTML、画像といったウェブペー […]
- 2022年9月9日
【PHP】ファイルの拡張子をファイルの中身に合わせて付与するスクリプト
PHPにはファイル署名とMIMEタイプと拡張子を組み合わせた辞書が組み込まれています。この辞書は finfo 関数を用いることでいい感じに使えます。これを利用することで拡張子のな […]
- 2022年9月7日
【PHP】PHP7.1より前のバージョンではクロージャとstatic変数を組み合わせて if文を無視した処理ができる
PHP7.0は既にサポートの切れたバージョンの PHP であり、紹介する挙動はPHP7.1以降に修正済みです。とはいえなかなか面白い挙動でしたので紹介です。何が起きるかというと具 […]
- 2022年9月6日
【JavaScript】ResizeObserverで要素の幅や高さを連動させる
ある要素とある要素の大きさを連動させたい時、普通はCSSを使います。width: 75%とかそういうのです。しかしながら独自の定義である要素とある要素の大きさを関連付けたい時があ […]
- 2022年9月5日
【make】Makefile内の記述をWindowsとLinux両対応にする
Makefile は make コマンドで実行できるビルド定義です。おおよそコマンドの羅列をして使います。例えば次です。 例の様に Windows でも Linux でも使える […]
- 2022年9月1日
【Git】【JavaScript】gitコマンドとJavaScriptで次のバージョンのタグを自動で付ける
Git にはタグという機能があります。これは簡単に言うとコミットに名前を付ける機能です。特筆すべき点としてコミットメッセージとは別に付けられる、タグの観点から操作や閲覧ができる、 […]
- 2022年8月31日
【JavaScript】axios の通信キャンセルを使って最新の操作で起きた通信結果のみを得る
キーボードを打ち込むたびなどの高頻度で何かするたびに外部と非同期で通信する際、使うと便利な機能である通信キャンセル機能の紹介です。 ブラウザ上で非同期通信をしたい時、最後の1通 […]
