https://twitter.com/hottaqu/status/1997377234202673194
>打開策として、望月氏が示しているのが、定理証明支援ソフト「Lean（リーン）」の活用だ。
やだぁ、新展開？ 興味あるぅ
https://twitter.com/thejimwatkins
ニュース
- 日本、大学を800から250-400に削減、高齢者の自己負担を原則3割に変更へ [お断り★]
- 【W杯】ブラジルDF、塩貝に耳打ちした後、耳を触る ブラジルで「小僧」とあしらう意味 ブラジルFWは「ちっぽけな奴め！」★2 [ネギうどん★]
- 【W杯】闘将ポステコグルーが断じた日本人の癖「日本は引いてはいけなかった。過去にも同じ経験をしている」 [王子★]
- 【W杯】痛恨のボールロスト 田中碧は涙止まらず 取材エリアでも号泣 ショック隠せずスタッフに付き添われコメントなく会場を後に★4 [木村カエレφ★]
- セルジオ越後｢4年前より力が落ちた。森保采配も失敗。続投の声が出る謎。よくやったと言うのは簡単。協会や国で考え直すタイミング｣ [digitec★]
- 国旗損壊罪「積極的に賛成はできない」自民・岩屋毅前外務大臣が法案採決時に「退場」した理由明かす⋯⋯衆院本会議で可決 [少考さん★]
- 幹事「はーい！全員口の中のおじや、鍋の中に出して！混ぜるよー！」黒人「DON'T STOP！HUMMER TIME！（ｳｫｰ）」こういうスレ [344263159]
- 【安倍悲報】大丸下関店、来年8月末に閉店へ [689155963]
- 日本代表塩貝健人のインスタ大炎上 コメント91万件 [931948549]
- 孤独死したい
- 神の力を手に入れたら「◯◯さんの今までのおならの音まとめ」とかも作れるわけだよな
- 🏡👊😅👊ダブパン帝国👊😅👊🏡