U+2042 5 months ago 科研費区分を真面目に眺めてみたけど、そもそも「数学基礎論、情報理論、離散数学、計算機数学、数学史、数学基礎一般、など」という説明がかなり応用よりに見えてしまってる気がする。実際は集合論もモデル理論も証明論も全部入ってるわけでしょ。情報理論の人とかって本当にこの枠で出してるのかしら?
U+2042 5 months ago 個別の殺人事件とかってニュースであんまり大きく取り上げなくてもよいのではと思ったりする(闇バイトの強盗殺人事件のように特定の手口が連続して多発していたりするなら別だけど)