Takezoe,Tomoaki（すみと） @tomoaki3478@mstdn.res.ac

歪みの解消（広義のアービトラージ）が富を生む

CC0には制限と免責の条項があるので同じ権利放棄でもパブリックドメインと宣言するよりCC0を使ったほうがたぶん良い

CC BY SA 4.0 Section5 – Disclaimer of Warranties and Limitation of Liability. https://creativecommons.org/licenses/by-sa/4.0/legalcode#s5

縦ラテン文字、モンゴル文字っぽい（単にアルファベットの縦書きだからってだけかも

Menhirのドキュメントで、ε（ギリシャ文字）と書くべきところがє（キリル文字）になってる気がする http://gallium.inria.fr/~fpottier/menhir/manual.html#sec%3Alibrary

カフェオレはうまい

(🌮🍡🍲)o｡.(′◡‵[　　　] あす（きょう）こそのめやうたうんだ

GADTは実装しないことにした。

いわゆる「動的型」はいわゆる「静的型」とは別物だということです　そして多くの人が異なるterminologyを混用しているのです

(〃l p l) 🥙⊂(′◡‵[　　　]

実行時タグのことを型と呼んでいる言語にも型はある、anyという唯一の型が

ママの保護下から東京へ戻ったとたん料理画像の供給も乏しくなり悲嘆にくれている。もちろん絶食しているわけではないがあまりの落差に撮影がスキップされがちになる。

(J( ′◡‵)し)o｡.(′◡‵[　　　] 電話をした。ぼくのPixel3のマイクの品質がおかしかったのだが、イヤホンを付属のものに戻したらなおったようだ。イヤホンをつけると設定が変更されるとかそういうやつだろうか。