Lean 4で作っている正規表現エンジンを、もっと便利で実用的なライブラリにするために、一緒に開発・証明してくれる仲間を募集しています。せっかくなので、今回はいくつかのIssueにバウンティを設定してみることにしました。github.comLeanや形式検証に興味がある方、Unicode周りが好きな方、正規表現エンジン…

Run your GitHub Actions locally 🚀. Contribute to nektos/act development by creating an account on GitHub.

2004年に国立大学が法人化して以降、年々減少が続いている国立大運営費交付金。この法人化の方向性を決めたのが、1998～99年に文部大臣に就いていた元東京大学総長の有馬朗人氏だ。大学に自主性が生まれるといった期待があったが、結果的には、そうした効果以上に運営費交付金の削減で、若手研究者の減少を招くこととなった。法人化は「失敗だった」とする有馬氏に、法人化の経緯や今後のあるべき姿を聞いた。