潤羽 Leaf あ

ガバッ

X をやめると露悪への耐性がなくなるなあと思った

ア〜〜寝れない

おやノス

夜になるとやる気出てくるのよくなさすぎる

科研費のタイトル眺めてたらみんな研究しててすごいなあという気持ちになった

科研費区分を真面目に眺めてみたけど、そもそも「数学基礎論、情報理論、離散数学、計算機数学、数学史、数学基礎一般、など」という説明がかなり応用よりに見えてしまってる気がする。実際は集合論もモデル理論も証明論も全部入ってるわけでしょ。情報理論の人とかって本当にこの枠で出してるのかしら？

個別の殺人事件とかってニュースであんまり大きく取り上げなくてもよいのではと思ったりする（闇バイトの強盗殺人事件のように特定の手口が連続して多発していたりするなら別だけど）

お願い、死なないで数学基礎論！　あんたが今ここで倒れたら、ヒルベルトやゲーデルとの約束はどうなっちゃうの？