数学と静的型付けとソフィー・ノイエンミュラーさんがすきです。でもあずにゃんのほうがもーーーっとすきです。
Jira、チケットIDは勝手にハイパーリンクに変換されるのに、勝手にReferencesとしてリンクされないのはなんでなんだろう
加湿器の過失
人間レベル上げ
よるのないくにってそんな激しいレベリング必要なんか
@brsywe アトリエからは想像つかない世界だ
しごおわの呼吸
適当に寝てるといつ寝るのが正しいのか判らなくなるな
@toshi_a 寝てないから起きることもできない
おはあずにゃん
このアカウントは、notestockで公開設定になっていません。
特定の国からだとサーバーが遠い問題ほんとうに困る。実際にその国に行かないと体感できないので……
室長が午前2時に起きてることは分かった
東京がだんだん死の街になりつつあるっぽいな
Gmailに馬刺しの広告が来た
手書きで数式書くときってドイツ文字はどう書けばいいの(識者の意見求む)
ドイツ文字、そもそも手書きは想定されてるのか?
位相空間の端っこのとこの気持ちがよくわからん
組み込み、下手にきれいに書くと速度やメモリ使用量で問題が出るので変数名の汚さはある程度しょうがない気がする
@4pk こういう感じの話でしたhttps://twitter.com/osa_k/status/1339212086161801217?s=20https://twitter.com/qnighy/status/1339209873783865346?s=20
--Twitter
@4pk 究極的には形式的な操作になるのはそうなんだけど、直感に反するのはなぜか気になるじゃないですか。そういうギャップを埋めればおそらく形式的操作も直感として理解できるようになっていくし