2020-01-01から1ヶ月間の記事一覧
あるオブジェクトのこのフィールドを書き換えたいことあるでしょ。 type A: { x: X // => Yにしたい!!! } まあこういうときはA2 extends Aみたいなのを宣言するか,まあいろいろやりようはあると思うんですが,これがネストしてたりするわけですよ。5重とか…
久々にジムに行った。7km/hで30分走って帰ってきた。3.5km走ったことになる。途中でくたびれてきたが、なんとか走ることができたので良かった。 運動不足気味の人間が(7km/hとはいえ)30分も走り続けるには、忍耐しなければならない。忍耐は、自分が最も苦手…
オブジェクトからstring型のプロパティだけ取り出したいってことありませんか。僕はあります。何言ってんだという感じですがこういう感じです。 type EnumString = "foo" | "bar" | "piyo"; interface Mixed { a: string, b: number, c: object, d: EnumStri…
ない It is important to note that the schemas listed in an allOf, anyOf or oneOf array know nothing of one another. While it might be surprising, allOf can not be used to “extend” a schema to add more details to it in the sense of object-o…
JSON Schemaには,oneOfという便利な構文が用意されている。これは,与えられたスキーマのうちどれか1つだけがvalidなときvalidとする構文だ。 さて,そのoneOfの挙動で困ったのでメモする。具体的には,オブジェクト型Aと,別のオブジェクト型B,そしてAとB…
このスキーマ中の#abは無効になる。https://www.jsonschemavalidator.net/で検証してみるとよい。 { "definitions": { "a": { "$id": "#a", "additionalProperties": false, "type": "object", "required": ["a"], "properties": { "a": { "type": "number" …
(筆者は型入門者ですので,いい加減な事を書いていたらご指摘ください) ★追記: intersection typeとunion typeが逆だったので直した。 ★追記2: susisuくんにいいこと教えてもらったので追記した。 Intersection Types TypeScriptの型,とくにIntersection Ty…
今年何が欲しいかな~ということを考えていたら、未来が欲しいねということになった。未来のワクワクを最後に感じたのはいつだろう?ちょっと考えてみてほしい。 人は未来に対する希望で生きているようなところがある。ルターもそう言っている。 この世を動…
序文 中学生のころから、かれこれ不眠に10年近く悩まされてきた。夜眠れないし、朝起きられなかった。言葉にしてみれば20文字にも満たない、ただそれだけのことが、いくばく人生に打撃を与え、心を打ち砕こうとしたことだろう。 いつしか、それがどん底にぶ…
awsvpcまわりのECSのネットワークの挙動がdocker-composeと違っていて困って調べたので今後のためにメモしておきます。 docker-compose service単位でbridgeが作成される bridgeはL2レイヤ bridgeがたくさん生えるが,docker for macではVMの中にbridgeが生…
うちは家にIPv6が降ってくる家なので、EdgeRouter X のDS-Lite機能を使ってv4通信をトンネリングさせている。 しかしうちに降ってくるアドレスはプレフィックスが/64なのでこれ以上ネットワークを分割できない。どういうことかというと、EdgeRouterがv6のル…
★追記があります。 クラウド時代なので,JSONを環境変数に入れて渡したいということがあると思います。そしてそれをファイルに保存したいということがあると思います。 こういうJSONがあるとします。 $ FOO='{"foo":"b\na\nr"}' アプリケーションの都合でFOO…
id:pndykにお勧めしてもらった一冊。タイトルがタイトルだが啓蒙本でもスピ本でもなく、シオランというルーマニア生まれでパリで頭角を現した哲学者、思想家、作家の解説本にあたる哲学書である。もう今時希死念慮は息を潜めているが、この書籍で解説されて…
記事とは無関係な鉄火巻 初詣のときに立ち寄った店でいただきました おいしかったです いつからか自分はけっこうイライラを溜め込みやすい性格になった(元からそうだったのかもしれない)ので、それから逃げるためにゲームをやりまくったり、食べまくったり、…
www.3qe.us 完全に自分用ツールです。家の電子レンジが600Wなのですが、コンビニでお弁当を買って温めようとすると500W分の時間しか書かれてないわけです。このまま500W向けの時間で加熱するとアツアツになりすぎてしまいます。何度も口の中をやけどしながら…
人生設計上失敗だと思っているのは、うまく勉強ができなかったから大学受験に失敗したことを、周りとの関係を切り捨てて一匹狼になろうとすることで覆い隠そうとしたことだったかなと。それで結果的に周りとの関係に溝を自ら作ってどんどん殻に閉じこもって…
初コーディングはCommon Lispでした。 さて、GPSというものがあります。地球を測位するやつではなく、General Problem Solverです。Generalという夢のような名前が付いていますが、このGPSは任意の形式化された記号問題を解くことができるらしいので遊んでみ…
謹賀新年。あけましておめでとうございます。今年も良い年でありますように。 さて、新年になると気持ちが晴れやかになって新たな行動へのやる気が出てくる。普通の月が変わる瞬間ではこうはならない。じゃあ正月の何がそうさせるのだろうと考えたところ、自…