いや、 d→0のときに1-d → 1って、ふつーか……?(高並感)

0.999...=1、みたいなのって、ε-δ使わなくてよいものなのかな?

ようやく 

そういえば @rosylilly レポートどうもでした!簡素で申し訳ないっつーことはないです、頼りがないのは良い便り。

快適にプログラムを書くために人との入出力をどうするか、的な。

寝て起きたら 98 commits あった日

移動しながらパッチを書きたい、という話をしている

これがround-tripしなくてチケット登録しよう、と思ってたのに、その「これ」の条件忘れてしもうた……

この時間起きてる方が健康的だし時間もできる、は同意なので 

いやーがち目に心配ですよ(前からだけど)

なんでまさらっきさんこの時間起きてるの、と思ったけど案の定寝てなさそう……

なお自分はコミット……の準備をしていました😅

Show more
Best Friends

友人と、くだらない話をしよう。Best Friends はあなたにとって最も居心地がいい場所でありたいと願って作られた Mastodon サーバーです。