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

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

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

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

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

？

髪をサラサラにすると謳っている物質を使うと髪はサラサラになるが、髪以外はサラサラにならない（血液、顔、声など）

はー、学生が書いて意味あるかわかんないけどパブコメ書くか……

小区分が 3 つも新設された量子情報にも近い分野なんですよ！　信じてください！

圏論的量子力学とか言って新設された量子情報に出そうぜ（適当）