大槻泉実
- いいね数 353,300/377,919
- フォロー 1,085 フォロワー 1,042 ツイート 106,366
- 現在地 Tachikawai, Tokyo
- Web https://mnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvw.xyz/ja/
- 自己紹介 ふぁぼがうるさいと思ったらブロックするのが吉。 Amazonのアソシエイトとして、適格販売により収入を得ています。
2019年09月02日(月)

ああああああああああああああああああああああああああああああああああああああああああああああああ♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️
タグ:
posted at 23:35:47

予備役赤色提督(CV.中田譲治) @Admiral_Kirov
安倍総理「えー。いわゆるラピュタ、イージスラピュタにつきましてはですね、これは、まったく他国への侵略を目的とした攻撃型ラピュタとは一線を画すもので、ありまして、我が国に対する現実的な脅威から、国民の皆様をですね、守る、こういった目的に沿った装備である、と認識しております。」
タグ:
posted at 23:34:12



基本型(Number など)と複合型(struct や optional など)は制約強さで順序付けされた半順序集合として定義されていて,一番上に top 型,一番下に bottom がいる.例えば ⊤ → number → int → <=10 → 3 → ⊥
タグ:
posted at 11:18:12


data validation 特化言語 CUE.設定やクエリ,テンプレート,コード生成などでのバリデーションに使える.Go で書かれてて,Go から簡単に使える.blancket statements が良さそう | 'CUE' cuelang.org
タグ:
posted at 10:22:28

俺はKONOだ。
日本語はこうのと書いてコーノと読む。
オ段の後に「う」を書いたら、オを伸ばすんだ。 twitter.com/pisiinu/status...
タグ:
posted at 07:41:13