かが☆みん

@kagamin_hr

かが☆みんです。東北大学で数学を専攻していました。集合論雑記書きました。OCaml大好きです。数学とプログラミングのごくごく初歩の話題が中心になると思います。一部の数学ガールの最後に名前が載っていたり。細音啓さんのファン。アイコンは さんに頂いたものです。

Joined August 2017

Tweets

You blocked @kagamin_hr

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @kagamin_hr

  1. 25 seconds ago

    一度出し忘れて催促が来たことあるし、絶対に同様に迂闊な人がいるので大丈夫。たぶん。

    Show this thread
    Undo
  2. 1 minute ago

    2月8日締め切りの健康保険扶養者確認。扶養家族の直近三ヶ月分の給与を証明する書類が必要。源泉徴収票不可だそうです。源泉徴収票だと思っていた。もう間に合わない。強行提出して「間違えてるので再提出」の連絡待ちにして乗り切る。

    Show this thread
    Undo
  3. 23 hours ago

    指で数えた個数を一般化した境界条件が使われれいる重要なソフトウエアーが大量に存在すると思われる。

    Show this thread
    Undo
  4. 23 hours ago

    しかも 2, 3, 4, 5 と指で数えるという。

    Show this thread
    Undo
  5. 23 hours ago

    m \le n ね。

    Show this thread
    Undo
  6. 23 hours ago

    「よく知られているように自然数の区間 [m, n] の要素数は (n - m + 1) なので」と 「[2, 5] の場合 2, 3, 4, 5 の4つなので一般化して ...」を比較する。前者の方が数学的に妥当な言明だ。しかし後者の方が常識的な感じがするのはどうしてなんだろう。

    Show this thread
    Undo
  7. 23 hours ago

    植木算は実例を根拠なく一般化する以外解く方法を知らない。

    Undo
  8. Jan 31

    いやまあ「明らか」でよさそうな。

    Show this thread
    Undo
  9. Jan 31

    うるさく言うと「特定の値」を0と思って - 演算を + と思えば ωと同型になるからかな。

    Show this thread
    Undo
  10. Jan 31

    特定の値から始まる逆向きの順序が整列なので。

    Undo
  11. Jan 31

    今日はお誕生日なので自主有休です。

    Undo
  12. Jan 31

    ドトールなう。

    Undo
  13. Jan 30

    それおねしょしたから暴行したのではないです。何か理由をつけて暴行したかっただけです。

    Undo
  14. Jan 30

    明日お誕生日だから有給にしようかな。

    Undo
  15. Jan 30

    配偶者はお互いに好きあって選んだのだから多少の迷惑はかけても良いと思うのです。でも子供は親が勝手に作ったのであり親が世話になるなんて厚かましいことは絶対に嫌です。

    Undo
  16. Jan 30

    配偶者や子供に一切面倒をかけずに死ぬ方法って難しいですよね。

    Undo
  17. Jan 30

    さっきのゴミの日の話は骨になったのをさらに砕いてという話ですよ。まさか腐ってゾンビ化もしていないものを (以下自粛

    Undo
  18. Jan 30

    lim は収束する数列からその極限への関数ですよ。

    Undo
  19. Jan 30

    ゴミの日にこっそり出してもらっても構わない。

    Show this thread
    Undo
  20. Jan 30

    死んでも無視して放置してと娘には伝えてある。はた迷惑なことだ。お墓は準備していない。違法にならない程度に撒いてもらえれば良い。

    Show this thread
    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.