天泣記

2023-05-12 (Fri)

#1 Coq issue: GitHub coq/coq/issues/17603: Latin subscripts in PDF manual

2023-05-11 (Thu)

#1 Coq issue: GitHub coq/coq/issues/17596: Unexpected coqtop message.

2023-05-01 (Mon)

#1 退院: なんとか退院したが、右足に体重をかけられないので、しばらくは家に引きこもり。

2023-04-04 (Tue)

#1 入院: 朝から病院に行って、診察してもらい、即日入院となった

2023-04-03 (Mon)

#1 自転車で転んだ

自転車で転んで、すぐに近くのクリニックにいって診てもらったら骨折とのこと

大きい病院に行くことを勧められ、紹介状を書いてもらった

2023-03-11 (Sat)

#1 mathcomp book issue: GitHub math-comp/mcb/issues/148: The explanation for the proof of edivnP

2023-03-03 (Fri)

#1 mathcomp book issue: GitHub math-comp/mcb/issues/146: The order of subgoals in proof of eqnP.

2000: 04, 05, 06, 07, 08, 09, 10, 11, 12
2001: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2002: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2003: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2004: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2005: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2006: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2007: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2008: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2009: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2010: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2011: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2012: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2013: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2014: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2015: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2016: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2017: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2018: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2019: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2020: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2021: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2022: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2023: 01, 02, 03, 04, 05
latest