scp user@src.example.com:~/sample.zip . scp ./sample.zip user2@dist.example.com:~/sample.zip
scp -3 user@src.example.com:~/sample.zip user2@dest.example.com(portや鍵の指定は .ssh/config 辺りに接続設定書いておくと使う時にごちゃごちゃしなくてよい)
gcloud compute ssh {{ gce name }} --ssh-flag="-L 10001:localhost:22 -N -f"
CREATE INDEX idx_name ON Student (name);
複合カラムインデックスもよく使われています。
CREATE INDEX idx_name_class ON Student (name, class);
DROP INDEX idx_name ON Student;
Indexを作成したら、EXPLAIN でindexの使用状況を確認できます。EXPLAIN SELECT * FROM Student WHERE name = 'John';
+----+-------------+---------+------------+------+---------------+----------+-----+------+------+----------+----------------+
| id | select_type | table | partitions | type | possible_keys | key | key_len | ref | rows | filtered | Extra |
+----+-------------+---------+------------+------+---------------+------+---------+------+------+----------+----------------+
| 1 | SIMPLE | Student | NULL | ref | idx_name | idx_name | 767 | const| 1 | 100.00 | Using index|
+----+-------------+---------+------------+------+---------------+------+---------+------+------+----------+----------------+
- id: クエリの選択部分の識別子。外部のクエリの場合は1です。
- select_type: SELECTのタイプ。この場合はSIMPLEで、サブクエリやUNIONのない単純なSELECT。
- table: アクセスされているテーブル。
- type: 使用されているアクセス方法のタイプ（例：フルテーブルスキャンの場合はALL）。
- possible_keys: 使用可能なインデックス。
- key: オプティマイザによって実際に選択されたインデックス。
- key_len: 使用されたキーの長さ。
- ref: インデックス名で指定された列または定数。
- rows: クエリを実行するためにMySQLが調査する行の推定数。
- filtered: テーブル条件によってフィルタリングされた行の割合。
- Extra: クエリの実行に関する追加情報。
using index condition; using where;‘ と書かれている場合、インデックスを使用した後に結果をフィルタリングする必要があったことを示します。
SELECT *FROM Student USE INDEX (idx_age)WHERE age > 20;
{
"orderId": 1001,
"orderDate": "2023-11-30",
"itemName": "UVコーティングシール"
}// $jsonObjectは「stdClass」クラス
$jsonObject = json_decode($jsonString, false);
try {
$prop = $jsonObject->orderDate; // ①orderDateがないときはExceptionが発生する…はず？
$orderDate = new DateTime($prop); // ②$propがnullだとTypeErrorが発生
} catch (Exception $e) {
$orderDate = new DateTime(); // ③今日の日付を使う
}$jsonObject->orderDate; のところで、プロパティが無ければnullが取れるのが直感的で好きです。
// $jsonObjectは「stdClass」クラス
$jsonObject = json_decode($jsonString, false);
if (property_exists($jsonObject, 'orderDate') && !empty($jsonObject->orderDate)) {
$prop = $jsonObject->orderDate;
$orderDate = new DateTime($prop);
} else {
$orderDate = new DateTime();
}{
"name": "江戸川コナン",
"age": 6,
"birthdayMonth": "May",
"birthdayDay": 4,
"sex": "male",
"job": ["student",
"detective"
]
}
この情報をベースに某小学生の通う小学校に入ることのできる人物を定義してみました。
{
"$schema": "https://json-schema.org/draft/2019-09/schema",
"$id": "http://example.com/example.json",
"type": "object",
"default": {},
"required": [
"name",
"age",
"birthdayMonth",
"birthdayDay",
"sex",
"job"
],
"properties": {
"name": {
"type": "string",
"minLength": 1,
},
"age": {
"type": "integer",
"default": 0,
"minValue": 5
},
"birthdayMonth": {
"type": "string",
"enum": [ "Jan", "Feb", "Mar", "Apr", "May","Jun", "Jul", "Aug"
, "Sep", "Oct", "Nov", "Dec"
]
},
"birthdayDay": {
"type": "integer",
"default": 1,
"maxValue": 31,
"minValue": 1
},
"sex": {
"type": "string",
"default": "",
"enum": [
"male","female"
]
},
"job": {
"type": "array",
"default": [],
"items": {
"type": "string",
"enum": [
"student",
"detective",
"parent"
]
}
}
}
}
定義した条件としては
"allOf": [
{
"if": {
"properties": {
"job": {"const": "student"}
}
},
"then": {
"properties": {
"details": { "$ref": "#/definitions/student" }
}
}
},
{
"if": {
"properties": {
"job": { "const": "detective" }
}
},
"then": {
"properties": {
"details": { "$ref": "#/definitions/detective" }
}
}
}
]
見慣れないプロパティはドキュメント等を参照してもらうとして、条件としては「jobが”student”だった場合はdefinitionsプロパティに定義したstudentのdetailsプロパティを参照し、jobが”detective”だった場合はdetectiveのdetailsプロパティを参照する、それ以外はdetailsを持たない」となっています。
allOfのおかげでここは比較的に簡潔に書けました。(それでもdefinitions項目に別途色々定義したりする必要があるのでJson自体はカオス。)
--（ハイフン2つ）で指定します。
記載場所はcssで:root{}のカッコ内に指定すると（グローバルなスコープになるので） そのcssの読み込まれていれば別のcssからでも使えるようになります。
使うときはvar();で囲います。:root {
--main-bg-color: blue;
}
#main{
background:var(--main-bg-color);
}
上の例の#main{}の中でもCSSカスタムプロパティーを指定することができますが、その場合は#main{}の外では使えません。
<!DOCTYPE html>
<html lang="ja">
<head>
<meta charset="utf-8">
<title>カスタムプロパティデモ</title>
<style type="text/css">
:root {
--h1Color: #e70d9e;
--h2Color: #9e0de7;
--h3Color: #350de7;
--h4Color: #0d4be7;
--h5Color: #0da2e7;
--h6Color: #0de77a;
}
h1 {
color: var(--h1Color);
}
h2 {
color: var(--h2Color);
}
h3 {
color: var(--h3Color);
}
h4 {
color: var(--h4Color);
}
h5 {
color: var(--h5Color);
}
h6 {
color: var(--h6Color);
}
#stage{
display: flex;
}
#inputArea {
margin: 30px;
width: 350px;
flex:1;
}
#inputArea label{
display: inline-block;
width: 225px;
}
#inputTargetArea {
display: flex;
}
</style>
</head>
<body id="stage">
<div id="targetArea">
<h1>h1 hello world</h1>
<h2>h2 hello world</h2>
<h3>h3 hello world</h3>
<h4>h4 hello world</h4>
<h5>h5 hello world</h5>
<h6>h6 hello world</h6>
</div>
<div id="inputArea">
<div id="inputTargetArea">
<label for="targetChanger" name="targetChanger">何を変更するか選べます。</label>
<select id="targetChanger">
<option value="h1">h1</option>
<option value="h2">h2</option>
<option value="h3">h3</option>
<option value="h4">h4</option>
<option value="h5">h5</option>
<option value="h6">h6</option>
</select>
</div>
<div id="inputColorArea">
<label for="colorChanger">何色に変更するかを選べます。</label>
<input type="color" id="colorChanger" name="colorChanger" value="#cbcbcb" />
</div>
</div>
<script language="javascript">
document.getElementById("colorChanger").addEventListener("input", changeColor, false);
function changeColor() {
var targetTagName = document.getElementById("targetChanger").value;
var newColor = this.value;
document.documentElement.style.setProperty('--' + targetTagName + 'Color', newColor);
}
</script>
</body>
</html>
例は次のようになっています。
